//]]>
Algorithms and theory of computation handbook :   Publication: Boca Raton, FL : Chapman & Hall/CRC, 2010 . Various paging 27 cm. Date:2010 Availability: Copies available: AUM Main Library (4),
Actions: Add to Cart
Algorithms and theory of computation handbook.   Publication: Boca Raton, FL : Taylor & Francis, 2009 . Various paging 27 cm. Date:2009 Availability: Copies available: AUM Main Library (4),
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
Recent trends in network security and applications : , third international conference, proceedings, CNSA 2010, Chennai, India, July 23-25, 2010 /   Publication: Berlin : Springer, 2010 . xx, 636 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human benefit through the diffusion of information systems design science research : , IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010, proceedings /   Publication: New York : Springer, 2010 . xiii, 349 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Information, physics, and computation / by Mezard, Marc. Publication: Oxford : Oxford University Press, 2009 . xiii, 569 p. : 25 cm. Date:2009 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Bioinspired models of network, information, and computing systems : , 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009 : revised selected papers /   Publication: New York : Springer, 2010 . xii, 202 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A science of operations : , machines, logic and the invention of programming / by Priestley, Mark. Publication: New York : Springer, 2011 . ix, 341p. ; 25 cm. Date:2011 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Innovations in computing sciences and software engineering /   Publication: New York : Springer 2010 . xix, 638 p. : 25 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xvi, 676 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /   Publication: Berlin : Springer, 2010 . x, 283 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /   Publication: Berline : Springer, 2010 . viii, 274 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 240 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /   Publication: Berlin : Springer, 2010 . xi, 280 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in databases and information systems : , associated workshops and doctoral consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009 : revised selected papers /   Publication: New York : Springer, 2010 . xv, 256 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /   Publication: Berlin : Springer, 2010 . xiv, 416 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Information retrieval architecture and algorithms / by Kowalski, Gerald Publication: New York : Springer, 2011 . xii, 305 p. : Date:2011 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical computer science : , lectures given at a summer school of the centro internazionale matematico Estivo (C.I.M.E) held in Bressanon (Bolzano), Italy, June 9-17, 1975 /   Publication: Berlin : Springer, 2011 . 184 p. : Date:2011 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Adaptive multimedia retrieval : , identifying summarizing, and recommending image and Music : 6th International Workshop, AMR, 2008, Berlin, Germany, June 26 -27, 2008 : revised selected papers /   Publication: Berlin : Springer, 2010 . x, 183 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
High performance computing and applications : , International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers /   Publication: New York : Springer, 2010 . xv, 589 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 Next >>

Languages: 
English |
العربية