Lecture Notes in Computer Science 616 Application and Theory of Petri Nets 1992
1992 年出版398 页ISBN：3540556761
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
DISCOURSES OF FREEDOM OF SPEECH FROM THE ENACTMENT OF THE BILL OF RIGHTS TO THE SEDITION ACT OF 191
JUHANI RUDANKO2012 年出版201 页ISBN：1137030593
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
The origin of the species by means of natural selection of the preservation of favoured races in the
Charles Darwin2003 年出版546 页ISBN：0451529060
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：
