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
