Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN:3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN:9783540732297
SERIES IN COMPUTER SCIENCE-VOL.5 VISUALIZING ABSTRACT BOJECTS AND RELATIONS A CONSTRAINT-BASED APPRO
1989 年出版162 页ISBN:9810200099
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202
Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN:3540311424
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN:3540262865
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
CONCEPTS IN DATA STRUCTURES AND SOFTWARE DEVELOPMENT:A TEXT FOR THE SECOND COURSE IN COMPUTER SCIENC
G.MICHAEK SCHNEIDER STEVEN C.BRUELL1992 年出版526 页ISBN:0314774602
OPERATING SYSTEMS DESIGN AND IMPLEMENTATION,THIRD EDITION
[美]ANDREW S.TANENBAUM ALBERT S.WOODHULL著 陈渝 谌卫军译2007 年出版357 页ISBN:7121026481
本书是关于操作系统的权威教材。大多数关于操作系统的图书均重理论而轻实践,而本书则在这两者之间进行了较好的折中。本书详细探讨了操作系统的基本原理,包括进程、进程间通信、信号量、管程、消息传递、调度...