| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
|
48692
|
Computer science
|
Entertainment Computing - ICEC 2008 |
Scott M. Stevens, Shirley J. Saldamarco
|
Springer
|
 |
|
48693
|
Computer science
|
Runtime Verification |
Martin Leucker
|
Springer
|
 |
|
48694
|
Computer science
|
Advances in Cryptology - ASIACRYPT 2008 |
Josef Pieprzyk
|
Springer
|
 |
|
48695
|
Computer science
|
Self-Sustaining Systems |
Robert Hirschfeld, Kim Rose
|
Springer
|
 |
|
48696
|
Computer science
|
Transactions on Petri Nets and Other Models of Concurrency I |
Kurt Jensen, Wil M. P. Aalst, Jonathan Billington
|
Springer
|
 |
|
48697
|
Computer science
|
Theory of Quantum Computation, Communication, and Cryptography |
Yasuhito Kawano, Michele Mosca
|
Springer
|
 |
|
48698
|
Computer science
|
Programming Languages and Systems |
G. Ramalingam
|
Springer
|
 |
|
48699
|
Computer science
|
Stabilization, Safety, and Security of Distributed Systems |
Sandeep Kulkarni, André Schiper
|
Springer
|
 |
|
48700
|
Computer science
|
HCI and Usability for Education and Work |
Andreas Holzinger
|
Springer
|
 |
|
48701
|
Computer science
|
Advanced Web and Network Technologies, and Applications |
Yoshiharu Ishikawa, Jing He, Guandong Xu, Yong Shi, Guangyan Huang, Chaoyi Pang, Qing Zhang, Guoren Wang
|
Springer
|
 |
