Ergebnisse filtern
-
- 160
-
- 160
-
- 2
- 1
- 137
- 20
-
- 159
- 1
-
- 160
-
- 160
- 13
-
Wijers / Brinkkemper / Wasserman Advanced Information Systems Engineering
6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58113-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems III
1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28968-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Milne / Pierre Correct Hardware Design and Verification Methods
IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56778-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dobnikar / Lotric / Šter Adaptive and Natural Computing Algorithms
10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20266-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cao / Li / Wu Network and Parallel Computing
IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88139-1Medium: 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, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65703-3Medium: 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, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 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, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64591-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bruni / Wolf Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: 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