Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1628
- Erscheinungsjahr
-
- 40
- 105
- 39
- 20
- 20
- 31
- 24
- 27
- 36
- 42
- 36
- 58
- 32
- 8
- 13
- 55
- 66
- 67
- 35
- 70
- 115
- 101
- 89
- 76
- 59
- 44
- 40
- 28
- 35
- 32
- 28
- 32
- 20
- 32
- 15
- 14
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 12
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 6
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 4
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 11
- 3
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 11
- 16
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 15
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 19
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 11
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 11
- 13
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 11
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 14
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 11
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 8
- 9
- 2
- 3
- 2
- 2
- 3
- 4
- 13
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 19
- 2
- 2
- 9
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 15
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 16
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 8
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 192
- 1012
- 260
- 1
- 7
- 133
- 23
- Preis
-
- 4
- 63
- 1330
- 231
- Sprachen
-
- 1628
- Verfügbarkeit
-
- 1624
- 4
- Katalog
-
- 1628
- 123
-
Schubert / Alves-Foss / Windley Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60275-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Haridi / Magnusson / Ali EURO-PAR '95: Parallel Processing
First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60247-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hinchey / Bowen ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60271-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bergstra / Wirsing Algebraic Methods: Theory, Tools and Applications
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51698-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hammer Compiler Compilers and High Speed Compilation
2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51364-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bjørner / Pottosin / Broy Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62064-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt / Cousot Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61739-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Toetenel / Prehn VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 1: Conference Contributions1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54834-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Levene The Nested Universal Relation Database Model
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55493-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Loucopoulos Advanced Information Systems Engineering
4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55481-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gupta / Beaumont Parallel Execution of Logic Programs
ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55038-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fahringer / Prodan Grid Computing
Experiment Management, Tool Integration, and Scientific Workflows2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69261-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maluszynski / Deransart Programming Language Implementation and Logic Programming
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53010-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Basili / Rombach / Selby Empirical Software Engineering Issues. Critical Assessment and Future Directions
International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71300-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Minden Active Networks
IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71499-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
He / Liu Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-47460-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barkaoui / Cerone / Cavalcanti Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Odersky ECOOP 2004 - Object-Oriented Programming
18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22159-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt Programming Languages and Systems
13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21313-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Port / Kazman COTS-Based Software Systems
Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21903-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kahn Semantics of Concurrent Computation
Proceedings of the International Symposium Evian, France, July 2-4, 19791979Verlag: Springer Berlin HeidelbergISBN: 978-3-540-09511-8Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhang Agent-Based Hybrid Intelligent Systems
An Agent-Based Framework for Complex Problem Solving2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20908-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ulrich Formal Approaches to Software Testing
Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 20032004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20894-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nunez / Frutos-Escrig Formal Techniques for Networked and Distributed Systems - FORTE 2004
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23252-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baar / Moreira / Strohmeier UML 2004 - The Unified Modeling Language
Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23307-7Medium: 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