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
Algorithmic Learning Theory [E-Book]: 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings /

Full text 
Favorites
Saved in:
4
Algorithmic Learning Theory [E-Book] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /

Full text 
Favorites
Saved in:
5
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:
6
Automated Deduction – CADE-24 [E-Book] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Full text 
Favorites
Saved in:
7
Computation, Physics and Beyond [E-Book]: International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
8
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:
9
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:
10
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:
11
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:
12
Computing and Combinatorics [E-Book] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /

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

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

Full text 
Favorites
Saved in:
15
Coordination Models and Languages [E-Book] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /

Full text 
Favorites
Saved in:
16
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:
17
Descriptional Complexity of Formal Systems [E-Book] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /

Full text 
Favorites
Saved in:
18
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:
19
Formal Modeling and Analysis of Timed Systems [E-Book]: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /

Full text 
Favorites
Saved in:
20
Foundational and Practical Aspects of Resource Analysis [E-Book] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results