Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
Joint Source-Channel Decoding A Cross-Layer Perspective with Applications in Video Broadcasting over
Pierre Duhamel2010 年出版326 页ISBN：
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 2254 Engineering for Human-Computer Interaction 8th IFIP Internati
EHCI 20012001 年出版359 页ISBN：354043044X
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
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：
HANDBOOK OF LOW AND HIGH DIELECTRIC CONSTANT MATERIALS AND THEIR APPLICATIONS VOLUME 1
HARI SINGH NALWA1999 年出版569 页ISBN：0125139055
FROM GENES TO GENOMES THIRD EDITION CONCEPTS AND APPLICATIONS OF DNA TECHNOLOGY
JEREMY W.DALE，MALCOLM VON SCHANTZ，NICK PLANT2012 年出版386 页ISBN：9780470683866
