Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN：9780521118156
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN：9783540727873
THEORY OF STOCHASTIC DIFFERENTIAL EQUATIONS WITH JUMPS AND APPLICATIONS MATHEMATICAL AND ANALYTICAL
2005 年出版434 页ISBN：0387250832
Automorphisms of manifolds and algebraic K-theory： Part III volume 231
Michael S. Weiss ; Bruce E. Williams2014 年出版114 页ISBN：1470409814
Modular Representation Theory of Finite and P-Adic Groups Volume 30
Wee Teck Gan ; Kai Meng Tan2015 年出版266 页ISBN：9814651806
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
CONFERENCE RECORD OF 1970 ELEVENTH ANNUAL SYMPOSIUM ON SWITCHING AND AUTOMATA THEORY
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1970 年出版239 页ISBN：
COMPUTATIONAL SOLID MECHANICS VARIATIONAL FORMULATION AND HIGH ORDER APPROXIMATION
MARCO L.BITTENCOURT2015 年出版647 页ISBN：1439860014
Complexity Theory and Language Development: In celebration of Diane Larsen-Freeman
Lourdes Ortega2017 年出版234 页ISBN：9027213389
