search result

Cover von Programming Languages and Systems
29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25 - 30, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 12075
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors

Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors

Year: 2017
Media group: LIPIcs
Cover von 31st European Conference on Object-Oriented Programming
ECOOP’17, June 18 - 23, 2017, Barcelona, Spain
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 74
Media group: LIPIcs
Cover von Advanced Lectures on Software Engineering
LASER Summer School 2007 / 2008
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 6029
Media group: MONOGRAPHIE
Cover von Modular specification and verification of object-oriented programs
Author: Müller, Peter Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2262
Media group: MONOGRAPHIE
Cover von Photorealistic rendering techniques
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Focus on computer graphics
Media group: MONOGRAPHIE
Cover von Modular Verification of Finite Blocking in Non-terminating Programs

Modular Verification of Finite Blocking in Non-terminating Programs

Year: 2015
Media group: LIPIcs
Cover von Principled Software Development
Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Bayesian Inference for Gene Expression and Proteomics
Search for this author
Year: 2006
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von FTfJP 2002; 7
formal techniques for Java-like programs : special issue : S. 645 -734
Search for this author
Year: 2004
Publisher: Chichester, Wiley
Count: 7
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0