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

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