//]]>
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),
Actions: Add to Cart
Programming with Multiple Precision by Nikolaevskaya, Elena. Publication: . XIV, 234p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
IEC 61131-3: Programming Industrial Automation Systems by John, Karl Heinz. Publication: . VI, 390 p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Structures de données et méthodes formelles by Guyomard, Marc. Publication: . XVI, 438 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Finite Elements in Java™ by Nikishkov, Gennadiy. Publication: . XVI, 402p. 72 illus., 5 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ada 2012 Reference Manual. Language and Standard Libraries by Taft, S. Tucker. Publication: . XXVIII, 921 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering Multi-Agent Systems by Cossentino, Massimo. Publication: . XVI, 391 p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Sagonas, Kostis. Publication: . XIV, 261 p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by McMillan, Ken. Publication: . XIV, 794 p. 178 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ada 2012 Rationale by Barnes, John. Publication: . XI, 213 p. 3 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hinze, Ralf. Publication: . X, 241 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Decision Theory by Perny, Patrice. Publication: . XII, 442 p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications of Declarative Programming and Knowledge Management by Tompits, Hans. Publication: . XIII, 365 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Groves, Lindsay. Publication: . XVIII, 466 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages by Bois, André Rauber. Publication: . XVI, 151 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Fontaine, Pascal. Publication: . XII, 359 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Legay, Axel. Publication: . XVII, 426 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>

Languages: 
English |
العربية