|
|
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),
|
|
|
The Logic of Categorial Grammars
by Moot, Richard.
Publication:
. X, 300 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by Vallecillo, Antonio.
Publication:
. XIII, 446p. 188 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Directions in Logic, Language and Computation
by Lassiter, Daniel.
Publication:
. X, 250 p. 38 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multicore Software Engineering, Performance, and Tools
by Pankratius, Victor.
Publication:
. VIII, 95 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Gibbons, Jeremy.
Publication:
. X, 363p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2012 – Object-Oriented Programming
by Noble, James.
Publication:
. Approx. 780 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Model-Driven Engineering
by Bernardo, Marco.
Publication:
. VII, 439 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in a Heterogeneous World
by Chapman, Barbara M.
Publication:
. XI, 280p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Giese, Holger.
Publication:
. XIII, 269p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Correct Reasoning
by Erdem, Esra.
Publication:
. XI, 594p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Derrick, John.
Publication:
. XII, 360p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies – Ada-Europe 2012
by Brorsson, Mats.
Publication:
. XII, 220p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Gschwind, Thomas.
Publication:
. XII, 195p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, Models, Components, Patterns
by Furia, Carlo A.
Publication:
. XI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Hu, Zhenjiang.
Publication:
. X, 297p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|