|
|
FM 2011: Formal Methods
by Butler, Michael.
Publication:
. XIV, 450p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unconventional Computation
by Calude, Cristian S.
Publication:
. X, 247p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies - Ada-Europe 2011
by Romanovsky, Alexander.
Publication:
. XIII, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Models in Software Engineering
by Dingel, Juergen.
Publication:
. XII, 416p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Swart, Harrie.
Publication:
. VIII, 363 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction in Geometry
by Sturm, Thomas.
Publication:
. IX, 225p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Language, Information and Computation
by Beklemishev, Lev D.
Publication:
. X, 311 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Delgrande, James P.
Publication:
. XIII, 406 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Ogihara, Mitsunori.
Publication:
. XVI, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Mariño, Julio.
Publication:
. IX, 175 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies VIII
by Omicini, Andrea.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Kulikov, Alexander.
Publication:
. XI, 471 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking and Artificial Intelligence
by Meyden, Ron.
Publication:
. XI, 131 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Alpuente, María.
Publication:
. X, 249 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Abdulla, Parosh Aziz.
Publication:
. XVI, 394p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Davies, Jim.
Publication:
. VIII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Giannakopoulou, Dimitra.
Publication:
. XIII, 464p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Hofmann, Martin.
Publication:
. XV, 473 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Barthe, Gilles.
Publication:
. XIV, 501p.
Availability:
Copies available:
AUM Main Library
(1),
|
|