1
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:
2
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:
3
Interactive Theorem Proving [E-Book] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
4
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /

Full text 
Favorites
Saved in:
5
Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [E-Book] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Formal Techniques for Distributed Systems [E-Book] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

Full text 
Favorites
Saved in:
9
Fundamental Problems in Computing [E-Book] : Essays in Honor of Professor Daniel J. Rosenkrantz /

Full text 
Favorites
Saved in:
10
Logic Functions and Equations [E-Book] : Examples and Exercises /

Full text 
Favorites
Saved in:
11
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:
12
Formal Methods for Industrial Critical Systems [E-Book] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
13
Testing of Software and Communication Systems [E-Book] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings /

Full text 
Favorites
Saved in:
14
FM 2009: Formal Methods [E-Book] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Full text 
Favorites
Saved in:
15
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:
16
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Full text 
Favorites
Saved in:
17
Programming Multi-Agent Systems (vol. # 3862) [E-Book] / Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

Full text 
Favorites
Saved in:
18
Defence Applications of Multi-Agent Systems [E-Book] / International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Full text 
Favorites
Saved in:
19
Declarative Agent Languages and Technologies III [E-Book] / Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Full text 
Favorites
Saved in:
20
Agent-Oriented Software Engineering VI [E-Book] / 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

Full text 
Favorites
Saved in:

Narrow Search Results