Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN:9783540727323
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
Optimization of computer networks modeling and algorithms a hands-on approach
Pablo Pavon Marino2016 年出版376 页ISBN:1119013356
MCGRAW HILL ENCYCLOPEDIA OF SCIENCE TECHNOLOGY 5TH EDITION
ST.LOUIS1982 年出版790 页ISBN: