Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ; Wolfgang Paul (ed.). - Berlin : Springer, 2005. - XII, 412 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3725)
ISBN 978-3-540-29105-3 / 3-540-29105-9 kart. : EUR 83.46 (freier Pr.), sfr 132.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2860)
ISBN 978-3-540-39724-3
Lizenzpflichtig
Quelle: DNB
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ; Enrico Tronci (ed.). - Berlin : Springer, 2003. - XII, 426 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2860)
ISBN 978-3-540-20363-6 / 3-540-20363-X kart. : EUR 77.04, sfr 119.50
Literaturangaben
Quelle: DNB
Correct hardware design and verification methods
: 13th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3725)
ISBN 978-3-540-32030-2
Lizenzpflichtig
Quelle: DNB
Modeling semantic web services
: the web service modeling language / Jos de Bruijn .... - Berlin : Springer, 2008. - X, 192 S.; 24 cm
ISBN 978-3-540-68169-4 Pp. : EUR 42.75 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturverz. S. 181 - 189
Quelle: DNB Verlagsmeldungen
System analysis and modeling: language profiles
: 5th international workshop ; revised selected papers / SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006. Reinhard Gotzhein ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4320)
ISBN 978-3-540-68373-5
Lizenzpflichtig
Quelle: DNB
System analysis and modeling: language profiles
: 5th international workshop ; revised selected papers / SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006. Reinhard Gotzhein ; Rick Reed (ed.). [SDL]. - Berlin : Springer, 2006. - X, 228 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4320)
ISBN 978-3-540-68371-1 / 3-540-68371-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
