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 4641 Euro-Par 2007 Parallel Processing 13th International Euro-Par

France2007 年出版0 页ISBN：

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

Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W

WAW 20042004 年出版187 页ISBN：3540234276