Lecture Notes in Artificial Intelligence 3978 Recent Advances in Cinstraints Joint ERCIM/CoLogNET In
2006 年出版179 页ISBN：354034215X
LECTURE NOTES IN MATHEMATICS 951: ADVANCES IN NON-COMMUTATIVE RING THEORY
1982 年出版145 页ISBN：3540115978;0387115978
ADVANCES IN PHYSICAL GEOCHEMISTRY VOLUME 3 KINETICS AND EQUILIBRIUM IN MINERAL REACTIONS
1983 年出版273 页ISBN：038790865X
Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design
System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN：9783540727255
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
