21
Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /

Full text 
Favorites
Saved in:
22
Algorithmic Aspects in Information and Management [E-Book] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /

Full text 
Favorites
Saved in:
23
Distributed Applications and Interoperable Systems [E-Book] : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings /

Full text 
Favorites
Saved in:
24
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:
25
Advances in Neural Networks – ISNN 2009 [E-Book] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I /
He, Haibo
2009

Full text 
Favorites
Saved in:
26
Advances in Neural Networks – ISNN 2009 [E-Book] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II /
He, Haibo
2009

Full text 
Favorites
Saved in:
27
Trustworthy Software Development Processes [E-Book] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /

Full text 
Favorites
Saved in:
28
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

Full text 
Favorites
Saved in:
29
Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
30
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

Full text 
Favorites
Saved in:
31
Similarity-Based Clustering [E-Book] : Recent Developments and Biomedical Applications /

Full text 
Favorites
Saved in:
32
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

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

Full text 
Favorites
Saved in:
34
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /

Full text 
Favorites
Saved in:
35
Formal Methods for Web Services [E-Book] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /

Full text 
Favorites
Saved in:
36
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [E-Book] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings /

Full text 
Favorites
Saved in:
37
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /

Full text 
Favorites
Saved in:
38
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /

Full text 
Favorites
Saved in:
39
Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
40
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /

Full text 
Favorites
Saved in:

Narrow Search Results