search result

Cover von Static Analysis

Static Analysis
23rd International Symposium, SAS 2016, Edinburgh, UK, September 8 - 10, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9837
Media group: MONOGRAPHIE
Cover von Euro-Par 2016: Parallel Processing

Euro-Par 2016: Parallel Processing
22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24 - 26, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9833
Media group: MONOGRAPHIE
Cover von Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science
41st International Workshop, WG 2015, Garching, Germany, June 17 - 19, 2015, Revised Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9224
Media group: MONOGRAPHIE
Cover von Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2 - 8, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9636
Media group: MONOGRAPHIE
Cover von Programming Languages and Systems

Programming Languages and Systems
25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2 - 8, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9632
Media group: MONOGRAPHIE
Cover von Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2 - 8, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9634
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2 - 8, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9633
Media group: MONOGRAPHIE
Cover von Principles of Security and Trust

Principles of Security and Trust
5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2 - 8, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9635
Media group: MONOGRAPHIE
Cover von LATIN 2016

LATIN 2016
Theoretical Informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11 - 15, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9644
Media group: MONOGRAPHIE
Cover von SOFSEM 2016

SOFSEM 2016
Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23 - 28, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9587
Media group: MONOGRAPHIE
OPEN V 11.1.0.0