Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
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 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN:9783540714095
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN:354028009X
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:
Methods and applications of linear models regression and the analysis of variance Third Edition
Ronald R. Hocking2013 年出版692 页ISBN:1118329504
Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D
2005 年出版492 页ISBN:3540251073