|
|
Runtime Verification
by Khurshid, Sarfraz.
Publication:
. XII, 458 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Large-Scale Scientific Computing
by Lirkov, Ivan.
Publication:
. XIV, 681 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems
by Beldiceanu, Nicolas.
Publication:
. XI, 409p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Public Key Infrastructures, Services and Applications
by Petkova-Nikova, Svetla.
Publication:
. X, 209 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXX, 480 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011: Parallel Processing Workshops
by Alexander, Michael.
Publication:
. XXIX, 524p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Perspectives of Systems Informatics
by Clarke, Edmund.
Publication:
. XIV, 411 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
by Snoeyink, Jack.
Publication:
. XVII, 370 p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research in Computational Molecular Biology
by Chor, Benny.
Publication:
. XVI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Vos, Alexis.
Publication:
. IX, 123p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Program Semantics
by Constable, Robert L.
Publication:
. XIII, 357 p. 45 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Structures for Knowledge Representation and Reasoning
by Croitoru, Madalina.
Publication:
. VII, 209 p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm and Evolutionary Computation
by Rutkowski, Leszek.
Publication:
. X, 440 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
LATIN 2012: Theoretical Informatics
by Fernández-Baca, David.
Publication:
. XVII, 669 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Computing, Networking and Security
by Thilagam, P. Santhi.
Publication:
. XVII, 641 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming
by Moraglio, Alberto.
Publication:
. XII, 279p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolutionary Computation in Combinatorial Optimization
by Hao, Jin-Kao.
Publication:
. XII, 264p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approximation and Online Algorithms
by Solis-Oba, Roberto.
Publication:
. X, 278 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency V
by Jensen, Kurt.
Publication:
. XVII, 293 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
by Giacobini, Mario.
Publication:
. XIII, 255p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|