|
|
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),
|
|
|
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),
|
|
|
Software Composition
by Apel, Sven.
Publication:
. VIII, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development VIII
by Katz, Shmuel.
Publication:
. XIII, 221 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Objects, Models, Components, Patterns
by Bishop, Judith.
Publication:
. X, 307p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2010 Parallel Processing Workshops
by Guarracino, Mario R.
Publication:
. XXVI, 699p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications and Theory of Petri Nets
by Kristensen, Lars M.
Publication:
. XII, 349p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Gogolla, Martin.
Publication:
. X, 205p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Model Transformations
by Cabot, Jordi.
Publication:
. XII, 229p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
End-User Development
by Costabile, Maria Francesca.
Publication:
. XVI, 426p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in the Petascale Era
by Chapman, Barbara M.
Publication:
. X, 179p.
Availability:
Copies available:
AUM Main Library
(1),
|
|