Ergebnisse filtern
-
- 148
-
- 148
-
- 2
- 2
- 123
- 21
-
- 147
- 1
-
- 148
-
- 148
- 11
-
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kowalewski / Roveri Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15897-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Huynh / Das Wireless Algorithms, Systems, and Applications
Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88581-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gilroy / Harrison Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34145-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Thoma Database and Expert Systems Applications
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61656-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hooman Specification and Compositional Verification of Real-Time Systems
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60630-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45385-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Delgado Kloos Semantics of Digital Circuits
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18540-6Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iivari / Lyytinen / Rossi Advanced Information Systems Engineering
7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sanchez / Tomassini Towards Evolvable Hardware
The Evolutionary Engineering ApproachErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61093-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Habermann / Montanari System Development and Ada
CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18341-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dörr Efficient Graph Rewriting and Its Implementation
1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baker Memory Management
International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60368-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ma / Choi / Ata Challenges for Next Generation Network Operations and Service Management
11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88622-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Das / Pung / Bu Sung Lee NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet
7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79548-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing
16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15276-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24309-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kari / Kutrib / Malcher Cellular Automata and Discrete Complex Systems
19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40866-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bondavalli / Bouchenak / Kopetz Cyber-Physical Systems of Systems
Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47589-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pandurangan / Kumar / Ming Wireless Algorithms, Systems, and Applications
5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14653-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Liu / Bestavros / Du Wireless Algorithms, Systems, and Applications
4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03416-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Flanagan / König Tools and Algorithms for the Construction and Analysis of Systems
18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28755-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing
16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15290-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer auf der Heide Algorithms - ESA 2001
9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42493-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krüger / Friehmelt Fachtagung Prozessrechner 1974
GFK-GI-GMR. Karlsruhe, 10.-11. Juni 19741. Auflage 1974Verlag: SpringerISBN: 978-3-540-06786-3Medium: Buch24,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Echtle / Hammer / Powell Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58426-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Girard Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nunzi / Scoglio / Li IP Operations and Management
9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-04967-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maler / Halász / Dang Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27655-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Luque / Margalef / Benítez Euro-Par 2008 Parallel Processing
14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-85450-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ursino Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
Semi-Automatic Approaches and Tools1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43347-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parashar Grid Computing - GRID 2002
Third International Workshop, Baltimore, MD, USA, November 18, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00133-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abate / Safranek Hybrid Systems Biology
Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26915-3Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steinholtz / Soelvberg / Bergman Advanced Information Systems Engineering
Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52625-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pavlou / Ahmed / Dagiuklas Management of Converged Multimedia Networks and Services
11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87358-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balandin / Moltchanov / Koucheryavy Next Generation Teletraffic and Wired/Wireless Advanced Networking
8th International Conference, NEW2AN 2008 and 1st Russian Conference on Smart Spaces, ruSMART, St. Petersburg, Russia, September 3-5, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85499-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sadayappan / Parashar / Badrinath High Performance Computing - HiPC 2008
15th International Conference, Bangalore, India, December 17-20, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89893-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abran / Braungarten / Dumke Software Process and Product Measurement
International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-05414-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hong / Tonouchi / Ma Management Enabling the Future Internet for Changing Business and New Computing Services
12th Asia-Pacific Network Operations and Management Symposium, APNOMS 2009 Jeju, South Korea, September 23-25, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04491-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Olive / Pastor Advanced Information Systems Engineering
9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63107-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3
Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66483-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mycroft Static Analysis
Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60360-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
LeCharlier Static Analysis
First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58485-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nielson Programming Languages and Systems - ESOP '96
6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61055-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grandoni Dependable Computing EDCC-4
4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00012-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klas / Schrefl Metaclasses and Their Application
Data Model Tailoring and Database Integration1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60063-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort