101
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

Full text 
Favorites
Saved in:
102
Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
103
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

Full text 
Favorites
Saved in:
104
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /

Full text 
Favorites
Saved in:
105
Computational Geometry and Graph Theory [E-Book] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /

Full text 
Favorites
Saved in:
106
Distributed Computing and Networking [E-Book] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /

Full text 
Favorites
Saved in:
107
Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /

Full text 
Favorites
Saved in:
108
Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /

Full text 
Favorites
Saved in:
109
High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

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

Full text 
Favorites
Saved in:
111
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:
112
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:
113
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:
114
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:
115
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:
116
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:
117
SOFSEM 2009: Theory and Practice of Computer Science [E-Book] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /

Full text 
Favorites
Saved in:
118
Independent component analysis and signal separation : 8th international conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. proceedings [E-Book] /

Full text 
Favorites
Saved in:
119
Reconfigurable Computing: Architectures, Tools and Applications [E-Book] : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
120
Advances in Data and Web Management [E-Book] : Joint International Conferences, APWeb/WAIM 2009 Suzhou, China, April 2-4, 2009 Proceedings /
Feng, Ling
2009

Full text 
Favorites
Saved in:

Narrow Search Results