|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Shan, Chung-chieh.
Publication:
. X, 381 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Bertacco, Valeria.
Publication:
. XX, 366 p. 147 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Erwig, Martin.
Publication:
. XII, 385 p. 156 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Instruction Sequences for Computer Science
by Bergstra, Jan A.
Publication:
. XVI, 229 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in Algorithmic Differentiation
by Forth, Shaun.
Publication:
. XVII, 361 p. 89 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Tiny Handbook of R
by Allerhand, Mike.
Publication:
. IX, 83p. 10 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematica®: A Problem-Centered Approach
by Hazrat, Roozbeh.
Publication:
. XX, 180p. 63 illus., 50 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The R Software
by Lafaye de Micheaux, Pierre.
Publication:
. XXXVII, 628 p. 50 illus., 41 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bayesian Networks in R
by Nagarajan, Radhakrishnan.
Publication:
. XIII, 157 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Handbook of Floating-Point Arithmetic
by Muller, Jean-Michel.
Publication:
. XXIV, 572 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Using Microsoft Dynamics AX 2012
by Luszczak, Andreas.
Publication:
. XIII, 403 p. 189 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Filipe, Joaquim.
Publication:
. X, 257 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Evaluation of Novel Approaches to Software Engineering
by Maciaszek, Leszek A.
Publication:
. X, 173 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software and Data Technologies
by Cordeiro, José.
Publication:
. XII, 219 p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Learning C# by Programming Games
by Egges, Arjan.
Publication:
. XXII, 443 p. 97 illus., 30 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software and Data Technologies
by Escalona, María José.
Publication:
. XII, 287 p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XIV, 245 p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|