1
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Full text 
Favorites
Saved in:
2
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [E-Book] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
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:
4
Cooperative Bug Isolation [E-Book] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition /

Full text 
Favorites
Saved in:
5
Agent Communication II [E-Book] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers /

Full text 
Favorites
Saved in:
6
Implementation and Application of Automata (vol. # 3845) [E-Book] / 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
7
Logic Based Program Synthesis and Transformation (vol. # 3901) [E-Book] / 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
8
Implementation and Application of Functional Languages (vol. # 4015) [E-Book] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
9
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:
10
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:
11
Hardware and Software, Verification and Testing [E-Book] / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Bin, Eyal
2006

Full text 
Favorites
Saved in:
12
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:
13
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:
14
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:
15
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [E-Book] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
16
Rapid Integration of Software Engineering Techniques (vol. # 3943) [E-Book] / Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
17
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:
18
Interactive Systems. Design Specification, and Verification [E-Book] / 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

Full text 
Favorites
Saved in:
19
Recent Advances in Constraints (vol. # 3978) [E-Book] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite

Full text 
Favorites
Saved in:
20
Formal Approaches to Software Testing (vol. # 3997) [E-Book] / 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:

Narrow Search Results