Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2803
- 135
- 3
- 1
- Erscheinungsjahr
-
- 3
- 2
- 62
- 90
- 84
- 77
- 67
- 79
- 60
- 27
- 33
- 25
- 33
- 19
- 18
- 16
- 120
- 68
- 141
- 247
- 201
- 176
- 99
- 128
- 82
- 111
- 82
- 79
- 85
- 80
- 80
- 67
- 65
- 61
- 41
- 64
- 31
- 33
- 26
- 19
- 16
- 8
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- Autoren
-
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 18
- 5
- 2
- 2
- 2
- 12
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 19
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 6
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 3
- 7
- 2
- 3
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 6
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 27
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 6
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 5
- 6
- 4
- 5
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 14
- 3
- 4
- 3
- 3
- 13
- 3
- 5
- 3
- 7
- 3
- 5
- 12
- 5
- 4
- 3
- 3
- 4
- 10
- 3
- 5
- 8
- 3
- 4
- 3
- 3
- 3
- 6
- 4
- 5
- 4
- 5
- 5
- 3
- 5
- 4
- Verlag
-
- 1
- 1
- 1
- 261
- 3
- 4
- 1
- 2
- 5
- 3
- 9
- 15
- 9
- 154
- 1
- 4
- 1
- 1
- 3
- 2
- 8
- 1
- 1
- 4
- 5
- 1
- 2
- 5
- 1
- 12
- 3
- 4
- 11
- 1
- 1
- 1
- 5
- 1
- 8
- 2
- 3
- 1
- 2
- 1
- 6
- 3
- 3
- 287
- 1584
- 76
- 3
- 1
- 2
- 92
- 23
- 15
- 47
- 10
- 61
- 2
- 5
- 2
- 66
- 23
- 8
- 2
- 2
- 1
- 19
- 26
- 2
- 4
- 1
- 1
- Preis
-
- 34
- 379
- 1822
- 707
- Sprachen
-
- 2717
- 222
- 8
- Verfügbarkeit
-
- 2902
- 40
- Eigenschaften
-
- 3
- Katalog
-
- 2942
- 152
-
Choppy / Bidoit Recent Trends in Data Type Specification
8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Breu Algebraic Specification Techniques in Object Oriented Programming Environments
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54972-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maurer New Results and New Trends in Computer Science
Graz, Austria, June 20-21, 1991 Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54869-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Raoult CAAP '92
17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55251-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Toueg / Kirousis / Spirakis Distributed Algorithms
5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55236-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Book Rewriting Techniques and Applications
4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53904-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thalheim / Gerhardt / Demetrovics MFDBS 91
3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 19911991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54009-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schroeder-Heister Extensions of Logic Programming
International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53590-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bakker / Rozenberg / Roever Foundations of Object-Oriented Languages
REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 19901991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53931-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Schönfeld / Kleine Büning Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kurshan / Clarke Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Akl / Koczkodaj / Fiala Advances in Computing and Information - ICCI '90
International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Giacobini / Minner / Brabazon Applications of Evolutionary Computing
EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71804-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liblit Cooperative Bug Isolation
Winning Thesis of the 2005 ACM Doctoral Dissertation Competition2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71877-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71940-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Odersky / Krishnamurthi Compiler Construction
16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71228-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kouchnarenko / Julliand B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68760-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lodi / Rinaldi / Panconesi Integer Programming and Combinatorial Optimization
13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68886-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ishikawa / Yamakawa / Doya Neural Information Processing
14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69159-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ayguadé / Sadayappan / Baumgartner Languages and Compilers for Parallel Computing
18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69329-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Niemelä / Dahl Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74608-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Almeida e Costa Advances in Artificial Life
9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-74912-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thiagarajan / Raskin Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75453-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wolter Formal Methods and Stochastic Models for Performance Evaluation
Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings2007Verlag: Springer-Verlag GmbHISBN: 978-3-540-75210-3Medium: 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