Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
MODERN METHODS IN SCIENTIFIC COMPUTING AND APPLICATIONS
ANNE BOURLIOUX MARTIN J.GANDER GERT SABIDUSSI2002 年出版492 页ISBN：1402007825
FOUNDATIONS OF QUANTUM CHROMODYNAMICS Third Edition World Scientific Lecture Notes in Physics-Vol.78
T Muta2010 年出版409 页ISBN：9789812793546
Proceedings 1986 IEEE INTERNATIONAL CONFERENCE ON ROBOTIC AND AUTOMATION Vol.3
1986 年出版2051 页ISBN：0818606959
Blowing Agents and Foaming Processes 2006 The 8th International Conference
2006 年出版224 页ISBN：1859575757
THE PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS
2014 年出版65 页ISBN：4990288082
integer programming and combinatorial optimization 12th international ipco conference
matteo fischetti david p.williamson(eds)2007 年出版500 页ISBN：
integer programming and combinatorial optimization 10th international ipco conference
matteo fischetti david p.williamson(eds)2004 年出版445 页ISBN：
integer programming and combinatorial optimization 11th international ipco conference
matteo fischetti david p.williamson(eds)2005 年出版484 页ISBN：
