1
Advances in Rule Interchange and Applications [E-Book] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings /

Full text 
Favorites
Saved in:
2
Approaches and Applications of Inductive Programming [E-Book] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /

Full text 
Favorites
Saved in:
3
Automated Technology for Verification and Analysis [E-Book] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /

Full text 
Favorites
Saved in:
4
Automated Technology for Verification and Analysis [E-Book] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /

Full text 
Favorites
Saved in:
5
Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Full text 
Favorites
Saved in:
6
Automated Technology for Vertification and Analysis [E-Book] / 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Full text 
Favorites
Saved in:
7
Business Process Management [E-Book] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings /

Full text 
Favorites
Saved in:
8
Computational Logic in Multi-Agent Systems [E-Book] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
9
Conceptual Modeling - ER '97 [E-Book] : 16th International Conference on Conceptual Modeling, Los Angeles, CA, USA, November 3-5, 1997. Proceedings /

Full text 
Favorites
Saved in:
10
CONCUR 2010 - Concurrency Theory [E-Book] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /

Full text 
Favorites
Saved in:
11
CONCUR 2011 – Concurrency Theory [E-Book] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
12
Distributed Computing and Internet Technology [E-Book] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings /

Full text 
Favorites
Saved in:
13
Distributed Computing and Internet Technology [E-Book] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /

Full text 
Favorites
Saved in:
14
Distributed, Parallel and Biologically Inspired Systems [E-Book] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Full text 
Favorites
Saved in:
15
ECOOP 2003 - Object-Oriented Programming [E-Book] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /

Full text 
Favorites
Saved in:
16
Evaluation of Novel Approaches to Software Engineering [E-Book] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
17
Foundations of Information and Knowledge Systems [E-Book] : First International Symposium, FoIKS 2000 Burg, Germany, February 14–17, 2000 Proceedings /

Full text 
Favorites
Saved in:
18
Foundations of Information and Knowledge Systems [E-Book] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings /

Full text 
Favorites
Saved in:
19
Grid Computing [E-Book] : Experiment Management, Tool Integration, and Scientific Workflows /

Full text 
Favorites
Saved in:
20
Innovative Internet Computing Systems [E-Book] : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results