|
|
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),
|
|
|
The Future Internet
by Domingue, John.
Publication:
. XVI, 465 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),
|
|
|
Advances in New Technologies, Interactive Interfaces, and Communicability
by Cipolla Ficarra, Francisco V.
Publication:
. X, 193 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXII, 381 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011
by Domingo-Pascual, Jordi.
Publication:
. XXI, 473 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Grid and Pervasive Computing
by Riekki, Jukka.
Publication:
. XIV, 296p.
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),
|
|
|
Model Checking and Artificial Intelligence
by Meyden, Ron.
Publication:
. XI, 131 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Service-Oriented Perspectives in Design Science Research
by Jain, Hemant.
Publication:
. XII, 476 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
GeoSpatial Semantics
by Claramunt, Christophe.
Publication:
. XII, 235 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),
|
|
|
Formal Concept Analysis
by Valtchev, Petko.
Publication:
. XII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rigorous Software Engineering for Service-Oriented Systems
by Wirsing, Martin.
Publication:
. X, 737p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Natural Computing Algorithms
by Dobnikar, Andrej.
Publication:
. XVI, 433p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Natural Computing Algorithms
by Dobnikar, Andrej.
Publication:
. XVI, 403p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Collective Intelligence III
by Nguyen, Ngoc Thanh.
Publication:
. IX, 215p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evolutionary Multi-Criterion Optimization
by Takahashi, Ricardo H. C.
Publication:
. XV, 620 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|