|
|
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),
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
by Achterberg, Tobias.
Publication:
. X, 253p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ambient Assisted Living
by Bravo, José.
Publication:
. XII, 226p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Frasconi, Paolo.
Publication:
. XI, 278p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
by Calinescu, Radu.
Publication:
. 250p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithms and Models for the Web Graph
by Frieze, Alan.
Publication:
. IX, 127p.
Availability:
Copies available:
AUM Main Library
(1),
|
|