|
|
Euro-Par 2011 Parallel Processing
by Jeannot, Emmanuel.
Publication:
. Approx. 490 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2011
by Cerone, Antonio.
Publication:
. X, 267p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2011 – Concurrency Theory
by Katoen, Joost-Pieter.
Publication:
. XIV, 560p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Computing Technologies
by Malyshkin, Victor.
Publication:
. XIV, 500p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Exploring Music Contents
by Ystad, Sølvi.
Publication:
. IX, 361p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business Process Management
by Rinderle-Ma, Stefanie.
Publication:
. Approx. 420 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NETWORKING 2011 Workshops
by Casares-Giner, Vicente.
Publication:
. XVI, 290p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data Management in Grid and Peer-to-Peer Systems
by Hameurlain, Abdelkader.
Publication:
. X, 135 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Functional Programming
by Page, Rex.
Publication:
. X, 215 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Eekelen, Marko.
Publication:
. XI, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Towards a Service-Based Internet. ServiceWave 2010 Workshops
by Cezon, Michel.
Publication:
. XXIX, 209 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2011 – Object-Oriented Programming
by Mezini, Mira.
Publication:
. XIV, 660p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Oriented Software Engineering XI
by Weyns, Danny.
Publication:
. X, 249 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Holzer, Markus.
Publication:
. X, 329p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Hybrid Deliberative Layer for Robotic Agents
by Hartanto, Ronny.
Publication:
. XXII, 215 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rule-Based Reasoning, Programming, and Applications
by Bassiliades, Nick.
Publication:
. XIII, 385 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ad-hoc, Mobile, and Wireless Networks
by Frey, Hannes.
Publication:
. XI, 361p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-23
by Bjørner, Nikolaj.
Publication:
. XIII, 508 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering Techniques
by Huzar, Zbigniew.
Publication:
. XI, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XV, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|