Ergebnisse filtern
-
- 154
-
- 154
-
- 2
- 1
- 131
- 20
-
- 153
- 1
-
- 154
-
- 154
- 11
-
Dubois Tests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02948-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Elmenreich / Dressler / Loreto Self-Organizing Systems
7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54139-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 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 Werktage -
Henzinger / Sastry Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baetens / Kutrib Cellular Automata and Discrete Complex Systems
24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92674-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Andersen / Bubenko / Soelvberg Advanced Information Systems Engineering
Third International Conference CAiSE '91, Trondheim, Norway, May 13-15, 19911. Auflage 1991Verlag: SpringerISBN: 978-3-540-54059-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Banatre / Lee Hardware and Software Architectures for Fault Tolerance
Experiences and Perspectives1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57767-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller The Design of Intelligent Agents
A Layered ApproachErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-62003-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
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 -
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 -
Leucker Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89246-5Medium: 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