1
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 /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
2
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 /
Other Personal Name(s): “...Steffen, Bernhard....”

Full text 
Favorites
Saved in:
3
Transactions on Computational Science V [E-Book] : Special Issue on Cognitive Knowledge Representation /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
4
Advanced Information Systems Engineering [E-Book] : 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
5
Privacy, Security, and Trust in KDD [E-Book] : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
6
Location and Context Awareness [E-Book] : 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
7
Computer Vision/Computer Graphics CollaborationTechniques [E-Book] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
8
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
9
Rough Sets and Knowledge Technology [E-Book] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
10
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [E-Book] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
11
Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
12
Advances in Knowledge Discovery and Data Mining [E-Book] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
13
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
14
Advances in Artificial Intelligence [E-Book] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings /
Gao, Yong
2009
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
15
Scale Space and Variational Methods in Computer Vision [E-Book] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
16
Advances in Web Mining and Web Usage Analysis [E-Book] : 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papers /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
17
Independent Component Analysis and Signal Separation [E-Book] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
18
Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
19
Frontiers in Algorithmics [E-Book] : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
20
Hybrid Artificial Intelligence Systems [E-Book] : 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:

Narrow Search Results