Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
Lecture Notes in Computer Science 4575 Pairing-Based Cryptography-Pairing 2007 First International C
2007 年出版407 页ISBN：9783540734888
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Concepts of pattern grading : techniques for manual and computer grading second edition
Kathy K.Mullet carolyn l.moore margaret prevatt young2009 年出版220 页ISBN：1563676970
Lecture Notes in Computer Science 3091 Rewriting Techniques and Applications 15th International Conf
RTA 20042004 年出版311 页ISBN：3540221530
Lecture Notes in Computer Science 2378 Rewriting Techniques and Applications 13th International Conf
RTA 20022002 年出版385 页ISBN：3540439161
Lecture Notes in Computer Science 2051 Rewriting Techniques and Applications 12th International Conf
RTA 20012001 年出版361 页ISBN：3540421173
Lecture Notes in Computer Science 2917 Model-Checking Based Data Retrieval An Application To Semistr
2004 年出版134 页ISBN：3540209719
HIGH FREQUENCY TECHNIQUES AN INTRODUCTION TO RF AND MICROWAVE DESIGN AND COMPUTER SIMULATION
JOSEOH F.WHITE2017 年出版506 页ISBN：1119244509
