Ergebnisse filtern
-
- 137
-
- 22
- 109
- 3
- 3
-
- 2
- 2
- 115
- 18
-
- 136
- 1
-
- 137
-
- 137
- 9
-
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 -
Anderegg / Ahuja / Bessas Robust and Online Large-Scale Optimization
Models and Techniques for Transportation Systems2009Verlag: SpringerISBN: 978-3-642-05464-8Medium: 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 -
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 -
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 -
Wolf / Bruni Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cao / Li Network and Parallel Computing
IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-88139-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen Tools and Algorithms for the Construction and Analysis of Systems
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64356-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jeuring Mathematics of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64591-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cleaveland Tools and Algorithms for the Construction of Analysis of Systems
5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65703-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pierre / Milne Correct Hardware Design and Verification Methods
IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56778-3Medium: 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 -
Lindsay / Eriksson FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43928-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Näher Algorithm Engineering
4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42512-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