|
|
Model and Data Engineering
by Abelló, Alberto.
Publication:
. XII, 187 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming
by Milano, Michela.
Publication:
. XXII, 1015 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Finkel, Alain.
Publication:
. XII, 149 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Research in Attacks, Intrusions, and Defenses
by Balzarotti, Davide.
Publication:
. XIV, 400 p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Gheyi, Rohit.
Publication:
. X, 227 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages
by Carvalho Junior, Francisco Heron.
Publication:
. IX, 165 p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Miné, Antoine.
Publication:
. XI, 457 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2012
by Roychoudhury, Abhik.
Publication:
. XII, 259 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2012 – Concurrency Theory
by Koutny, Maciej.
Publication:
. XIV, 582 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Fisher, Michael.
Publication:
. Approx. 230 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2012 Parallel Processing
by Kaklamanis, Christos.
Publication:
. XXVII, 960 p. 369 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational and Practical Aspects of Resource Analysis
by Peña, Ricardo.
Publication:
. VII, 143 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generic and Indexed Programming
by Gibbons, Jeremy.
Publication:
. VII, 259 p. 24 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Central European Functional Programming School
by Zsók, Viktória.
Publication:
. VII, 533 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Functional Programming
by Peña, Ricardo.
Publication:
. X, 195 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Dennis, Louise.
Publication:
. XII, 217 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Verification of Object-Oriented Software
by Beckert, Bernhard.
Publication:
. X, 251 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Donaldson, Alastair.
Publication:
. X, 261p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|