//]]>
Unhighlight Highlight
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
Verification, Induction, Termination Analysis by Siegler, Simon. Publication: . XI, 145p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . IX, 197p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Qin, Shengchao. Publication: . VIII, 310p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Morazán, Marco T. Publication: . IX, 237p. 107 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modeling – ER 2010 by Parsons, Jeffrey. Publication: . XIV, 490p. 163 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Fermüller, Christian G. Publication: . XII, 656p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multiagent System Technologies by Dix, Jürgen. Publication: . XII, 221p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Hutter, Marcus. Publication: . XIII, 421p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Artificial Intelligence by Janhunen, Tomi. Publication: . XIV, 374p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming – CP 2010 by Cohen, David. Publication: . XX, 650p. 145 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
Evolvable Systems: From Biology to Hardware by Tempesti, Gianluca. Publication: . XII, 394p. 228 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Leavens, Gary T. Publication: . X, 217p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Dix, Jürgen. Publication: . XIV, 257p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Finite-State Methods and Natural Language Processing by Yli-Jyrä, Anssi. Publication: . X, 147p. 44 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Butterfield, Andrew. Publication: . IX, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Gao, Yuan. Publication: . XII, 446p. 48 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 Next >>
Languages: 
English |
العربية