Model driven engineering languages and systems
: 9th international conference ; proceedings / MoDELS 2006, Genova, Italy, October 1 - 6, 2006. Oscar Nierstrasz ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4199)
ISBN 978-3-540-45773-2
Lizenzpflichtig
Quelle: DNB
Modeling and verification of parallel processes
: 4th summer school ; revised tutorial lectures / MOVEP 2000, Nantes, France, June 19 - 23, 2000. F. Cassez ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2067)
ISBN 978-3-540-45510-3
Lizenzpflichtig
Quelle: DNB
Cremers, Cas: Operational semantics and verification of security protocols
/ Cas Cremers ; Sjouke Mauw. - Heidelberg : Springer, 2012. - XIII, 172 S.; 24 cm - (Information security and cryptography)
ISBN 978-3-540-78635-1 Pp. : ca. EUR 53.45 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Petri nets and other models of concurrency
: proceedings / ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, June 25 - 29, 2007. Jetty Kleijn ; Alex Yakovlev (ed.). - Berlin : Springer, 2007. - XI, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4546)
ISBN 978-3-540-73093-4 / 3-540-73093-1 kart. : EUR 68.48 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Petri nets and other models of concurrency
: proceedings / ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, June 25 - 29, 2007. Jetty Kleijn ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4546)
ISBN 978-3-540-73094-1
Lizenzpflichtig
Quelle: DNB
Principles and practice of semantic web reasoning
: 4th international workshop ; revised selected papers / PPSWR 2006, Budva, Montenegro, June 10 - 11, 2006. José Júlio Alferes ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4187)
ISBN 978-3-540-39587-4
Lizenzpflichtig
Quelle: DNB
Principles and practice of semantic web reasoning
: third international workshop ; proceedings / PPSWR 2005, Dagstuhl Castle, Germany, September 11 - 16, 2005. Francois Fages ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3703)
ISBN 978-3-540-32028-9
Lizenzpflichtig
Quelle: DNB
Program analysis and compilation, theory and practice
: essays dedicated to Reinhard Wilhelm on the occasion of his 60th Birthday / Thomas Reps ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4444)
ISBN 978-3-540-71322-7
Lizenzpflichtig
Quelle: DNB
Rapid integration of software engineering techniques
: third international workshop ; revised selected papers / RISE 2006, Geneva, Switzerland, September 13 - 15, 2006. Nicolas Guelfi ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4401)
ISBN 978-3-540-71876-5
Lizenzpflichtig
Quelle: DNB
Rapid integration of software engineering techniques
: third international workshop ; revised selected papers / RISE 2006, Geneva, Switzerland, September 13 - 15, 2006. Nicolas Guelfi ; Didier Buchs (ed.). - Berlin : Springer, 2007. - VIII, 176 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4401)
ISBN 978-3-540-71875-8 / 3-540-71875-3 kart. : EUR 44.94 (freier Pr.), ca. sfr 69.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
