Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
THE ROLE OF MATHEMATICS IN THE RISE OF SCIENCE
SALOMON BOCHNER2222 年出版386 页ISBN：0691023719
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED
G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN：3540173560
Lecture Notes in Computer Science 4006 Reliable Software Technologies-Ada-Europe 2006 11th Ada-Europ
2006 年出版240 页ISBN：3540346635
Lecture Notes in Artificial Intelligence 3415 Multi-Agent and Multi-Agent-Based Simulation Joint Wor
2005 年出版265 页ISBN：3540252622
Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
Lecture Notes in Computer Science 183 The Munich Project CIP Volume I:The Wide Spectrum Language CIP
1985 年出版275 页ISBN：3540151877
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
Lecture Notes in Artificial Intelligence 4118 Agents and Peer-to-Peer Computing 4th International Wo
AP2PC 20052006 年出版172 页ISBN：9783540490258
