//]]>
Unhighlight Highlight
Recent Trends in Algebraic Development Techniques by Martí-Oliet, Narciso. Publication: . X, 283 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computation Structures by Pfenning, Frank. Publication: . XXIV, 451 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIV, 580 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Cortellessa, Vittorio. Publication: . XX, 376 p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Felleisen, Matthias. Publication: . XX, 620 p. 162 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Language of Mathematics by Ganesalingam, Mohan. Publication: . XX, 260 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, and Computation by Bezhanishvili, Guram. Publication: . XII, 277 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Piterman, Nir. Publication: . XXIV, 646 p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning and Mathematics by Bonacina, Maria Paola. Publication: . XX, 259 p. 27 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XVI by Peters, James F. Publication: . X, 221 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reversible Computation by Glück, Robert. Publication: . X, 241 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Assurances for Self-Adaptive Systems by Cámara, Javier. Publication: . X, 341 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation by Ayala, José L. Publication: . IX, 258 p. 150 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Czarnecki, Krzysztof. Publication: . XII, 413 p. 172 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Lodaya, Kamal. Publication: . X, 259 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering IV by Lämmel, Ralf. Publication: . XII, 449 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Uncertainty Reasoning for the Semantic Web II by Bobillo, Fernando. Publication: . XVI, 331 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Arumugam, S. Publication: . XII, 303 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore-Challenge III by Keller, Rainer. Publication: . X, 146 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 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 |
العربية