21
Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
22
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

Full text 
Favorites
Saved in:
23
Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

Full text 
Favorites
Saved in:
24
Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
25
Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

Full text 
Favorites
Saved in:
26
Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

Full text 
Favorites
Saved in:
27
Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results