Lecture Notes in Computer Science 4395 High Performance Computing for Computational Science-VECPAR 2
2007 年出版721 页ISBN:9783540713500
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
ARTIFICIAL INTELLIGENCE A NEW SYNTHESIS
NILS J.NILSSON2222 年出版513 页ISBN:7111074386
2001 INTERNATIONAL SYMPOSIUM ON VLSI TECHNOLOGY SYSTEMS AND APPLICATIONS
2222 年出版310 页ISBN:0780364120
1999 INTERNATIONAL SYMPOSIUM ON VLSI TECHNOLOGY SYSTEMS AND APPLICATIONS
2222 年出版305 页ISBN:0780356209
Lecture Notes in Computer Science 3277 Job Scheduling Strategies for Parallel Processing 10th Intrna
JSSPP 20042005 年出版317 页ISBN:3540253300
Lecture Notes in Computer Science 4471 Interactive TV:A Shared Experience 5th European Conference
EuroITV 20072007 年出版236 页ISBN:9783540725589