|
|
Modelling Foundations and Applications
by Vallecillo, Antonio.
Publication:
. XIII, 446p. 188 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXVII, 765 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Madhusudan, P.
Publication:
. XVI, 789p. 192 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Image and Signal Processing
by Elmoataz, Abderrahim.
Publication:
. XIX, 609p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multicore Software Engineering, Performance, and Tools
by Pankratius, Victor.
Publication:
. VIII, 95 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2012
by Murgante, Beniamino.
Publication:
. XXII, 765p. 260 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Application and Theory of Petri Nets
by Haddad, Serge.
Publication:
. XI, 419p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2012
by Murgante, Beniamino.
Publication:
. XXI, 661p. 251 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2012
by Murgante, Beniamino.
Publication:
. XXXIX, 759p. 317 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Program Construction
by Gibbons, Jeremy.
Publication:
. X, 363p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Information Systems Engineering
by Ralyté, Jolita.
Publication:
. XVII, 704p. 235 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Science and Its Applications – ICCSA 2012
by Murgante, Beniamino.
Publication:
. XXI, 759 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Product-Focused Software Process Improvement
by Dieste, Oscar.
Publication:
. XVI, 378p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2012 – Object-Oriented Programming
by Noble, James.
Publication:
. Approx. 780 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Persuasive Technology. Design for Health and Safety
by Bang, Magnus.
Publication:
. Approx. 295 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Model-Driven Engineering
by Bernardo, Marco.
Publication:
. VII, 439 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Service and Application Engineering
by Heisel, Maritta.
Publication:
. Approx. 200 p. 88 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Sirjani, Marjan.
Publication:
. XIV, 277p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed Applications and Interoperable Systems
by Göschka, Karl Michael.
Publication:
. XII, 240p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|