//]]>
Unhighlight Highlight
Coordination Models and Languages by Sirjani, Marjan. Publication: . XIV, 277p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Giese, Holger. Publication: . XIII, 269p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Li, Ruixuan. Publication: . XIII, 370p. 117 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Correct Reasoning by Erdem, Esra. Publication: . XI, 594p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Derrick, John. Publication: . XII, 360p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dependable Networks and Services by Sadre, Ramin. Publication: . XIII, 161 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies – Ada-Europe 2012 by Brorsson, Mats. Publication: . XII, 220p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Gschwind, Thomas. Publication: . XII, 195p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Furia, Carlo A. Publication: . XI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Brucker, Achim D. Publication: . X, 177p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Khurshid, Sarfraz. Publication: . XII, 458 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Large-Scale Scientific Computing by Lirkov, Ivan. Publication: . XIV, 681 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Schrijvers, Tom. Publication: . X, 333 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011: Parallel Processing Workshops by Alexander, Michael. Publication: . XXX, 480 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011: Parallel Processing Workshops by Alexander, Michael. Publication: . XXIX, 524p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Clarke, Edmund. Publication: . XIV, 411 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Program Semantics by Constable, Robert L. Publication: . XIII, 357 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Structures for Knowledge Representation and Reasoning by Croitoru, Madalina. Publication: . VII, 209 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XII, 377 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications of Evolutionary Computation by Chio, Cecilia. Publication: . XXV, 542p. 174 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 |
العربية