COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN:
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN:
Lecture Notes in Computer Science 4846 Advances in Computer Science-ASIAN 2007 Computer and Network
2007 年出版313 页ISBN:9783540769279
What To Do When Machines Do Everything How To Getahead In A World Of Ai Algorithms Bots And Big Data
Malcolm Frank2017 年出版235 页ISBN:
Lecture Notes in Computer Science 3402 High Performance Computing for Computational Science-VECPAR 2
2005 年出版732 页ISBN:3540254242
Lecture Notes in Computer Science 4395 High Performance Computing for Computational Science-VECPAR 2
2007 年出版721 页ISBN:9783540713500
POROUS MATERIALS PROCESSING AND APPLICATIONS=多孔材料 制备 应用 表征
刘培生 陈国锋著2014 年出版560 页ISBN:7302383642
多孔材料是近些年来呈迅速发展趋势的一种新型功能结构材料,其可广泛应用于航空航天、电子与通讯、原子能、电化学、石油化工、交通运输、冶金、机械、医学、环保、建筑等诸多领域。本书介绍了该材料的基本概...
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN: