Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2276
- 6
- Erscheinungsjahr
-
- 1
- 2
- 3
- 3
- 8
- 1
- 1
- 4
- 3
- 6
- 9
- 26
- 10
- 16
- 12
- 174
- 63
- 119
- 205
- 173
- 200
- 175
- 172
- 140
- 117
- 97
- 81
- 74
- 50
- 65
- 49
- 42
- 44
- 20
- 40
- 25
- 18
- 9
- 9
- 4
- 2
- 3
- 3
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 9
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 4
- 4
- 2
- 4
- 2
- 3
- 8
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 14
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 5
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 18
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 9
- 3
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 9
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 5
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 6
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 6
- 2
- 3
- 2
- 4
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 3
- 2
- 6
- 3
- 5
- 6
- 2
- 6
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 6
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 7
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 8
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 5
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 6
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 9
- 4
- 4
- 13
- 6
- 4
- 3
- 4
- 3
- 4
- Verlag
-
- 2
- 103
- 1
- 1
- 1
- 18
- 3
- 2
- 4
- 7
- 3
- 1
- 4
- 1
- 5
- 3
- 1
- 2
- 2
- 5
- 1
- 2
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 3
- 1
- 1
- 5
- 1725
- 86
- 1
- 1
- 2
- 32
- 86
- 69
- 4
- 19
- 4
- 1
- 18
- 31
- 2
- 2
- 1
- 1
- 2
- Preis
-
- 16
- 145
- 1381
- 740
- Sprachen
-
- 2152
- 130
- 1
- Verfügbarkeit
-
- 2272
- 10
- Katalog
-
- 2282
- 276
-
Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 20041. Auflage 2004Verlag: SpringerISBN: 978-3-540-23169-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gulbins / Obermayr / Snoopy Linux
Konzepte, Kommandos, Oberflächen1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00815-6Medium: Buch89,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage89,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66463-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gordon Foundations of Software Science and Computational Structures
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00897-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Strohmeier Reliable Software Technologies - Ada Europe 96
1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61317-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003
8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40376-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ventre / Canonico Interactive Multimedia on Next Generation Networks
First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20534-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haridi / Ali / Magnusson EURO-PAR '95: Parallel Processing
First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60247-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dwyer Model Checking Software
8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42124-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Tsui / Jin Autonomy Oriented Computing
From Problem Solving to Complex Systems Modeling1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: Springer USISBN: 978-1-4419-5480-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Merz / Spies Formal Systems Specification
The RPC-Memory Specification Case Study1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61984-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asplund Reliable Software Technologies - Ada-Europe '98
1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64536-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kienzle Open Multithreaded Transactions
A Transaction Model for Concurrent Object-Oriented ProgrammingSoftcover Nachdruck of hardcover 1. Auflage 2004Verlag: Springer NetherlandsISBN: 978-90-481-6474-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tari On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops
OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76887-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Silva Weber / Camargo Jr. Dependable Computing
First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20224-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Astesiano / Reggio Recent Trends in Data Type Specification
10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59132-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Damm / Desel Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23135-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertran / Rus Transformation-Based Reactive Systems Development
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63010-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Downey Python for Software Design
Erscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-89811-9Medium: Buch121,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage121,70 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weske / Liggesmeyer Object-Oriented and Internet-Based Technologies
5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27-30, 2004 ProceedingsSoftcover Nachdruck of the original 1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23201-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bosnacki / Leue Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43477-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Unger / Boehme / Mikler Innovative Internet Computing Systems
Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43790-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bishop Component Deployment
IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43847-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Prehn / Toetenel VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 1: Conference Contributions1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54834-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wirsing / Bergstra Algebraic Methods: Theory, Tools and Applications
Erscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51698-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort