Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4103:Business Process Management Workshops
2006 年出版508 页ISBN：3540384448
Lecture Notes in Computer Science 3812:Business Process Management Workshops
2006 年出版522 页ISBN：3540325956
Lecture Notes in Computer Science 4873 High Performance Computing-HiPC 2007
2007 年出版663 页ISBN：9783540772194
Lecture Notes in Computer Science 3718 Computer Algebra in Scientific Computing 8th International Wo
CASC 20052005 年出版502 页ISBN：3540289666
Lecture Notes in Computer Science 4770 Computer Algebra in Scientific Computing 10th International W
CASC 20072007 年出版460 页ISBN：9783540751861
Lecture Notes in Computer Science 4194 Computer Algebra in Scientific Computing 9th International Wo
CASC 20062006 年出版312 页ISBN：354045182X
Lecture Notes in Computer Science 3107 Software Reuse:Methods
Techniques2004 年出版0 页ISBN：
