1
Power Electronics and Instrumentation Engineering [E-Book] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /

Full text 
Favorites
Saved in:
2
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Central European Functional Programming School [E-Book] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /

Full text 
Favorites
Saved in:
4
Software Language Engineering [E-Book] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
5
Model Checking and Artificial Intelligence [E-Book] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
6
Logic-Based Program Synthesis and Transformation [E-Book] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Logic Programming and Nonmonotonic Reasoning [E-Book] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /

Full text 
Favorites
Saved in:
8
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:
9
Cryptographic Hardware and Embedded Systems - CHES 2007 [E-Book] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings /

Full text 
Favorites
Saved in:
10
Formal Methods for Components and Objects [E-Book] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /

Full text 
Favorites
Saved in:
11
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:
12
Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /

Full text 
Favorites
Saved in:
13
Leveraging Applications of Formal Methods [E-Book] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
14
Programming Languages and Systems (vol. # 4279) [E-Book] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Full text 
Favorites
Saved in:
15
Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

Full text 
Favorites
Saved in:
17
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

Full text 
Favorites
Saved in:
18
Formal Methods and Stochastic Models for Performance Evaluation [E-Book] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /

Full text 
Favorites
Saved in:
19
Theoretical Aspects of Computing – ICTAC 2007 [E-Book] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

Full text 
Favorites
Saved in:
20
Dependable Computing [E-Book] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results