|
|
Logic and Grammar
by Pogodalla, Sylvain.
Publication:
. XV, 159 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in the Petascale Era
by Chapman, Barbara M.
Publication:
. X, 179p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Managing the Dynamics of Networks and Services
by Chrisment, Isabelle.
Publication:
. X, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multidisciplinary Aspects of Time and Time Perception
by Vatakis, Argiro.
Publication:
. XII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modelling Foundations and Applications
by France, Robert B.
Publication:
. XIV, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Meuter, Wolfgang.
Publication:
. XII, 219p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Bruni, Roberto.
Publication:
. XIV, 349p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Pattern Matching
by Giancarlo, Raffaele.
Publication:
. XV, 480p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Eternal Networked Software Systems
by Bernardo, Marco.
Publication:
. VIII, 527p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2011: Formal Methods
by Butler, Michael.
Publication:
. XIV, 450p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Applications and Interoperable Systems
by Felber, Pascal.
Publication:
. XII, 304 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multidisciplinary Information Retrieval
by Hanbury, Allan.
Publication:
. X, 149p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Teaching Logic
by Blackburn, Patrick.
Publication:
. XI, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Top Productivity through Software Reuse
by Schmid, Klaus.
Publication:
. XIII, 247p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations on Natural and Artificial Computation
by Ferrández, José Manuel.
Publication:
. XXV, 566 p.
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),
|
|
|
New Challenges on Bioinspired Applications
by Ferrández, José Manuel.
Publication:
. XXV, 486p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Intelligence in Security for Information Systems
by Herrero, Álvaro.
Publication:
. XIV, 310p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Artificial Life. Darwin Meets von Neumann
by Kampis, George.
Publication:
. XXII, 481p.
Availability:
Copies available:
AUM Main Library
(1),
|
|