|
|
Conceptual Structures for STEM Research and Education
by Pfeiffer, Heather D.
Publication:
. XI, 333 p. 109 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends and Topics in Computer Vision
by Kutulakos, Kiriakos N.
Publication:
. XX, 357 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Practical Software Verification
by Meyer, Bertrand.
Publication:
. VIII, 183 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Arbab, Farhad.
Publication:
. X, 369 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends and Topics in Computer Vision
by Kutulakos, Kiriakos N.
Publication:
. XXII, 479 p. 262 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Focused Retrieval of Content and Structure
by Geva, Shlomo.
Publication:
. XII, 338 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents
by Palmirani, Monica.
Publication:
. XIV, 309 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Multimedia Modeling
by Li, Shipeng.
Publication:
. XXXII, 560 p. 219 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Multimedia Modeling
by Li, Shipeng.
Publication:
. XXXII, 562 p. 273 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Foundations of Computer Science
by Artemov, Sergei.
Publication:
. X, 415 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Wolff, Burkhart.
Publication:
. VIII, 249 p. 4 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Security Protocols XX
by Christianson, Bruce.
Publication:
. X, 277 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence Methods for Bioinformatics and Biostatistics
by Biganzoli, Elia.
Publication:
. XVI, 270 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing and Networking
by Frey, Davide.
Publication:
. XX, 466 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Quantum Interaction
by Busemeyer, Jerome R.
Publication:
. X, 239 p. 24 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Quantum Computation, Communication, and Cryptography
by Iwama, Kazuo.
Publication:
. VIII, 153 p. 7 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Qadeer, Shaz.
Publication:
. XII, 322 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Current Trends in Web Engineering
by Grossniklaus, Michael.
Publication:
. XXII, 245 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing
by Cranefield, Stephen.
Publication:
. X, 125 p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Park, James J.
Publication:
. XX, 647 p. 253 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|