81
Transactions on Rough Sets VI [E-Book] : Commemorating the Life and Work of Zdzisław Pawlak, Part I /

Full text 
Favorites
Saved in:
82
Transactions on Rough Sets VII [E-Book] : Commemorating the Life and Work of Zdzisław Pawlak, Part II /

Full text 
Favorites
Saved in:
83
Verification of Object-Oriented Software. The KeY Approach [E-Book] : Foreword by K. Rustan M. Leino /

Full text 
Favorites
Saved in:
84
High Performance Embedded Architectures and Compilers [E-Book] : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /

Full text 
Favorites
Saved in:
85
Interactive Systems. Design, Specification, and Verification [E-Book] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /

Full text 
Favorites
Saved in:
86
Computational Logic in Multi-Agent Systems [E-Book] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
87
Verification, Model Checking, and Abstract Interpretation [E-Book] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /

Full text 
Favorites
Saved in:
88
Wireless Sensor Networks [E-Book] : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings /

Full text 
Favorites
Saved in:
89
Engineering Self-Organising Systems [E-Book] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /

Full text 
Favorites
Saved in:
90
New Frontiers in Artificial Intelligence [E-Book] : JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
91
Task Models and Diagrams for Users Interface Design [E-Book] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers /

Full text 
Favorites
Saved in:
92
Formal Concept Analysis [E-Book] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /

Full text 
Favorites
Saved in:
93
Perspectives of Systems Informatics [E-Book] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /

Full text 
Favorites
Saved in:
94
Hardware and Software, Verification and Testing [E-Book] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Bin, Eyal
2007

Full text 
Favorites
Saved in:
95
STACS 2007 [E-Book] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /

Full text 
Favorites
Saved in:
96
Dynamical Vision [E-Book] : ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers /

Full text 
Favorites
Saved in:
97
Cognitive Systems [E-Book] : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers /
Lu, Ruqian
2007

Full text 
Favorites
Saved in:
98
Theory of Cryptography [E-Book] : 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings /

Full text 
Favorites
Saved in:
99
Computational Linguistics and Intelligent Text Processing [E-Book] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings /

Full text 
Favorites
Saved in:
100
Numerical Methods and Applications [E-Book] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers /

Full text 
Favorites
Saved in:

Narrow Search Results