//]]>
A 25-Year Perspective on Logic Programming : , achievements of the Italian Association for Logic Programming, Gulp /   Publication: Boston, MA : McGraw-Hill, 2010 . xiv, 328 p. : Date:2010 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Logics in artificial intelligence : , 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /   Publication: Berlin : | New York : 2010 . xiii, 372 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Current topics in artificial intelligence : , 13th conference of the Spanish Association for Artificial Intelligence, Caepia 2009, Sevilla, Spain, November 9-13, 2009. selected papers /   Publication: New York : Springer, 2010 . 302 p. Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Algorithm engineering : , bridging the gap between algorithm theory and practice /   Publication: New York : Springer, 2010 . 513 p. Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /   Publication: New York : Springer, 2010 . x, 375 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced lectures on software engineering : , LASER summer school 2007/2008 /   Publication: Berlin : Springer, 2010 . 187 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Search computing : , challenges and directions /   Publication: Berlin : Springer, 2010 . x, 319 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing techniques in software engineering : , second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /   Publication: Berlin : Springer, 2010 . viii, 312 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-based engineering of embedded real-time systems: , International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers /   Publication: Berlin : Springer, 2010 . xv, 384 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A common case study for aspect-oriented modeling /   Publication: Berlin : Springer, 2010 . xi, 422 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
No cover image available
Advances in multimedia information processing-- PCM 2010 : , 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010 : proceedings /   Publication: Berlin : Springer, 2010 . part. 2 : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
CONCUR 2010 - Concurrency Theory : , 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xiii, 600 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in conceptual modeling, applications and challenges : , Er 2010 Workshops Acm-l, Cmlsa, Cms, De@er, Fp-uml, Secogis, Wism, Vancouver, Bc, Canada, November 1-4, 2010, proceeding /   Publication: Berlin : Springer, 2010 . xvi, 296 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reconfigurable computing : , Architectures, Tools, and Applications, 5th International Workshop, Arc 2009, Karlsruhe, Germany, March 16-18, 2009, proceedings /   Publication: Berlin : Springer, 2009 . xv, 388 p. : Date:2009 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms - ESA 2010 : , 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings, Part I /   Publication: Berlin : Springer, 2010 . xviii, 587 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecting critical systems : , First International Symposium, Isarcs 2010, Prague, Czech Republic, June 23-25, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 192 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Incentives, overlays, and economic traffic control : , third international workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010 : proceedings /   Publication: Berlin ; | New York : Springer, 2010 . x, 108 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data management in grid and peer-to-peer systems : , Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 159 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web services and formal methods : , 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers /   Publication: Berlin : Springer, 2010 . 195 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and practice of model transformations : , Third International Conference, Icmt 2010, Malaga, Spain, June 28-July 2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 275 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>

Languages: 
English |
العربية