|
|
Frontiers of Combining Systems
by Tinelli, Cesare.
Publication:
. VIII, 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Architecture
by Varbanescu, Ana Lucia.
Publication:
. XXVII, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Fahrenberg, Uli.
Publication:
. XI, 353 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hage, Jurriaan.
Publication:
. X, 217 p. 29 illus., 4 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Parallel Processing Technologies
by Temam, Olivier.
Publication:
. 190p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Resilient Systems
by Troubitsyna, Elena A.
Publication:
. X, 165p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Computing
by Peleg, David.
Publication:
. XVII, 506 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Cohen, Myra B.
Publication:
. XV, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Yahav, Eran.
Publication:
. XII, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011 Parallel Processing
by Jeannot, Emmanuel.
Publication:
. XXXIII, 598p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011 Parallel Processing
by Jeannot, Emmanuel.
Publication:
. Approx. 490 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),
|
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems
by Dastani, Mehdi.
Publication:
. IX, 153 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),
|
|
|
Rule-Based Reasoning, Programming, and Applications
by Bassiliades, Nick.
Publication:
. XIII, 385 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),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Brünnler, Kai.
Publication:
. VIII, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Gopalakrishnan, Ganesh.
Publication:
. XV, 763p.
Availability:
Copies available:
AUM Main Library
(1),
|
|