|
|
Programming Multi-Agent Systems
by Dastani, Mehdi.
Publication:
. X, 245 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Application and Theory of Petri Nets and Concurrency
by Colom, José-Manuel.
Publication:
. XII, 411 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming III
by Noble, James.
Publication:
. X, 195 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Benchmarking Peer-to-Peer Systems
by Effelsberg, Wolfgang.
Publication:
. VIII, 197 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Johnsen, Einar Broch.
Publication:
. XIV, 443 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Models. Change Management
by Gerth, Christian.
Publication:
. XVI, 218 p. 125 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies – Ada-Europe 2013
by Keller, Hubert B.
Publication:
. XII, 177 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Beyer, Dirk.
Publication:
. XIV, 321 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-24
by Bonacina, Maria Paola.
Publication:
. XVI, 466 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems
by Cavallaro, Lorenzo.
Publication:
. XVI, 145 p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Nicola, Rocco.
Publication:
. XIV, 251 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Cellier, Peggy.
Publication:
. X, 267 p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Beek, Maurice H.
Publication:
. X, 151 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Infocomm Technology
by Guyot, Vincent.
Publication:
. XVI, 358 p. 153 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Methodologies for Pervasive and Embedded Software
by Machado, Ricardo J.
Publication:
. X, 139 p. 61 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII
by Jensen, Kurt.
Publication:
. XVI, 423 p. 250 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Brat, Guillaume.
Publication:
. XXIV, 486 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Communication Technologies for Vehicles
by Berbineau, Marion.
Publication:
. XIV, 253 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|