hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Systementwurf
69 Treffer
Seite < 1 2 3 4 5 6 7 >
Cover

Advances in evolutionary computing for system design

: with 55 tables / Lakhmi C. Jain ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Studies in computational intelligence; Vol. 66)

ISBN 978-3-540-72377-6

Lizenzpflichtig

Quelle: DNB

Cover

Advances in exception handling techniques

/ A. Romanovsky ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2022)

ISBN 978-3-540-45407-6

Lizenzpflichtig

Quelle: DNB

Cover

Automated technology for verification and analysis

: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)

ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Automated technology for verification and analysis

: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)

ISBN 978-3-540-47238-4

Lizenzpflichtig

Quelle: DNB

Cover

Automated technology for verification and analysis

: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)

ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Automated technology for verification and analysis

: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)

ISBN 978-3-540-31969-6

Lizenzpflichtig

Quelle: DNB

Cover

Automated technology for verification and analysis

: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)

ISBN 978-3-540-88387-6

Lizenzpflichtig

Quelle: DNB

Cover

Hansen, Hans Robert: Begriffsbasierte Integration von Systemanalysemethoden

/ Hans Robert Hansen ; Robert Mühlbacher ; Gustaf Neumann. - Heidelberg : Physica-Verl., 1993. - XXVI, 433 S. : graph. Darst.; 24 cm - (Betriebs- und Wirtschaftsinformatik; 53)

ISBN 978-3-7908-0653-3 / 3-7908-0653-6 kart. : DM 120.00

Literaturverz. S. 421 - 428

Quelle: DNB

Cover

Bugow, Rainer: Die Bereitstellung von Teilebibliotheken im rechnerunterstützten Konstruktionsprozess

/ Rainer Bugow. - Berlin : Beuth, 1996. - X, 151 S. : graph. Darst.; 21 cm - (DIN-Normungskunde; Bd. 35)

ISBN 978-3-410-13490-9 / 3-410-13490-5 kart. : DM 72.00

Quelle: DNB

Cover

Becker-Biskaborn, Gerd-Uwe: CIM-Produktions-Leitsystem

: Systematik der Modellbildung und Informationsflussanalyse für das Produktionsleitsystem eines Hausgerätewerkes / Gerd-Uwe Becker-Biskaborn ; Armin Siegmann. Hrsg. von Uwe W. Geitner. - Braunschweig : Vieweg, 1991. - 163 S. : graph. Darst.; 23 cm - (Fortschritte der CIM-Technik; 1)

ISBN 978-3-528-06410-5 / 3-528-06410-2 kart. : DM 68.00

Literaturverz. S. 161 - 163

Quelle: DNB

Seite < 1 2 3 4 5 6 7 >
Projekte . Kooperationen