//]]>
Unhighlight Highlight
Formal Modeling and Analysis of Timed Systems by Jurdziński, Marcin. Publication: . X, 267 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Cerro, Luis Fariñas. Publication: . XIV, 498 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages by Carvalho Junior, Francisco Heron. Publication: . IX, 165 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Fraser, Gordon. Publication: . XVI, 293 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rules on the Web: Research and Applications by Bikakis, Antonis. Publication: . XV, 325 p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generic and Indexed Programming by Gibbons, Jeremy. Publication: . VII, 259 p. 24 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Central European Functional Programming School by Zsók, Viktória. Publication: . VII, 533 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trends in Functional Programming by Peña, Ricardo. Publication: . X, 195 p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Muggleton, Stephen H. Publication: . XI, 406 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Dennis, Louise. Publication: . XII, 217 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 251 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXVII, 663 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Progress in VLSI Design and Test by Rahaman, Hafizur. Publication: . XXIV, 408 p. 275 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXVII, 765 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Pankratius, Victor. Publication: . VIII, 95 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2012 – Object-Oriented Programming by Noble, James. Publication: . Approx. 780 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
OpenMP in a Heterogeneous World by Chapman, Barbara M. Publication: . XI, 280p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Experimental Algorithms by Klasing, Ralf. Publication: . XIII, 406p. 116 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية