COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
Computer science and multiple-valued logic theory and applications
1977 年出版548 页ISBN：0444110566
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN：0824722558
COMPUTER CONCEPTS AND APPLICATIONS THIRD EDITION 1989
JAMES A.OBRIEN1989 年出版600 页ISBN：0256070016
Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN：3540219609
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 2940 Software Engineering for Multi-Agent Systems II Research Issu
2004 年出版278 页ISBN：3540211829
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
