|
|
Logical Tools for Handling Change in Agent-Based Systems
by Gabbay, Dov M.
Publication:
. X, 305p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cognitive Reasoning
by Gergely, Tamás.
Publication:
. X, 437p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
From Linear Operators to Computational Biology
by Davis, Martin.
Publication:
. XI, 208 p. 16 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Belief Revision in Non-Classical Logics
by Ribeiro, Márcio Moretto.
Publication:
. XI, 120 p. 5 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Logic for Computer Science
by Ben-Ari, Mordechai.
Publication:
. XV, 346 p. 79 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The P=NP Question and Gödel’s Lost Letter
by Lipton, Richard J.
Publication:
. XIII, 239p. 20 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Drought in Arid and Semi-Arid Regions
by Schwabe, Kurt.
Publication:
. XXI, 507 p. 99 illus., 31 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Geotechnical Predictions and Practice in Dealing with Geohazards
by Chu, Jian.
Publication:
. XXIII, 394 p. 343 illus., 147 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Land Subsidence Analysis in Urban Areas
by Zeitoun, David G.
Publication:
. XVIII, 307 p. 113 illus., 14 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Special Topics in Earthquake Geotechnical Engineering
by Sakr, Mohamed A.
Publication:
. XIII, 356p. 330 illus., 184 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hydrologic Time Series Analysis: Theory and Practice
by Machiwal, Deepesh.
Publication:
. X, 280p. 34 illus., 16 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Soil Dynamics
by Srbulov, Milutin.
Publication:
. XXII, 266 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Earthquake Data in Engineering Seismology
by Akkar, Sinan.
Publication:
. XVI, 276 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Earthquake Engineering in Europe
by Garevski, Mihail.
Publication:
. XVI, 568p. 200 illus., 140 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ground Vibration Engineering
by Srbulov, Milutin.
Publication:
. XVIII, 233 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Numerical Modeling in Open Channel Hydraulics
by Szymkiewicz, Romuald.
Publication:
. X, 370p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inside Risk: A Strategy for Sustainable Risk Mitigation
by Menoni, Scira.
Publication:
. XII, 369 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distribution and Transformation of Nutrients and Eutrophication in Large-scale Lakes and Reservoirs
by Shen, Zhenyao.
Publication:
. IX, 183 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multi-Component Acoustic Characterization of Porous Media
by van Dalen, Karel N.
Publication:
. XIX, 170 p. 55 illus., 17 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Frontiers in Engineering Geology and the Environment
by Huang, Yu.
Publication:
. XI, 293 p. 282 illus., 140 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|