|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Esparza, Javier.
Publication:
. XVI, 468p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Escobar, Santiago.
Publication:
. IX, 179p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Gupta, Rajiv.
Publication:
. XII, 326p. 119 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Gordon, Andrew D.
Publication:
. XV, 632p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Computing Systems - ARCS 2010
by Müller-Schloer, Christian.
Publication:
. XIII, 247p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approaches and Applications of Inductive Programming
by Schmid, Ute.
Publication:
. IX, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Kwuida, Léonard.
Publication:
. XII, 340p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Topics in Cryptology - CT-RSA 2010
by Pieprzyk, Josef.
Publication:
. 397p. 43 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Wireless Sensor Networks
by Silva, Jorge Sá.
Publication:
. XIII, 340p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata for Branching and Layered Temporal Structures
by Puppis, Gabriele.
Publication:
. 206p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
RoboCup 2009: Robot Soccer World Cup XIII
by Baltes, Jacky.
Publication:
. 460p. 242 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing and Applications
by Zhang, Wu.
Publication:
. XV, 589p. 276 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Link, Sebastian.
Publication:
. XII, 363 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Adaptive and Learning Agents
by Taylor, Matthew E.
Publication:
. 154p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract State Machines, Alloy, B and Z
by Frappier, Marc.
Publication:
. XIV, 416p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge Representation for Health-Care. Data, Processes and Guidelines
by Riaño, David.
Publication:
. 195p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Drawing
by Eppstein, David.
Publication:
. 426p. 199 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
by Monteiro, José.
Publication:
. 370p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory of Cryptography
by Micciancio, Daniele.
Publication:
. 607p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Task Models and Diagrams for User Interface Design
by England, David.
Publication:
. 163p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|