Ergebnisse filtern
-
- 91
-
- 91
-
- 1
- 61
- 29
-
- 91
-
- 91
-
- 91
- 12
-
Margaria / Melham Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Westfechtel Models and Tools for Managing Development Processes
1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66756-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bieri / Noltemeier Computational Geometry - Methods, Algorithms and Applications
International Workshop on Computational Geometry CG '91 Bern, Switzerland, March 21-22, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54891-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pierre / Kropf Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66559-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alblas / Melichar Attribute Grammars, Applications and Systems
International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54572-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wang Automated Technology for Verification and Analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23610-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giancarlo / Sankoff Combinatorial Pattern Matching
11th Annual Symposium. CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67633-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Antsaklis / Kohn / Lemmon Hybrid Systems V
Erscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65643-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Palma / Dongarra / Hernandez Vector and Parallel Processing - VECPAR 2000
4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41999-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nagl / Schürr / Münch Applications of Graph Transformations with Industrial Relevance
International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67658-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moore / Luk Field-Programmable Logic and Applications
5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60294-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tamassia / Tollis Graph Drawing
DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10 - 12, 1994. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-58950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Belli / Radermacher Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55601-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
DiBattista Graph Drawing
5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63938-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
North Graph Drawing
Symposium on Graph Drawing GD'96, Berkeley, California, USA, September 18 - 20, 1996, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62495-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