THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 7th INTERNATIONAL CONFERENCE
SAT 20042005 年出版393 页ISBN:
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN:
THE NAVIER-STOKES EQUATIONS II - THEORY AND NUMERICAL METHODS
1992 年出版322 页ISBN:3540562613;0387562613
CRIME AND PUNISHMENT IN BRITAIN THE PENAL SYSTEM IN THEORY
LAW2010 年出版373 页ISBN:
Algebra in the Stone-cech compactification theory and applications
1998 年出版485 页ISBN:3110154420X
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN:3540208518
PRACTICAL SHEET METAL LAY0UT ROUND FITTINGS USED TODAY INCLUDING METHODS AND TECHNIQUES OF FABRICATI
RICHARD S.BUDZIK1996 年出版211 页ISBN:0912914688