//]]>
Unhighlight Highlight
Hardware and Software: Verification and Testing by Barner, Sharon. Publication: . X, 197p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in Constraints by Larrosa, Javier. Publication: . VII, 155 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on High-Performance Embedded Architectures and Compilers III by Stenström, Per. Publication: . XIV, 299p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Malloy, Brian. Publication: . XI, 417 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rainbow of Computer Science by Calude, Cristian S. Publication: . XII, 285p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Namjoshi, Kedar. Publication: . X, 169 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering X by Gleizes, Marie-Pierre. Publication: . XII, 229p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Internet Technology by Natarajan, Raja. Publication: . XIII, 325p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Rocha, Ricardo. Publication: . VIII, 265p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Jhala, Ranjit. Publication: . XI, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Domaratzki, Michael. Publication: . XII, 332p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 199p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Banerjee, Mohua. Publication: . X, 219p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering III by Fernandes, João M. Publication: . X, 499 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Methodology and Software Technology by Johnson, Michael. Publication: . X, 238p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation by Leuken, René. Publication: . XII, 260p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Central European Functional Programming School by Horváth, Zoltán. Publication: . IX, 391p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service Research Challenges and Solutions for the Future Internet by Papazoglou, Mike P. Publication: . XVIII, 374p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Clarke, Edmund M. Publication: . X, 517p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Transformations and Model-Driven Engineering by Engels, Gregor. Publication: . XIV, 768p. 328 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Next >>
Languages: 
English |
العربية