Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
The science of computing shaping a discipline
Matti Tedre2015 年出版280 页ISBN：1482217698
Embedded Computing A VLIW Approach to Architecture
Compilers and Tools2005 年出版671 页ISBN：1558607668
Introduction to High Performance Computing for Scientists and Engineers
Georg Hager2222 年出版330 页ISBN：9781439811924;143981192X
AN APPLE FOR THE TEACHER FUNDAMENTALS OF INSTRUCTIONAL COMPUTING
GEORGE H.CULP HERBERT NICKLES2222 年出版239 页ISBN：0534013783
Agent-Mediated Electronic Commerce VI Theories for and Engineering of Distributed Mechanisms and Sys
2004 年出版215 页ISBN：3540297375
Language as Discourse：Perspectives for Language Teaching
卡锡（Carthy M.M.）等著2004 年出版230 页ISBN：
LANGUAGE AS DISCOURSE PERSPECTIVES FOR LANGUAGE TEACHING
MICHAEL McCARTHY RONALD CARTER2222 年出版230 页ISBN：
NATURAL LANGUAGE PROCESSING AND KNOWLEDGE REPRESENTATION: LANGUAGE FOR KNOWLEDGE AND KNOWLEDGE FOR L
2000 年出版459 页ISBN：9780262590211
