search result

Cover von Algorithms - ESA 2013

Algorithms - ESA 2013
21st Annual European Symposium, Sophia Antipolis, France, September 2 - 4, 2013 : Poceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8125
Media group: MONOGRAPHIE
Cover von Mathematical Foundations of Computer Science 2013

Mathematical Foundations of Computer Science 2013
38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8087
Media group: MONOGRAPHIE
Cover von Euro-Par 2013 Parallel Processing

Euro-Par 2013 Parallel Processing
19th International Conference, Aachen, Germany, August 26 - 30, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8097
Media group: MONOGRAPHIE
Cover von CONCUR 2013

CONCUR 2013
Concurrency Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27 - 30, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8052
Media group: MONOGRAPHIE
Cover von Part II.; Automata, Languages, and Programming

Part II.; Automata, Languages, and Programming
Search for this author
Year: 2013
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 7966
Media group: MONOGRAPHIE
Cover von Automata, Languages, and Programming

Automata, Languages, and Programming
40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Proceedings
2013
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7965/7966
Media group: GESAMTWERK
Volumes loading
Cover von ECOOP 2013 - Object-Oriented Programming

ECOOP 2013 - Object-Oriented Programming
27th European Conference, Montpellier, France, July 1 - 5, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7920
Media group: MONOGRAPHIE
Cover von Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26 - 28, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7941
Media group: MONOGRAPHIE
Cover von Static Analysis

Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7935
Media group: MONOGRAPHIE
Cover von Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20 - 22, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7737
Media group: MONOGRAPHIE
OPEN V 11.1.0.0