//]]>
Unhighlight Highlight
Ubiquitous Information Technologies and Applications by Han, Youn-Hee. Publication: . XIV, 914 p. 404 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems by Lokuciejewski, Paul. Publication: . XVIII, 262 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s by Borrione, Dominique. Publication: . VIII, 248 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dynamically Reconfigurable Systems by Platzner, Marco. Publication: . XXV, 300p. 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
Advanced Parallel Processing Technologies by Wu, Chenggang. Publication: . XII, 410 p. 187 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
Testing Software and Systems by Yenigün, Hüsnü. Publication: . XIV, 291 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
In Search of Elegance in the Theory and Practice of Computation by Tannen, Val. Publication: . XII, 569 p. 121 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
Constraint Solving and Language Processing by Duchier, Denys. Publication: . XII, 179 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Driven Engineering Languages and Systems by Moreira, Ana. Publication: . XXVIII, 792 p. 299 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
Reachability Problems by Abdulla, Parosh Aziz. Publication: . XII, 223 p. 60 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
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
Principles and Practice of Constraint Programming by Schulte, Christian. Publication: . XVIII, 898 p. 226 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>