ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Lecture Notes in Computer Science 106 The Programming Language Ada
1980 年出版243 页ISBN：3540106936
Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN：9783540732860
Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t
FOSSACS 20042004 年出版528 页ISBN：3540212981
Lecture Notes in Computer Science 3441 Foundations of Software Science and Computation Structures 8t
FOSSACS 20052005 年出版521 页ISBN：3540253882
Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t
FOSSACS 20062006 年出版447 页ISBN：3540330453
Lecture Notes in Computer Science 3983 Computational Science and Its Applications-ICCSA 2006
Marina Gavrilova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t
FOSSACS 20022002 年出版433 页ISBN：354043366X
Research in food science and nutrition ; volume 3: human nutrition
1983 年出版128 页ISBN：0906783283
