1
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:
2
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:
3
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [E-Book] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
4
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:
5
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:
6
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:
7
Foundational and Practical Aspects of Resource Analysis [E-Book] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Foundations and Practice of Security [E-Book]: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Frontiers of Combining Systems [E-Book] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /

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

Full text 
Favorites
Saved in:
11
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:
12
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:
13
Graph Transformations [E-Book]: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /

Full text 
Favorites
Saved in:
14
Integrated Formal Methods [E-Book]: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

Full text 
Favorites
Saved in:
15
Interactive Theorem Proving [E-Book] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Full text 
Favorites
Saved in:
16
Interactive Theorem Proving [E-Book] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

Full text 
Favorites
Saved in:
17
Interactive Theorem Proving [E-Book] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Full text 
Favorites
Saved in:
18
Logic and Program Semantics [E-Book]: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
19
Mathematical and Engineering Methods in Computer Science [E-Book]: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Membrane Computing [E-Book] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results