search result

Cover von Programming Languages and Systems
22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7792
Media group: MONOGRAPHIE
Cover von Principles of Security and Trust
Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7796
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7795
Media group: MONOGRAPHIE
Cover von The Language of Mathematics
A Linguistic and Philosophical Investigation
Author: Ganesalingam, Mohan Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : FoLLI; 7805
Media group: MONOGRAPHIE
Cover von Facing the Multicore-Challenge III
Aspects of New Paradigms and Technologies in Parallel Computing
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 7686
Media group: MONOGRAPHIE
Cover von Bilateral Algorithms for Symbolic Abstraction
article in LNCS 7460: Static Analysis
Author: Thakur, Aditya; Elder, Matt; Reps, Thomas W. Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7460, pp. 111-128
Media group: ARTICLE
Cover von Software Engineering for Self-Adaptive Systems II
International Seminar, Dagstuhl Castle, Germany, October 24 - 29, 2010 : Revised Selected and Invited Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 7475
Media group: MONOGRAPHIE
Cover von Assurances for Self-Adaptive Systems
Principles, Models, and Techniques
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 7740
Media group: MONOGRAPHIE
Cover von Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 7542
Media group: MONOGRAPHIE
Cover von Digital Forensics and Cyber Crime
Third International ICST Conference, ICDF2C 2011, Dublin, Ireland, October 26 - 28, 2011, Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture Notes of the Institute for Computer Science, Social Informatics and Telecommunications Engineering; 88
Media group: MONOGRAPHIE
OPEN V 11.1.0.0