|
|
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),
|
|
|
Tests and Proofs
by Brucker, Achim D.
Publication:
. X, 177p. 57 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Khurshid, Sarfraz.
Publication:
. XII, 458 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),
|
|
|
Perspectives of Systems Informatics
by Clarke, Edmund.
Publication:
. XIV, 411 p. 130 illus.
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),
|
|