Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Artificial Intelligence 3413 Socionics Scalability of Complex Social Systems
2005 年出版315 页ISBN：3540307079
Lecture Notes in Artificial Intrlligence 4660 Computational Discovery of Scientific Knowledge Introd
Techniques2007 年出版327 页ISBN：
Lecture Notes in Computer Science 3378 Theory of Cryptography Second Theory of Cryptography Conferen
TCC 20052005 年出版621 页ISBN：3540245731
Lecture Notes in Computer Science 3876 Theory of Cryptography Third Theory of Cryptography Conferenc
TCC 20062006 年出版617 页ISBN：3540327312
Lecture Notes in Computer Science 2951 Theory of Cryptography First Theory of Cryptography Conferenc
TCC 20042004 年出版523 页ISBN：3540210008
Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge
INAP 20042005 年出版309 页ISBN：3540255605
Lecture Notes in Artificial Intelligence 4565 Foundations of Augmented Cognition Third International
FAC 20072007 年出版450 页ISBN：9783540732150
FIFTY YEARS OF THE LAW OF THE SEA WITH A SPECIAL SECTION ON THE INTERNATIONAL COURT OF JUSTICE
2003 年出版832 页ISBN：9041121765
LECTURE NOTES IN CHEMISTRY 29 UNIFIED VALENCE BOND THEORY OF ELECTRONIC STRUCTURE
N.D.EPIOTIS1982 年出版305 页ISBN：3540114912
