|
|
Unconventional Computation and Natural Computation
by Durand-Lose, Jérôme.
Publication:
. XII, 252 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Barros, Alistair.
Publication:
. XV, 354 p. 128 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coalgebraic Methods in Computer Science
by Pattinson, Dirk.
Publication:
. VII, 259 p. 7 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2012: Formal Methods
by Giannakopoulou, Dimitra.
Publication:
. XVI, 488 p. 142 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Ong, Luke.
Publication:
. XII, 337 p. 49 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),
|
|
|
Formal Methods for Industrial Critical Systems
by Stoelinga, Mariëlle.
Publication:
. XIV, 223 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Beringer, Lennart.
Publication:
. XI, 419 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Vidal, Germán.
Publication:
. X, 254 p. 61 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),
|
|
|
Trends in Functional Programming
by Peña, Ricardo.
Publication:
. X, 195 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Muggleton, Stephen H.
Publication:
. XI, 406 p. 130 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),
|
|
|
Developments in Language Theory
by Yen, Hsu-Chun.
Publication:
. XIII, 478p. 65 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Kutrib, Martin.
Publication:
. X, 319p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Ågotnes, Thomas.
Publication:
. XII, 215 p. 21 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),
|
|
|
Progress in VLSI Design and Test
by Rahaman, Hafizur.
Publication:
. XXIV, 408 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|