Web services and formal methods
: 4th international workshop ; proceedings / WS-FM 2007, Brisbane, Australia, September 28 - 29, 2007. Marlon Dumas ; Reiko Heckel (ed.). - Berlin : Springer, 2008. - VIII, 168 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4937)
ISBN 978-3-540-79229-1 kart. : EUR 44.94 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Web services and formal methods
: third international workshop ; proceedings / WS-FM 2006, Vienna, Austria, September 8 - 9, 2006. Mario Bravetti ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4184)
ISBN 978-3-540-38865-4
Lizenzpflichtig
Quelle: DNB
Wireless algorithms, systems, and applications
: third international conference ; proceedings / WASA 2008, Dallas, TX, USA, October 26 - 28, 2008. Yingshu Li ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5258)
ISBN 978-3-540-88582-5
Lizenzpflichtig
Quelle: DNB
Wireless algorithms, systems, and applications
: first international conference ; proceedings / WASA 2006, Xi'an, China, August 15 - 17, 2006. Xiuzhen Cheng ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4138)
ISBN 978-3-540-37190-8
Lizenzpflichtig
Quelle: DNB
