//]]>
Fundamental Approaches to Software Engineering by Rosenblum, David S. Publication: . XIII, 383p. 127 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Esparza, Javier. Publication: . XVI, 468p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Gupta, Rajiv. Publication: . XII, 326p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Gordon, Andrew D. Publication: . XV, 632p. 189 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Approaches and Applications of Inductive Programming by Schmid, Ute. Publication: . IX, 195p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Wireless Sensor Networks by Silva, Jorge Sá. Publication: . XIII, 340p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XIII, 471p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Carro, Manuel. Publication: . XI, 297p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Pnueli, Amir. Publication: . XIII, 426 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Barthe, Gilles. Publication: . X, 397p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2010: Theory and Practice of Computer Science by Leeuwen, Jan. Publication: . XV, 780 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Hung, Dang. Publication: . XIV, 528 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Code Generation with Templates by Arnoldus, Jeroen. Publication: . IX, 204 p. 100 illus., 2 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Primer on Scientific Programming with Python by Langtangen, Hans Petter. Publication: . XXXII, 798 p. 79 illus., 30 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Primer on Scientific Programming with Python by Langtangen, Hans Petter. Publication: . XXX, 706p. 72 illus., 28 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Cinderella.2 Manual by Richter-Gebert, Jürgen. Publication: . XIV, 458p. 377 illus., 300 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Programming by Shen, Alexander. Publication: . XII, 272 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Introduction to Programming Concepts with Case Studies in Python by Üçoluk, Göktürk. Publication: . X, 221 p. 86 illus., 61 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Algorithms for Message-Passing Systems by Raynal, Michel. Publication: . XXXI, 500 p. 198 illus., 106 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Programming by Rauber, Thomas. Publication: . XIII, 516 p. 178 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية