//]]>
Unhighlight Highlight
Handbook of mathematical induction : , theory and applications / by Gunderson, David S. Publication: Boca Raton, FL : CRC Press, 2011 . xxv, 893 p. : 27 cm. Date:2011 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices by Czerwinski, Robert. Publication: . XVI, 172 p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Béal, Marie-Pierre. Publication: . XIV, 460 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies VIII by Omicini, Andrea. Publication: . X, 205 p. 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
CONCUR 2010 - Concurrency Theory by Gastin, Paul. Publication: . XIII, 600p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Towards a General Theory of Classifications by Parrochia, Daniel. Publication: . XXIII, 304 p. 72 illus., 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reading, Writing, and Proving by Daepp, Ulrich. Publication: . XIV, 378 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Concise Introduction to Mathematical Logic by Rautenberg, Wolfgang. Publication: . XXI, 319p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematical Experience, Study Edition by Davis, Philip J. Publication: . XXV, 500p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ontology Matching by Euzenat, Jérôme. Publication: . XVII, 511 p. 103 illus., 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: State of the Art and New Directions by Boca, Paul. Publication: . XXVI, 273 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba by Subrahmanian, V.S. Publication: . XIV, 231 p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Logic for Computer Science by Ben-Ari, Mordechai. Publication: . XV, 346 p. 79 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية