81
Rewriting, Computation and Proof [E-Book] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
82
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /

Full text 
Favorites
Saved in:
83
Transformation-Based Reactive Systems Development [E-Book] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /

Full text 
Favorites
Saved in:
84
Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /

Full text 
Favorites
Saved in:
85
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:
86
Compiler Construction [E-Book] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.

Full text 
Favorites
Saved in:
87
Fundamental Approaches to Software Engineering [E-Book] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.

Full text 
Favorites
Saved in:
88
Programming Languages and Systems [E-Book] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal.

Full text 
Favorites
Saved in:
89
Program Analysis and Compilation, Theory and Practice [E-Book] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
90
Theoretical Aspects of Computing - ICTAC 2006 [E-Book] / Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings

Full text 
Favorites
Saved in:
91
Quality of Software Architectures [E-Book] / Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers

Full text 
Favorites
Saved in:
92
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:
93
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:
94
Power Electronics and Instrumentation Engineering [E-Book] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /

Full text 
Favorites
Saved in:
95
Finite Model Theory and Its Applications [E-Book] /

Full text 
Favorites
Saved in:
96
Formal Modeling and Analysis of Timed Systems (vol. # 3829) [E-Book] / Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Full text 
Favorites
Saved in:
97
Practical Aspects of Declarative Languages (vol. # 3819) [E-Book] / 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

Full text 
Favorites
Saved in:
98
Verification, Model Checking, and Abstract Interpretation (vol. # 3855) [E-Book] / 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Full text 
Favorites
Saved in:
99
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [E-Book] / AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul

Full text 
Favorites
Saved in:
100
Formal Techniques for Networked and Distributed Systems – FORTE 2007 [E-Book] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results