1
Automata, languages and programming : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, proceedings. 2 [E-Book] /

Full text  Full text 
Favorites
Saved in:
2
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings [E-Book]/

Full text 
Favorites
Saved in:
3
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [E-Book] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Fields of Logic and Computation [E-Book] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /

Full text 
Favorites
Saved in:
5
Theoretical Computer Science [E-Book] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Full text 
Favorites
Saved in:
6
Distributed, Parallel and Biologically Inspired Systems [E-Book] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Full text 
Favorites
Saved in:
7
Advances in Computer Science - ASIAN 2009. Information Security and Privacy [E-Book] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings /

Full text 
Favorites
Saved in:
8
Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

Full text 
Favorites
Saved in:
9
Lectures on Concurrency and Petri Nets [E-Book] : Advances in Petri Nets /

Full text 
Favorites
Saved in:
10
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 2 /

Full text 
Favorites
Saved in:
11
Advances in Computing Science — ASIAN 2000 [E-Book] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results