Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier
2007 年出版273 页ISBN：9783540731467
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 3551 Data Management in a Connected World Essats Dedicated to Hart
2005 年出版371 页ISBN：3540262954
Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V
1995 年出版360 页ISBN：3540606475
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
Quantum Robotics: A Primer on Current Science and Future Perspectives
Prateek Tandon2222 年出版0 页ISBN：
MATHEMATICAL AND NUMERICAL FOUNDATIONS OF TURBULENCE MODELS AND APPLICATIONS
TOMAS CHACON REBOLLO2014 年出版517 页ISBN：9781493904549
