|
|
Runtime Verification
by Khurshid, Sarfraz.
Publication:
. XII, 458 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Carbone, Marco.
Publication:
. IX, 143 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Schrijvers, Tom.
Publication:
. X, 333 p. 69 illus.
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),
|
|
|
Communication Technologies for Vehicles
by Vinel, Alexey.
Publication:
. XII, 188 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Kienzle, Jörg.
Publication:
. X, 292 p.
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),
|
|
|
Logic Programs, Norms and Action
by Artikis, Alexander.
Publication:
. XX, 425 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence VI
by Nguyen, Ngoc Thanh.
Publication:
. XII, 224 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Games, Actions and Social Software
by Eijck, Jan.
Publication:
. XIV, 214 p. 15 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XII, 377 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),
|
|
|
Declarative Agent Languages and Technologies IX
by Sakama, Chiaki.
Publication:
. XII, 153 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),
|
|
|
Programming Multi-Agent Systems
by Collier, Rem.
Publication:
. XI, 159 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Goodloe, Alwyn E.
Publication:
. XII, 466p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Lara, Juan.
Publication:
. Approx. 535 p. 168 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|