1
Distributed Computing and Internet Technology [E-Book] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /

Full text 
Favorites
Saved in:
2
Hardware and Software: Verification and Testing [E-Book] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Formal Verification of Object-Oriented Software [E-Book] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Implementation and Application of Automata [E-Book] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
5
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:
6
Agent-Oriented Software Engineering X [E-Book] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Theory and Applications of Models of Computation [E-Book] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
8
Logic, Language, Information and Computation [E-Book] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings /

Full text 
Favorites
Saved in:
9
Functional and Constraint Logic Programming [E-Book] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
10
Declarative Agent Languages and Technologies VIII [E-Book] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers /

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

Full text 
Favorites
Saved in:
14
Hardware and Software: Verification and Testing [E-Book] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
15
Recent Advances in Constraints [E-Book] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Algebraic Methodology and Software Technology [E-Book] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Practical Aspects of Declarative Languages [E-Book] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
18
Verification, Model Checking, and Abstract Interpretation [E-Book] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
19
Generative and Transformational Techniques in Software Engineering III [E-Book] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /

Full text 
Favorites
Saved in:
20
Logic and Its Applications [E-Book] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results