|
|
Software Architecture
by Crnkovic, Ivica.
Publication:
. XV, 448p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming – CP 2011
by Lee, Jimmy.
Publication:
. XXIV, 836p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Yahav, Eran.
Publication:
. XII, 387 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),
|
|
|
The Mathematics of Language
by Kanazawa, Makoto.
Publication:
. IV, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Security Analysis and Design VI
by Aldini, Alessandro.
Publication:
. VII, 275p.
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),
|
|
|
Mathematical Foundations of Computer Science 2011
by Murlak, Filip.
Publication:
. XV, 618 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Computation Theory
by Owe, Olaf.
Publication:
. XIII, 373 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebra and Coalgebra in Computer Science
by Corradini, Andrea.
Publication:
. XI, 420p.
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),
|
|
|
Descriptional Complexity of Formal Systems
by Holzer, Markus.
Publication:
. X, 329p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Kuchen, Herbert.
Publication:
. VII, 157 p.
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),
|
|