//]]>
Unhighlight Highlight
Formal Methods for Industrial Critical Systems by Salaün, Gwen. Publication: . X, 261 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Bultan, Tevfik. Publication: . XIV, 532 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Fahrenberg, Uli. Publication: . XI, 353 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Delzanno, Giorgio. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hage, Jurriaan. Publication: . X, 217 p. 29 illus., 4 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Architecture by Crnkovic, Ivica. Publication: . XV, 448p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2011 by Lee, Jimmy. Publication: . XXIV, 836p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Yahav, Eran. Publication: . XII, 387 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011 Parallel Processing by Jeannot, Emmanuel. Publication: . XXXIII, 598p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011 Parallel Processing by Jeannot, Emmanuel. Publication: . Approx. 490 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2011 – Concurrency Theory by Katoen, Joost-Pieter. Publication: . XIV, 560p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Security Analysis and Design VI by Aldini, Alessandro. Publication: . VII, 275p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trends in Functional Programming by Page, Rex. Publication: . X, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Eekelen, Marko. Publication: . XI, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2011 – Object-Oriented Programming by Mezini, Mira. Publication: . XIV, 660p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering XI by Weyns, Danny. Publication: . X, 249 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Kuchen, Herbert. Publication: . VII, 157 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering Techniques by Huzar, Zbigniew. Publication: . XI, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XV, 383 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Groce, Alex. Publication: . X, 195p. 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 |
العربية