|
|
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),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Higashino, Teruo.
Publication:
. XXIV, 380 p. 86 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),
|
|
|
Interactive Storytelling
by Koenitz, Hartmut.
Publication:
. XII, 288 p. 78 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),
|
|
|
Making India: Colonialism, National Culture, and the Afterlife of Indian English Authority
by Paranjape, Makarand R.
Publication:
. XIII, 265 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Technical Artefacts: Creations of Mind and Matter
by Kroes, Peter.
Publication:
. X, 205 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Capability Approach, Technology and Design
by Oosterlaken, Ilse.
Publication:
. VI, 258p. 12 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Happiness Across Cultures
by Selin, Helaine.
Publication:
. XXIII, 504p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Rise of Post-Hegemonic Regionalism
by Riggirozzi, Pía.
Publication:
. XVIII, 194 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Master of Science History
by Buchwald, Jed Z.
Publication:
. XX, 440 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
“The main Business of natural Philosophy”
by Ducheyne, Steffen.
Publication:
. XXVI, 354 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Drunk on Capitalism. An Interdisciplinary Reflection on Market Economy, Art and Science
by Vanderbeeken, Robrecht.
Publication:
. XXIV, 180 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Treatise on Intuitionistic Type Theory
by Granström, Johan Georg.
Publication:
. XIV, 198 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Religion-State Encounters in Hindu Domains
by Sinha, Vineeta.
Publication:
. XX, 284 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Christianity, Antiquity, and Enlightenment
by Nuovo, Victor.
Publication:
. XX, 276 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Earth
by Brunn, Stanley D.
Publication:
. CC, 2266p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Technical Functions
by Houkes, Wybo.
Publication:
. VIII, 174p.
Availability:
Copies available:
AUM Main Library
(1),
|
|