|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XII, 377 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Processing of the Portuguese Language
by Caseli, Helena.
Publication:
. X, 460p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Seidl, Helmut.
Publication:
. XV, 602 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Birkedal, Lars.
Publication:
. XVII, 484 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Bjørner, Nikolaj.
Publication:
. XI, 446 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by O’Boyle, Michael.
Publication:
. XVI, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Lukasiewicz, Thomas.
Publication:
. XII, 405 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Trends in Algebraic Development Techniques
by Mossakowski, Till.
Publication:
. X, 303 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XII, 556p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modelling and Its Theoretical Foundations
by Düsterhöft, Antje.
Publication:
. VIII, 329 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic and Numeric Biology
by Horimoto, Katsuhisa.
Publication:
. IX, 185 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Gheorghe, Marian.
Publication:
. 380p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Kuncak, Viktor.
Publication:
. X, 457p. 111 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Engineering and Management
by Kannan, Rajkumar.
Publication:
. Approx. 355 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verified Software: Theories, Tools, Experiments
by Joshi, Rajeev.
Publication:
. XI, 326p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Russo, Claudio.
Publication:
. Approx. 315 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Physics and Beyond
by Dinneen, Michael J.
Publication:
. XIII, 427p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Barbosa, Luís Soares.
Publication:
. X, 305 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Jouannaud, Jean-Pierre.
Publication:
. XV, 401p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Yang, Hongseok.
Publication:
. XI, 372p.
Availability:
Copies available:
AUM Main Library
(1),
|
|