Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
GPU Gems 2:Programming Techniques for High-Performance Graphics and GGeneral-Purpose Computation
2005 年出版814 页ISBN：0321335597
COMPUTATIONAL TECHNIQUES IN TRANSIENT AND TURBULENT FLOW VOL.2 IN SERIES RECENT ADVANCES IN NUMERICA
1981 年出版332 页ISBN：0906674174
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
Medical modelling the application of advanced design and development techniques in medicine second e
Richard Bibb ; Dominic Eggbeer ; Abby Paterson2015 年出版502 页ISBN：1782423003
Lecture Notes in Computer Science 3524 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20052005 年出版410 页ISBN：3540261524
Lecture Notes in Computer Science 3990 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20062006 年出版300 页ISBN：3540343067
