LECTURE NOTES IN COMPUTER SCIENCE COMPUTATION THEORY 208
G.GOOS AND J.HARTMANIS ANDRZEJ SKOWRON2222 年出版397 页ISBN:3540160663
Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing
Performance2222 年出版0 页ISBN:
Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN:354020766X
Lecture Notes in Computer Science 3967 Computer Science-Theory and Applications First International
CSR 20062006 年出版685 页ISBN:3540341668
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN:9783540745099
LECTURE NOTES IN COMPUTER SCIENCE 157 DIRECT METHODS FOR SPARSE MATRICES
OLE QSTERBY1983 年出版127 页ISBN:3540126767
Lecture Notes in Computer Science 4679 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20072007 年出版494 页ISBN:9783540741954
Lecture Notes in Computer Science 4485 Scale Space and Variational Methods in Computer Vision First
SSVM 20072007 年出版931 页ISBN:9783540728221
Lecture Notes in Computer Science 3757 Energy Minimization Methods in Computer Vision and Pattern Re
EMMCVPR 20052005 年出版666 页ISBN:3540302875
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN:3540291318