Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN：3540219803
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN：9783540732860
Learning OpenCV3 computer vision in C++with the openCV library
Adrian Kaehler and Gary Bradski2017 年出版992 页ISBN：1491937990
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
CONCEPTS IN DATA STRUCTURES AND SOFTWARE DEVELOPMENT:A TEXT FOR THE SECOND COURSE IN COMPUTER SCIENC
G.MICHAEK SCHNEIDER STEVEN C.BRUELL1992 年出版526 页ISBN：0314774602
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN：3540238425
