|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Brünnler, Kai.
Publication:
. VIII, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Gopalakrishnan, Ganesh.
Publication:
. XV, 763p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Processing in Medical Imaging
by Székely, Gábor.
Publication:
. XXI, 787 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Apel, Sven.
Publication:
. VIII, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligence and Security Informatics
by Chau, Michael.
Publication:
. X, 133p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development VIII
by Katz, Shmuel.
Publication:
. XIII, 221 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Virtual and Mixed Reality - Systems and Applications
by Shumaker, Randall.
Publication:
. XXVII, 436p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Virtual and Mixed Reality - New Trends
by Shumaker, Randall.
Publication:
. 432p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Aceto, Luca.
Publication:
. XXVI, 666 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Aceto, Luca.
Publication:
. XXIV, 802p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent and Multi-Agent Systems: Technologies and Applications
by O’Shea, James.
Publication:
. XVII, 704p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in Cryptology – AFRICACRYPT 2011
by Nitaj, Abderrahmane.
Publication:
. XIII, 387p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, Models, Components, Patterns
by Bishop, Judith.
Publication:
. X, 307p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics
by Rizzo, Riccardo.
Publication:
. XIII, 288 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Argumentation in Multi-Agent Systems
by McBurney, Peter.
Publication:
. X, 327p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications - ICCSA 2011
by Murgante, Beniamino.
Publication:
. LVIII, 662 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications - ICCSA 2011
by Murgante, Beniamino.
Publication:
. LVII, 700 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications - ICCSA 2011
by Murgante, Beniamino.
Publication:
. LXXXII, 728 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Intelligent Systems
by Kryszkiewicz, Marzena.
Publication:
. XIX, 746p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications - ICCSA 2011
by Murgante, Beniamino.
Publication:
. LVII, 666 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|