//]]>
Unhighlight Highlight
Model Checking and Artificial Intelligence by Meyden, Ron. Publication: . XI, 131 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Valtchev, Petko. Publication: . XII, 267 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Grammar by Groote, Philippe. Publication: . VIII, 215 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Cooperation, and Life by Kelemen, Jozef. Publication: . XII, 217p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Knoop, Jens. Publication: . XII, 307p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Davies, Jim. Publication: . VIII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Hofmann, Martin. Publication: . XV, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Algorithms in (Computer) Systems by Marchetti-Spaccamela, Alberto. Publication: . X, 266 p. 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
Rainbow of Computer Science by Calude, Cristian S. Publication: . XII, 285p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ludics, Dialogue and Interaction by Lecomte, Alain. Publication: . XIII, 221p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Vagueness in Communication by Nouwen, Rick. Publication: . VII, 207p. 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
Membrane Computing by Gheorghe, Marian. Publication: . IX, 393p. 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
Language, Games, and Evolution by Benz, Anton. Publication: . VII, 189p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Next >>
Languages: 
English |
العربية