Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3186
- 491
- 5
- 5
- Erscheinungsjahr
-
- 1
- 6
- 132
- 256
- 260
- 247
- 219
- 234
- 245
- 212
- 177
- 135
- 131
- 68
- 60
- 41
- 104
- 105
- 115
- 71
- 55
- 48
- 58
- 72
- 64
- 60
- 60
- 44
- 33
- 60
- 38
- 22
- 28
- 16
- 18
- 16
- 18
- 17
- 19
- 15
- 13
- 13
- 15
- 6
- 8
- 9
- 9
- 5
- 3
- 4
- 3
- 1
- 2
- 3
- 3
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 4
- 2
- 6
- 7
- 3
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 4
- 2
- 4
- 2
- 3
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 6
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 4
- 6
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 17
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 7
- 6
- 2
- 5
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 9
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 9
- 3
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 5
- 2
- 5
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 8
- 2
- 6
- 3
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 7
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 16
- 3
- 4
- 4
- 5
- 11
- 3
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 5
- 7
- 3
- 4
- 7
- 4
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- Verlag
-
- 2
- 1
- 1
- 834
- 11
- 1
- 14
- 1
- 2
- 1
- 1
- 10
- 6
- 1
- 2
- 49
- 70
- 1
- 2
- 1
- 3
- 90
- 489
- 1
- 1
- 2
- 1
- 14
- 61
- 1
- 1
- 13
- 12
- 2
- 3
- 1
- 1
- 3
- 3
- 2
- 48
- 1
- 2
- 1
- 13
- 16
- 2
- 2
- 2
- 4
- 4
- 6
- 1
- 2
- 8
- 1
- 12
- 14
- 1
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 5
- 5
- 3
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 5
- 9
- 100
- 1
- 1
- 2
- 2
- 2
- 296
- 1
- 376
- 202
- 3
- 70
- 21
- 14
- 5
- 62
- 5
- 3
- 33
- 1
- 1
- 1
- 1
- 19
- 22
- 169
- 56
- 17
- 1
- 1
- 8
- 1
- 1
- 9
- 2
- 5
- 1
- 2
- 2
- 115
- 1
- 1
- 1
- 76
- 6
- 20
- 3
- 23
- 1
- 1
- 6
- Preis
-
- 130
- 1314
- 1617
- 626
- Sprachen
-
- 3025
- 660
- 6
- Verfügbarkeit
-
- 3588
- 99
- Eigenschaften
-
- 7
- Katalog
-
- 3687
- 132
-
Fantechi / Cofer Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03239-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Morgan / Leucker Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03465-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bove / Pinto / Barbosa Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers2009Verlag: SpringerISBN: 978-3-642-03152-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kutylowski / Charatonik / Gebala Fundamentals of Computation Theory
17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03408-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cha / Viswanathan / Choi Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88386-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
da Costa / Zaverucha Advances in Artificial Intelligence - SBIA 2008
19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 20082008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88189-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chan / Ziarko / Grzymala-Busse Rough Sets and Current Trends in Computing
6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88423-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Filipe / Maciaszek / Shishkov Software and Data Technologies
Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88654-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schurr / Schürr / Nagl Applications of Graph Transformations with Industrial Relevance
Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-89019-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ramalingam Programming Languages and Systems
6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89329-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Müller-Olm / Jones Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-93899-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boley A Tight, Practical Integration of Relations and Functions
1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66644-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hutter / Ullmann / Stephan Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66462-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hull / Cluet Database Programming Languages
6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 19971998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64823-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cunningham / Smyth Advances in Case-Based Reasoning
4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64990-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Swierstra / Hermenegildo Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60359-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Toussaint Ada in Europe
Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 19951996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60757-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Turini / Fribourg Logic Program Synthesis and Transformation - Meta-Programming in Logic
4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58792-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Winkowski / Mazurkiewicz CONCUR'97: Concurrency Theory
8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Raymond / Yu / Wood Automata Implementation
First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mineau / Ganter Conceptual Structures: Logical, Linguistic, and Computational Issues
8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67859-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Clack / Koopman Implementation of Functional Languages
11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67864-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ravikumar / Ibarra Implementation and Applications of Automata
13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70843-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Podelski / Cook Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69735-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van der Meyden / van der Torre Deontic Logic in Computer Science
9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-70524-6Medium: Buch74,89 € (inkl. MwSt.)
Kurzfristig nicht lieferbar74,89 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt.
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort