THE LOGICAL BASIS FOR COMPUTER PROGRAMMING VOLUME1 DEDUCTIVE REASONING
2222 年出版618 页ISBN：0201182602
Lecture Notes in Computer Science 2047 Performance Engineering State of the Art and Current Trends
2001 年出版349 页ISBN：3540421459
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 1211 COMPUTER AND OPTIC
1990 年出版321 页ISBN：0819402524
Lecture Notes in Computer Science 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN：9783540748090
Lecture Notes in Computer Science 4321 The Adaptive Web Methods and Strategies of Web Personalizatio
2007 年出版762 页ISBN：9783540720782
Lecture Notes in Computer Science 2946 Foundations of Security Analysis and Design II FOSAD 2001/200
2004 年出版267 页ISBN：3540209557
Lecture Notes in Computer Science 3655 Foundations of Security Analysis and Design III FOSAD 2004/20
2005 年出版273 页ISBN：3540289550
Lecture Notes in Computer Science 95 Coroutines A Programming Methodology
a Language Design and an Implementation1980 年出版246 页ISBN：3540102566
Lecture Notes in Computer Science 3099 Application and Theory of Petri Nets 2004 25th International
ICATPN 20042004 年出版503 页ISBN：3540222367
