Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN:3540372156
Lecture Notes in Control and Information Sciences 158 Advanced Methods in Adaptive Control for Indus
1991 年出版331 页ISBN:3540538356
Spectroscopic methods in ligand protein interactions new insight into drug-protein binding mechanism
Rohan P.Perera ; Vijayantha Liyanage2010 年出版125 页ISBN:3838390468
AUDITING CONCEPTS AND METHODS A GUIDE TO CURRENT AUDITING THEORY AND PRACTICE FIFTH EDITION
D.R.CARMICHAEL JOHN J.WILLINGHAM1989 年出版591 页ISBN:0070099995
PROTEINS IN SOLUTION AND AT INTERFACES:METHODS AND APPLICATIONS IN BIOTECHNOLOGY AND MATERIALS SCIEN
JUAN M.RUSO AND ANGEL PINEIRO2013 年出版483 页ISBN:9780470952511
Lecture Notes in Computer Science 4528 Nature Inspired Problem-Solving Methods in Knowledge Engineer
IWINAC 20072007 年出版650 页ISBN:9783540730545
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