|
|
Certified Programs and Proofs
by Hawblitzel, Chris.
Publication:
. X, 305 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Jhala, Ranjit.
Publication:
. XII, 389 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Gill, Andy.
Publication:
. X, 181 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Aoki, Toshiaki.
Publication:
. XIV, 512 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Graph Transformations with Industrial Relevance
by Schürr, Andy.
Publication:
. XII, 255 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Issues in Fluid Construction Grammar
by Steels, Luc.
Publication:
. X, 331 p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Bshouty, Nader H.
Publication:
. XII, 381 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rewriting Logic and Its Applications
by Durán, Franciso.
Publication:
. VIII, 241 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Natural Language Processing
by Isahara, Hitoshi.
Publication:
. X, 334 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Eleftherakis, George.
Publication:
. XIV, 384 p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations
by Ehrig, Hartmut.
Publication:
. XII, 427 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming
by Milano, Michela.
Publication:
. XXII, 1015 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Finkel, Alain.
Publication:
. XII, 149 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Computer Science
by Baeten, Jos C. M.
Publication:
. X, 393 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Artificial Intelligence
by Cerro, Luis Fariñas.
Publication:
. XIV, 498 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
KI 2012: Advances in Artificial Intelligence
by Glimm, Birte.
Publication:
. XIV, 267 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Gheyi, Rohit.
Publication:
. X, 227 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reasoning Web. Semantic Technologies for Advanced Query Answering
by Eiter, Thomas.
Publication:
. IX, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|