Ergebnisse filtern
-
- 156
-
- 156
-
- 2
- 1
- 133
- 20
-
- 155
- 1
-
- 156
-
- 156
- 11
-
Atzeni LOGIDATA+: Deductive Databases with Complex Objects
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56974-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Malkhi Distributed Computing
16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00073-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Lemos / Fabre / Gacek Architecting Dependable Systems VI
1. Auflage 2009Verlag: SpringerISBN: 978-3-642-10247-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deprettere / Vassiliadis Embedded Processor Design Challenges
Systems, Architectures, Modeling, and Simulation - SAMOS1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43322-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scheideler Universal Routing Strategies for Interconnection Networks
1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64505-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Palma / Dongarra Vector and Parallel Processing - VECPAR'96
Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62828-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Loucopoulos Advanced Information Systems Engineering
4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55481-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Geist / Tronci Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20363-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Piloty / Barbacci / Borrione CONLAN Report
1. Auflage 1983Verlag: SpringerISBN: 978-3-540-12275-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klusch / Unland / Shehory Multiagent System Technologies
14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45888-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chaudron / Szyperski / Reussner Component-Based Software Engineering
11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87890-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sannella Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57880-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cousot / Schmidt Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61739-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sventek / Coulson Middleware 2000
IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67352-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Valadas / Salvador Traffic Management and Traffic Engineering for the Future Internet
First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04575-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bensalem / Peled Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04693-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goodloe / Person NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28890-6Medium: Buch53,49 € (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 -
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 -
Sanchez / Tomassini Towards Evolvable Hardware
The Evolutionary Engineering ApproachErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61093-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
Vogler Modular Construction and Partial Order Semantics of Petri Nets
Erscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55767-8Medium: Buch53,49 € (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 -
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 -
Lemos / Gacek / Romanovsky Architecting Dependable Systems
1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40727-0Medium: 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