PROGRAM DERIVATION THE DEVELOPMENT OF PROGRAMS FORM SPECIFICATIONS
GEOFF DROMEY2222 年出版630 页ISBN:
Timing Verification of Application-Specific Integrated Circuits
Farzad Nekoogar2009 年出版190 页ISBN:
Reasoning Robots The Art and Science of Programming Robotic Agents
Michael Thielscher2005 年出版327 页ISBN:
史陈新,李铮著2016 年出版389 页ISBN:9787568237062
本书主要是针对高中生在未来对专业乃至职业进行选择时面临困惑或困难而设计。每章节都用最通俗的语言告诉高三学生每个专业是什么、学什么及详细的课程内容;告诉高三考生每个专业大学生毕业后的整体工作环境...