| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
| 46757 |
Computer science |
Inconsistency Tolerance |
Leopoldo Bertossi, Anthony Hunter, Torsten Schaub |
Springer |
 |
| 46758 |
Computer science |
Security in Communication Networks |
Carlo Blundo, Stelvio Cimato |
Springer |
 |
| 46759 |
Computer science |
Formal Approaches to Agent-Based Systems |
Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff |
Springer |
 |
| 46760 |
Computer science |
Constraint-Based Mining and Inductive Databases |
Jean-François Boulicaut, Luc Raedt, Heikki Mannila |
Springer |
 |
| 46761 |
Computer science |
Automated Deduction in Geometry |
Hoon Hong, Dongming Wang |
Springer |
 |
| 46762 |
Computer science |
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes |
Marc P. C. Fossorier, Hideki Imai, Shu Lin, Alain Poli |
Springer |
 |
| 46763 |
Computer science |
Journal on Data Semantics V |
Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia P. Sycara |
Springer |
 |
| 46764 |
Computer science |
Types for Proofs and Programs |
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner |
Springer |
 |
| 46765 |
Computer science |
Mathematical Knowledge Management |
Michael Kohlhase |
Springer |
 |
| 46766 |
Computer science |
Database Programming Languages |
Gavin Bierman, Christoph Koch |
Springer |
 |
