| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
|
48462
|
Computer science
|
Programming Multi-Agent Systems |
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff
|
Springer
|
 |
|
48463
|
Computer science
|
Information Security Practice and Experience |
Liqun Chen, Yi Mu, Willy Susilo
|
Springer
|
 |
|
48464
|
Computer science
|
Tests and Proofs |
Bernhard Beckert, Reiner Hähnle
|
Springer
|
 |
|
48465
|
Computer science
|
Discrete Geometry for Computer Imagery |
David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont
|
Springer
|
 |
|
48466
|
Computer science
|
Theory and Applications of Models of Computation |
Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li
|
Springer
|
 |
|
48467
|
Computer science
|
Web Services and Formal Methods |
Marlon Dumas, Reiko Heckel
|
Springer
|
 |
|
48468
|
Computer science
|
Passive and Active Network Measurement |
Mark Claypool, Steve Uhlig
|
Springer
|
 |
|
48469
|
Computer science
|
Advances in Geometric Modeling and Processing |
Falai Chen, Bert Jüttler
|
Springer
|
 |
|
48470
|
Computer science
|
Topics in Cryptology – CT-RSA 2008 |
Tal Malkin
|
Springer
|
 |
|
48471
|
Computer science
|
Transactions on Computational Science I |
Marina L. Gavrilova, C. J. Kenneth Tan
|
Springer
|
 |
