search result

Cover von Computer aided verification
18th international conference, Seattle, WA, USA, August 17 - 20, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4144
Media group: MONOGRAPHIE
Cover von Model checking software
10th international SPIN workshop, Portland, OR, USA, May 9 - 10, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2648
Media group: MONOGRAPHIE
Cover von Title, Table of Contents, Preface, List of Authors

Title, Table of Contents, Preface, List of Authors

Year: 2015
Media group: LIPIcs
Cover von 1st Summit on Advances in Programming Languages
SNAPL 2015 : May 3 - 6, 2015, Asilomar, California
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 32
Media group: LIPIcs
Cover von Multi-version program analysis
Search for this author
Year: 2005
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 05261
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Theoretical Computer Science
7th IFIP TC1 / WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26 - 28, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7604
Media group: MONOGRAPHIE
Cover von Interaction versus Automation
The two Faces of Deduction
Search for this author
Year: 2009
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 09411
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Network models
Search for this author
Year: 1995
Publisher: Amsterdam, Elsevier
Series: Handbooks in operations research and management science; 7
Media group: MONOGRAPHIE
Cover von Network routing
Search for this author
Year: 1995
Publisher: Amsterdam, Elsevier
Series: Handbooks in operations research and management science; 8
Media group: MONOGRAPHIE
OPEN V 11.1.0.0