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

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

Full text 
Favorites
Saved in:
43
Architecting Dependable Systems VII [E-Book] /

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

Full text 
Favorites
Saved in:
45
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Full text 
Favorites
Saved in:
46
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /

Full text 
Favorites
Saved in:
47
Multiagent System Technologies [E-Book] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
48
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /

Full text 
Favorites
Saved in:
49
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
50
Computational Logic in Multi-Agent Systems [E-Book] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
51
Programming Languages and Systems [E-Book] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /

Full text 
Favorites
Saved in:
52
Unifying Theories of Programming [E-Book] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Full text 
Favorites
Saved in:
53
Graph Transformations and Model-Driven Engineering [E-Book] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday /

Full text 
Favorites
Saved in:
54
Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /

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

Full text 
Favorites
Saved in:
56
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /

Full text 
Favorites
Saved in:
57
Implementation and Application of Functional Languages [E-Book] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /

Full text 
Favorites
Saved in:
58
Formal Modeling: Actors, Open Systems, Biological Systems [E-Book] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

Full text 
Favorites
Saved in:
59
Implementation and Application of Functional Languages [E-Book] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
60
Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results