| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
|
48502
|
Computer science
|
Languages, Methodologies and Development Tools for Multi-Agent Systems |
Mehdi Dastani, Amal Fallah Seghrouchni, João Leite, Paolo Torroni
|
Springer
|
 |
|
48503
|
Computer science
|
Transactions on Rough Sets VIII |
James F. Peters, Andrzej Skowron
|
Springer
|
 |
|
48504
|
Computer science
|
Artificial Immune Systems |
Peter J. Bentley, Doheon Lee, Sungwon Jung
|
Springer
|
 |
|
48505
|
Computer science
|
Secure Transaction Protocol Analysis |
Qingfeng Chen, Chengqi Zhang, Shichao Zhang
|
Springer
|
 |
|
48506
|
Computer science
|
Information Theoretic Security |
Reihaneh Safavi-Naini
|
Springer
|
 |
|
48507
|
Computer science
|
Combinatorial Optimization and Applications |
Boting Yang, Ding-Zhu Du, Cao An Wang
|
Springer
|
 |
|
48508
|
Computer science
|
Affect and Emotion in Human-Computer Interaction |
Christian Peter, Russell Beale
|
Springer
|
 |
|
48509
|
Computer science
|
Algebraic Biology |
Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida
|
Springer
|
 |
|
48510
|
Computer science
|
Intelligent Computer Mathematics |
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
|
Springer
|
 |
|
48511
|
Computer science
|
Model Checking Software |
Klaus Havelund, Rupak Majumdar, Jens Palsberg
|
Springer
|
 |
