1
Integrated Formal Methods [E-Book] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /

Full text 
Favorites
Saved in:
2
Hybrid Metaheuristics [E-Book] : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /

Full text 
Favorites
Saved in:
3
Runtime Verification [E-Book] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Full text 
Favorites
Saved in:
4
Reachability Problems [E-Book] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /

Full text 
Favorites
Saved in:
5
Frontiers of Combining Systems [E-Book] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
6
Efficient Algorithms [E-Book] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
7
Formal Modeling and Analysis of Timed Systems [E-Book] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings /

Full text 
Favorites
Saved in:
8
Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Full text 
Favorites
Saved in:
9
Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Full text 
Favorites
Saved in:
10
Computer Science Logic [E-Book] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

Full text 
Favorites
Saved in:
11
Frontiers in Algorithmics [E-Book] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /

Full text 
Favorites
Saved in:
12
Reachability Problems [E-Book] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /

Full text 
Favorites
Saved in:
13
Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
14
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
15
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:
16
Theory and Applications of Satisfiability Testing – SAT 2010 [E-Book] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Full text 
Favorites
Saved in:
17
Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
18
Tests and Proofs [E-Book] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings /

Full text 
Favorites
Saved in:
19
Architectures for Adaptive Software Systems [E-Book] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

Full text 
Favorites
Saved in:
20
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results