|
|
Proceedings of the FISITA 2012 World Automotive Congress
Publication:
. XIII, 768 p. 576 illus., 373 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming with Multiple Precision
by Nikolaevskaya, Elena.
Publication:
. XIV, 234p. 21 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Soft Computing Methods for Microwave and Millimeter-Wave Design Problems
by Chauhan, Narendra.
Publication:
. XIV, 114p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
IEC 61131-3: Programming Industrial Automation Systems
by John, Karl Heinz.
Publication:
. VI, 390 p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Structures de données et méthodes formelles
by Guyomard, Marc.
Publication:
. XVI, 438 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Finite Elements in Java™
by Nikishkov, Gennadiy.
Publication:
. XVI, 402p. 72 illus., 5 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Reference Manual. Language and Standard Libraries
by Taft, S. Tucker.
Publication:
. XXVIII, 921 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering Multi-Agent Systems
by Cossentino, Massimo.
Publication:
. XVI, 391 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Sagonas, Kostis.
Publication:
. XIV, 261 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Rationale
by Barnes, John.
Publication:
. XI, 213 p. 3 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hinze, Ralf.
Publication:
. X, 241 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Decision Theory
by Perny, Patrice.
Publication:
. XII, 442 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Declarative Programming and Knowledge Management
by Tompits, Hans.
Publication:
. XIII, 365 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Groves, Lindsay.
Publication:
. XVIII, 466 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages
by Bois, André Rauber.
Publication:
. XVI, 151 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators
by Rendell, Alistair P.
Publication:
. X, 201 p. 80 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Cabalar, Pedro.
Publication:
. XVIII, 570 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|