1
Abstract State Machines, Alloy, B, VDM, and Z [E-Book]: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

Full text 
Favorites
Saved in:
2
Algebraic and Algorithmic Aspects of Differential and Integral Operators [E-Book] : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /

Full text 
Favorites
Saved in:
3
Applications of Graph Transformations with Industrial Relevance [E-Book]: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
4
Computer Science -- Theory and Applications [E-Book] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /

Full text 
Favorites
Saved in:
5
Computer Science – Theory and Applications [E-Book]: 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /

Full text 
Favorites
Saved in:
6
Computer Science – Theory and Applications [E-Book] : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /

Full text 
Favorites
Saved in:
7
Computer Science - Theory and Applications [E-Book] : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /

Full text 
Favorites
Saved in:
8
Computing and Combinatorics [E-Book] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /

Full text 
Favorites
Saved in:
9
Computing and Combinatorics [E-Book] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /

Full text 
Favorites
Saved in:
10
Computing and Combinatorics [E-Book] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /

Full text 
Favorites
Saved in:
11
Descriptional Complexity of Formal Systems [E-Book] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /

Full text 
Favorites
Saved in:
12
Descriptional Complexity of Formal Systems [E-Book] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /

Full text 
Favorites
Saved in:
13
Descriptional Complexity of Formal Systems [E-Book] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /

Full text 
Favorites
Saved in:
14
Foundations of Information and Knowledge Systems [E-Book]: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /

Full text 
Favorites
Saved in:
15
Foundations of Information and Knowledge Systems [E-Book] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /

Full text 
Favorites
Saved in:
16
Fundamentals of Computation Theory [E-Book] : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /

Full text 
Favorites
Saved in:
17
Graph Transformation [E-Book] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /

Full text 
Favorites
Saved in:
18
Graph Transformation [E-Book] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /

Full text 
Favorites
Saved in:
19
Graph Transformations [E-Book]: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /

Full text 
Favorites
Saved in:
20
Lectures on Logic and Computation [E-Book]: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /

Full text 
Favorites
Saved in:

Narrow Search Results