21
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:
22
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:
23
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /

Full text 
Favorites
Saved in:
24
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:
25
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:
26
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:
27
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:
28
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:
29
Research in Computational Molecular Biology [E-Book] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings /

Full text 
Favorites
Saved in:
30
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /

Full text 
Favorites
Saved in:
31
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

Full text 
Favorites
Saved in:
32
Wired/Wireless Internet Communications [E-Book] : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /
Berg, Hans
2009

Full text 
Favorites
Saved in:
33
Scale Space and Variational Methods in Computer Vision [E-Book] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings /

Full text 
Favorites
Saved in:
34
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
35
Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /

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

Full text 
Favorites
Saved in:
37
Computer Vision and Graphics [E-Book] : International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers /

Full text 
Favorites
Saved in:
38
Fast Software Encryption [E-Book] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
39
Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

Full text 
Favorites
Saved in:
40
Approximation and Online Algorithms [E-Book] : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers /

Full text 
Favorites
Saved in:

Narrow Search Results