1
Semantic Techniques for the Web [E-Book] : The REWERSE Perspective /

Full text 
Favorites
Saved in:
2
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:
3
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Full text 
Favorites
Saved in:
4
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /

Full text 
Favorites
Saved in:
5
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:
6
Reasoning Web. Semantic Technologies for Information Systems [E-Book] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures /

Full text 
Favorites
Saved in:
7
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [E-Book] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings /

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

Full text 
Favorites
Saved in:
9
Research into Practice – Reality and Gaps [E-Book] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings /

Full text 
Favorites
Saved in:
10
Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

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

Full text 
Favorites
Saved in:
12
Task Models and Diagrams for User Interface Design [E-Book] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
13
SOFSEM 2004: Theory and Practice of Computer Science [E-Book] : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 /

Full text 
Favorites
Saved in:
14
Object-Oriented Technology. ECOOP 2003 Workshop Reader [E-Book] : ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports /

Full text 
Favorites
Saved in:
15
The Semantic Web - ISWC 2006 [E-Book] / 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings

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

Full text 
Favorites
Saved in:
17
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:
18
Advances in Rule Interchange and Applications [E-Book] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings /

Full text 
Favorites
Saved in:
19
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:
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