| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
|
48642
|
Computer science
|
Formal Methods and Software Engineering |
Shaoying Liu, Tom Maibaum, Keijiro Araki
|
Springer
|
 |
|
48643
|
Computer science
|
Pedagogically Founded Courseware Generation for Web-Based Learning |
Carsten Ullrich
|
Springer
|
 |
|
48644
|
Computer science
|
Modeling Decisions for Artificial Intelligence |
Vicenç Torra, Yasuo Narukawa
|
Springer
|
 |
|
48645
|
Computer science
|
Language and Automata Theory and Applications |
Carlos Martín-Vide, Friedrich Otto, Henning Fernau
|
Springer
|
 |
|
48646
|
Computer science
|
Advances in Artificial Intelligence – IBERAMIA 2008 |
Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David
|
Springer
|
 |
|
48647
|
Computer science
|
Computer Security - ESORICS 2008 |
Sushil Jajodia, Javier Lopez
|
Springer
|
 |
|
48648
|
Computer science
|
Fun and Games |
Panos Markopoulos, Boris Ruyter, Wijnand IJsselsteijn, Duncan Rowland
|
Springer
|
 |
|
48649
|
Computer science
|
Research in Cryptology |
Stefan Lucks, Ahmad-Reza Sadeghi, Christopher Wolf
|
Springer
|
 |
|
48650
|
Computer science
|
Automated Technology for Verification and Analysis |
Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
|
Springer
|
 |
|
48651
|
Computer science
|
Post-Quantum Cryptography |
Johannes Buchmann, Jintai Ding
|
Springer
|
 |
