search result

Cover von Fundamental Approaches to Software Engineering
17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8411
Media group: MONOGRAPHIE
Cover von Compiler Construction
23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8409
Media group: MONOGRAPHIE
Cover von Principles of Security and Trust
Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8414
Media group: MONOGRAPHIE
Cover von LATIN 2014: Theoretical Informatics
11th Latin American Symposium : Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8392
Media group: MONOGRAPHIE
Cover von Verification, Model Checking, and Abstract Interpretation
15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8318
Media group: MONOGRAPHIE
Cover von Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14 - 19, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8312
Media group: MONOGRAPHIE
Cover von Graph-Theoretic Concepts in Computer Science
39th International Workshop, WG 2013, Lübeck, Germany, June 19 - 21, 2013, Revised Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8165
Media group: MONOGRAPHIE
Cover von Algorithms and Computation
24th International Symposium, ISAAC 2013, Hong Kong, China, December 16 - 18, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8283
Media group: MONOGRAPHIE
Cover von Distributed Computing
27th International Symposium, DISC 2013, Jerusalem, Israel, October 14 - 18, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8205
Media group: MONOGRAPHIE
Cover von Algorithmic Game Theory
6th International Symposium, SAGT 2013, Aachen, Germany, October 21 - 23, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8146
Media group: MONOGRAPHIE
OPEN V 11.1.0.0