Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN：3540429492
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
E-COLLABORATIVE KUOWLEDGE CONSTRUCTION:LEARNING FROM COMPUTER-SUPPORTED AND VIRTUAL ENVIRONMENTS
2010 年出版335 页ISBN：1615207299
THE NATURE OF THE MIND AN INTRODUCTION
PETER CARRUTHERS2222 年出版308 页ISBN：0415299950
ELEMENTS OF SOCIOLOGY A CRITICAL CANADIAN INTRODUCTION
JOHN STECKLEY2007 年出版380 页ISBN：0195420975
CONTEMPORARY POLITICAL PHILOSOPHY AN INTRODUCTION SECOND EDITION
WILL KYMLICKA2002 年出版497 页ISBN：0198782748
PHYSICAL EDUCATION AND SPORT:A CONTEMPORARY INTRODUCTION
ANGELA LUMPKIN1990 年出版318 页ISBN：0801632641
MATLAB AN INTRODUCTION WITH APPLICATIONS FIFTH EDITION
AMOS GILAT2015 年出版406 页ISBN：9781118629864
