Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Lecture Notes in Computer Science 3278 Utility Computing 15th IFIP/IEEE International Workshop
2004 年出版270 页ISBN:3540236317
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN:3540429492
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X
A SHORT HISTORY OF ELECTORAL SYSTEMS IN WESTERN EUROPE VOLUME 22
ANDREW MCLAREN CARSTAIRS1980 年出版236 页ISBN:0415555620
ITERATION OF RATIONAL FUNCTIONS:COMPLEX ANALYTIC DYNAMICAL SYSTEMS WITH 35 ILLUSTRATIONS
ALAN F.BEARDON1991 年出版282 页ISBN:0387975896