| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
|
48452
|
Computer science
|
Progress in WWW Research and Development |
Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu
|
Springer
|
 |
|
48453
|
Computer science
|
Relations and Kleene Algebra in Computer Science |
Rudolf Berghammer, Bernhard Möller, Georg Struth
|
Springer
|
 |
|
48454
|
Computer science
|
Argumentation in Multi-Agent Systems |
Iyad Rahwan, Simon Parsons, Chris Reed
|
Springer
|
 |
|
48455
|
Computer science
|
Formal Methods and Testing |
Robert M. Hierons, Jonathan P. Bowen, Mark Harman
|
Springer
|
 |
|
48456
|
Computer science
|
Concept Lattices and Their Applications |
Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek
|
Springer
|
 |
|
48457
|
Computer science
|
Hybrid Systems: Computation and Control |
Magnus Egerstedt, Bud Mishra
|
Springer
|
 |
|
48458
|
Computer science
|
Advances in Cryptology – EUROCRYPT 2008 |
Nigel Smart
|
Springer
|
 |
|
48459
|
Computer science
|
Functional and Logic Programming |
Jacques Garrigue, Manuel V. Hermenegildo
|
Springer
|
 |
|
48460
|
Computer science
|
Coordination, Organizations, Institutions, and Norms in Agent Systems III |
Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega
|
Springer
|
 |
|
48461
|
Computer science
|
Modeling Communication with Robots and Virtual Humans |
Ipke Wachsmuth, Günther Knoblich
|
Springer
|
 |
