Fahringer, Thomas: Advanced symbolic analysis for compilers
: new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer ; Bernhard Scholz. - Berlin : Springer, 2003. - XII, 129 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2628)
ISBN 978-3-540-01185-9 / 3-540-01185-4 kart. : EUR 36.38
Literaturverz. S. 119 - 125
Quelle: DNB
Analysis and verification of multiple agent languages
: selected papers / 5th LOMAPS Workshop, Stockholm, Sweden, June 24 - 26, 1996 / Mads Dam (ed.). - Berlin : Springer, 1997. - VIII, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1192)
ISBN 978-3-540-62503-2 / 3-540-62503-8 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Cooperative bug isolation
: winning thesis of the 2005 ACM doctoral dissertation competition / Ben Liblit. - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4440)
ISBN 978-3-540-71878-9
Lizenzpflichtig
Quelle: DNB
The essence of computation
: complexity, analysis, transformation ; essays dedicated to Neil D. Jones / T. Ae. Mogensen ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2566)
ISBN 978-3-540-36377-4
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2006, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4085)
ISBN 978-3-540-37216-5
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3582)
ISBN 978-3-540-31714-2
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4260)
ISBN 978-3-540-47462-3
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008. Shaoying Liu ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5256)
ISBN 978-3-540-88194-0
Lizenzpflichtig
Quelle: DNB
Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000. Warren A. Hunt, jr. ; Steven D. Johnson (ed.). - Berlin : Springer, 2000. - XI, 537 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1954)
ISBN 978-3-540-41219-9 / 3-540-41219-0 kart. : DM 114.00
Literaturangaben
Quelle: DNB
