Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN：3540223428
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
HOW TO BE AN EVEN BETTER MANAGER A COMPLETE A-Z OF PROVEN TECHNIQUES NAD ESSENTIAL SKILLS NINTH EDIT
2014 年出版370 页ISBN：9780749471545
数学物理 下 第2版=MATHEMATICAL PHYSICS PART 2 A MODERN INTRODUCTION TO ITS FOUNDATIONS SECOND EDITION
SADRI HASSANI2017 年出版1205 页ISBN：9787519226077
本书是为学习物理学的读者编写的数学基础教材，书中除了用较现代的方法处理经典的数学物理问题外，还引入了很多有较强物理应用意义的现代数学方法和思想，从涵盖的知识面来看，已远远超出通常数学物理方法教程的范...
数学物理 上 第2版=MATHEMATICAL PHYSICS PART 1 A MODERN INTRODUCTION TO ITS FOUNDATIONS SECOND EDITION
SADRI HASSANI2017 年出版698 页ISBN：9787519226091
本书是为学习物理学的读者编写的数学基础教材，书中除了用较现代的方法处理经典的数学物理问题外，还引入了很多有较强物理应用意义的现代数学方法和思想，从涵盖的知识面来看，已远远超出通常数学物理方法教程的范...
PICTURE LANGUAGES Formal Models for Picture Recognition
1979 年出版226 页ISBN：0125973403
formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
