Ergebnisse filtern
-
- 131
-
- 20
- 107
- 4
-
- 2
- 2
- 112
- 15
-
- 130
- 1
-
- 131
-
- 131
- 9
-
Steffen / Margaria Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hatcliff / Garavel Tools and Algorithms for the Construction and Analysis of Systems
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00898-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cao / Li / Wu Network and Parallel Computing
IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-88139-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wijers / Wasserman / Brinkkemper Advanced Information Systems Engineering
6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58113-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melham / Margaria Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gawlick / Reuter / Haynie High Performance Transaction Systems
2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51085-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Safranek / Abate Hybrid Systems Biology
Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26915-3Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grandoni Dependable Computing EDCC-4
4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00012-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akar / Skianis / Pioro IP Operations and Management
8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87356-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Oliveira / Senivongse Distributed Applications and Interoperable Systems
9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02163-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lakos / Esparza Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43787-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
LeCharlier Static Analysis
First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58485-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steinholtz / Bergman / Soelvberg Advanced Information Systems Engineering
Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52625-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Tong / Chen High Performance Computing and Applications
Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-11841-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Selic / Schürr Model Driven Engineering Languages and Systems
12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04424-3Medium: Buch106,99 € (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. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61055-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hlavicka / Pataricza / Maehle Dependable Computing - EDDC-3
Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 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. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60360-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pastor / Olive Advanced Information Systems Engineering
9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63107-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jorge / Falcao e Cunha / Jardim Nunes Interactive Systems. Design, Specification, and Verification
10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20159-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dolev Algorithmic Aspects of Wireless Sensor Networks
5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-05433-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schrefl / Klas Metaclasses and Their Application
Data Model Tailoring and Database Integration1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60063-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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort