Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4830
- 26
- 9
- Erscheinungsjahr
-
- 1
- 1
- 28
- 67
- 54
- 50
- 68
- 117
- 135
- 99
- 136
- 91
- 142
- 105
- 144
- 107
- 249
- 93
- 175
- 338
- 310
- 320
- 238
- 245
- 223
- 198
- 145
- 119
- 109
- 101
- 87
- 91
- 81
- 58
- 58
- 64
- 39
- 48
- 28
- 18
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 4
- 3
- 6
- 6
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 14
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 13
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 9
- 3
- 2
- 2
- 3
- 3
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 5
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 4
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 8
- 8
- 6
- 4
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 5
- 31
- 11
- 3
- 3
- 4
- 3
- 3
- 19
- 5
- 3
- 2
- 9
- 8
- 6
- 4
- 3
- 3
- 16
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 8
- 4
- 3
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 4
- 17
- 4
- 3
- 3
- 5
- 3
- 7
- 3
- 6
- 10
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 3
- 4
- 4
- 6
- 5
- 6
- 6
- 5
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 5
- 4
- 5
- 3
- 4
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 8
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 9
- 5
- 5
- 3
- 3
- 4
- 6
- 5
- 3
- 4
- 4
- 4
- 5
- 3
- 6
- 14
- 7
- 4
- 8
- 5
- 5
- 3
- 5
- 3
- 5
- 7
- 3
- 5
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 6
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 3
- 5
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 4
- 3
- 5
- 6
- 5
- 5
- 5
- 3
- 5
- 10
- 3
- 4
- 3
- 8
- 7
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 4
- 3
- 3
- 10
- 5
- 9
- 5
- 4
- 4
- 3
- 8
- 5
- 5
- 10
- 9
- 3
- 9
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 7
- 3
- 6
- 5
- 9
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 5
- 4
- 12
- 3
- 11
- 5
- 3
- 4
- 3
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 7
- 4
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 7
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 6
- 3
- 7
- 3
- 15
- 7
- 7
- 3
- 3
- 3
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 6
- 5
- 6
- 4
- 8
- 3
- 3
- 11
- 4
- 8
- 4
- 3
- 5
- 3
- 4
- 7
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 7
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 12
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 18
- 5
- 3
- 3
- 7
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 12
- 3
- 3
- 3
- 3
- 5
- 5
- 4
- 3
- 3
- 3
- 7
- 4
- 7
- 3
- 6
- 9
- 4
- 3
- 6
- 11
- 3
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 4
- 3
- 6
- 3
- 3
- 5
- 4
- 3
- 4
- 4
- 4
- 9
- 3
- 8
- 3
- 9
- 4
- 6
- 7
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 51
- 11
- 3
- 3
- 5
- 5
- 7
- 3
- 19
- 4
- 3
- 7
- 5
- 5
- 7
- 4
- 7
- 4
- 3
- 4
- 9
- 15
- 7
- 4
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 4
- 9
- 4
- 6
- 8
- 6
- 3
- 3
- 11
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 25
- 6
- 5
- 6
- 3
- 16
- 8
- 4
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 6
- 4
- 3
- 4
- 9
- 5
- 4
- 5
- 8
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 5
- 3
- 3
- 9
- 5
- 4
- 5
- 11
- 1
- 1
- 2
- 23
- 4
- 1
- 3
- 6
- 41
- 6
- 3
- 1
- 3
- 9
- 8
- 1
- 2
- 2
- 1
- 10
- 2
- 2
- 9
- 1
- 2
- 1
- 7
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 2
- 7
- 2
- 1127
- 2167
- 1
- 660
- 1
- 6
- 3
- 51
- 54
- 127
- 76
- 223
- 8
- 38
- 3
- 2
- 1
- 2
- 7
- 4
- 4
- 1
- 36
- 2
- 27
- 1
- 1
- 3
- Preis
-
- 15
- 210
- 2990
- 1650
- Sprachen
-
- 4722
- 139
- 13
- Verfügbarkeit
-
- 4845
- 20
- Katalog
-
- 4865
- 212
-
Misra / Nipkow / Sekerinski FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-37215-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Pavelka / Bartosek / Tel SOFSEM'99: Theory and Practice of Informatics
26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66694-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Leite / Son / Woltran Computational Logic in Multi-Agent Systems
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40623-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Dehne / Tamassia / Gupta Algorithms and Data Structures
6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66279-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Somenzi / Hunt, Jr. / Hunt Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40524-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II2014Verlag: SpringerISBN: 978-3-662-45230-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Missaoui / Schmid Formal Concept Analysis
4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-32203-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Frau / Montseny Computer Vision: Specialized Processors for Real-Time Image Analysis
Workshop Proceedings Barcelona, Spain, September 19911994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57016-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Suzuki / El-Fakih / Higashino Formal Techniques for Networked and Distributed Systems ¿ FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68854-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ong Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28231-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Reusch Computational Intelligence: Theory and Applications
International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66050-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Baresi / Heckel Fundamental Approaches to Software Engineering
9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-33093-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Higuchi / Weixin / Iwata Evolvable Systems: From Biology to Hardware
First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63173-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kern-Isberner / Hartmann Foundations of Information and Knowledge Systems
5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77683-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Urban / Limbourg / Vanderdonckt Interactive Systems: Design, Specification, and Verification
9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 20022002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00266-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Hofmann Foundations of Software Science and Computational Structures
14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-19804-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bakker / Rozenberg / Roever Stepwise Refinement of Distributed Systems
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52559-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gervasi / Kumar / Tan Computational Science and Its Applications - ICCSA 2006
International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V2006Verlag: SpringerISBN: 978-3-540-34079-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Comaniciu / Suter / Kanatani Statistical Methods in Video Processing
ECCV 2004 Workshop SMVP 2004, Prague, Czech Republic, May 16, 2004, Revised Selected Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23989-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Goemans / Trevisan / Jansen Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques
4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA,USA, Augu2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42470-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Scerri / Vincent / Mailler Coordination of Large-Scale Multiagent Systems
2006. Auflage 2005Verlag: Springer UsISBN: 978-0-387-26193-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Lawry Modelling and Reasoning with Vague Concepts
2006. Auflage 2006Verlag: Springer UsISBN: 978-0-387-29056-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kendall / Samways Learning to Live in the Knowledge Society
Ifip 20th World Computer Congress, Ifip Tc 3 Ed-L2l Conference, September 7-10, 2008, Milano, Italy2008. Auflage 2008Verlag: Springer UsISBN: 978-0-387-09728-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Odintsov Larisa Maksimova on Implication, Interpolation, and Definability
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-69916-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
