Leveraging applications of formal methods, verification and validation
: third international symposium ; proceedings / ISoLA 2008, Porto Sani, Greece, October 13 - 15, 2008. Tiziana Margaria ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 17)
ISBN 978-3-540-88479-8
Lizenzpflichtig
Quelle: DNB
Logic, language, and computation
: revised selected papers / 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005. Balder D. ten Cate ; Henk W. Zeevat (ed.). - Berlin : Springer, 2007. - XII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75143-4 / 3-540-75143-2 kart. : EUR 48.15 (freier Pr.), sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, and computation
: revised selected papers / 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005. Balder D. ten Cate ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75144-1
Lizenzpflichtig
Quelle: DNB
Logic, language information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ; Ruy de Queiroz (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4576)
ISBN 978-3-540-73443-7 / 3-540-73443-0 kart. : EUR 55.64 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, information and computation
: 15th international workshop ; proceedings / WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008. Wilfrid Hodges ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5110 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69937-8
Lizenzpflichtig
Quelle: DNB
Logic, language, information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4576)
ISBN 978-3-540-73445-1
Lizenzpflichtig
Quelle: DNB
Logics of specification languages
/ Dines Bjørner ; Martin C. Henson ed.. - Berlin : Springer, 2008. - XXI, 623 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-74106-0 / 3-540-74106-2 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Mechanizing mathematical reasoning
: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift] / Dieter Hutter ; Werner Stephan (ed.). - Berlin : Springer, 2005. - IX, 563 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2605 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25051-7 / 3-540-25051-4 kart. : EUR 69.55 (freier Pr.), sfr 115.00 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Model driven engineering languages and systems
: 11th international conference ; proceedings / MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Krzysztof Czarnecki ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5301)
ISBN 978-3-540-87875-9
Lizenzpflichtig
Quelle: DNB
Model driven engineering languages and systems
: 10th international conference ; proceedings / MODELS 2007, Nashville, USA, September 30 - October 5, 2007. Gregor Engels ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4735)
ISBN 978-3-540-75209-7
Lizenzpflichtig
Quelle: DNB
