Lecture Notes in Computer Science 3655 Foundations of Security Analysis and Design III FOSAD 2004/20
2005 年出版273 页ISBN：3540289550
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
FOUNDATIONS OF QUANTUM CHROMODYNAMICS Third Edition World Scientific Lecture Notes in Physics-Vol.78
T Muta2010 年出版409 页ISBN：9789812793546
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
FUNDAMENTALS OF STRUCTURED PROGRAMMING USING FORTRAN WITH SF/K AND WATFIV-S
R.C.HOLT AND J.N.P.HUME1977 年出版349 页ISBN：0879093021
CHANGING INTERPRETATIONS OF AMERICA'S PAST VOLUME II:THE CIVIL WAR THROUGH THE 20TH CENTURY
JIM R.MCCLELLAN1995 年出版449 页ISBN：1561341150
THE EVOLUTION OF WESTERN SOCIETY VOLUME I FROM THE ANCIENT WORLD THROUGH THE LATE MIDDLE AGES
1978 年出版372 页ISBN：0030209827
Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
