Ergebnisse filtern
-
- 162
-
- 30
- 122
- 7
- 3
-
- 2
- 5
- 135
- 20
-
- 161
- 1
-
- 162
-
- 162
- 13
-
Friehmelt / Krüger Fachtagung Prozessrechner 1974
GFK-GI-GMR. Karlsruhe, 10.-11. Juni 19741974Verlag: Springer Berlin HeidelbergISBN: 978-3-540-06786-3Medium: Buch24,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Antsaklis / Sastry / Kohn Hybrid Systems IV
1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63358-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Girard Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baker Memory Management
International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60368-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Echtle / Powell / Hammer Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58426-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nipkow / Barendregt Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58085-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dörr Efficient Graph Rewriting and Its Implementation
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maler / Piazza / Halász 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: Springer International PublishingISBN: 978-3-319-27655-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Al-Begain / Horváth / Fiems Analytical and Stochastic Modeling Techniques and Applications
16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02204-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Piloty / Barbacci / Skelly CONLAN Report
1983Verlag: Springer Berlin HeidelbergISBN: 978-3-540-12275-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Andersen / Soelvberg / Bubenko Advanced Information Systems Engineering
Third International Conference CAiSE '91, Trondheim, Norway, May 13-15, 19911991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54059-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Broy / Spies / Merz Formal Systems Specification
The RPC-Memory Specification Case Study1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61984-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rus / Bertran 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, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63010-4Medium: 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 Proceedings2000Verlag: Springer-Verlag GmbHISBN: 978-3-540-67352-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
File / Cortesi Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66459-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Silverman Cryptography and Lattices
International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42488-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gudmundsson / Viglas / Mestre Computing and Combinatorics
18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-32240-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vassiliadis / Deprettere Embedded Processor Design Challenges
Systems, Architectures, Modeling, and Simulation - SAMOS2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43322-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sastry / Henzinger Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scheideler Universal Routing Strategies for Interconnection Networks
1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64505-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tronci / Geist Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20363-6Medium: 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. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57880-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee / Banatre Hardware and Software Architectures for Fault Tolerance
Experiences and Perspectives1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57767-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort