1
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [E-Book] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Advances in Computer Science – ASIAN 2007. Computer and Network Security [E-Book] : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings /

Full text 
Favorites
Saved in:
3
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:
4
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:
5
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:
6
Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /

Full text  Full text 
Favorites
Saved in:
7
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:
8
Domain Modeling and the Duration Calculus [E-Book] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /

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

Full text 
Favorites
Saved in:
10
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:
11
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:
12
Lectures on Concurrency and Petri Nets [E-Book] : Advances in Petri Nets /

Full text 
Favorites
Saved in:
13
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:
14
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:
15
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.

Full text 
Favorites
Saved in:
16
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

Full text 
Favorites
Saved in:
17
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

Full text 
Favorites
Saved in:
18
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
19
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /

Full text 
Favorites
Saved in:
20
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) [E-Book] / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed

Full text 
Favorites
Saved in:

Narrow Search Results