Theoretical computer science : , 6th IFIP WG 2.2 international conference, TCS 2010, held as a part of WCC 2010, Brisbane, Australia, September 20-23, 2010. proceedings /   Publication: New York : Springer, 2010 . 385 p. ; 24 cm. Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Advanced techniques in computing sciences and software engineering /   Publication: Dordrecht : Springer, 2010 . [xx], 599 p. : 27 cm. Date:2010 Availability: Copies available: AUM Main Library (3),
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
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
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
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /   Publication: Berlin : Springer, 2010 . xii, 230 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xiii, 492 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2010 : , Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Å Pindleruv Mlýn, Czech Republic, January 23-29, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xv, 780 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing and combinatorics : , 16th annual international conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /   Publication: Berlin ; | New York : Springer, 2010 . xiii, 542 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of program construction : , 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008, proceedings /   Publication: Berlin : Springer, 2010 . x, 421 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-oriented computing. ICSOC/ServiceWave 2009 Workshops : , International Workshops, ICSOC/Servicewave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers /   Publication: Berlin : Springer, 2010 . xxxiv, 583 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evolvable systems : , from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /   Publication: Heidelberg : Springer, 2010 . xii, 394 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and practice of constraint programming - CP 2010 : , 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceeded /   Publication: Berlin : Springer, 2010 . xx, 660 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, models, components, patterns : , 48th International Conference, Tools 2010, M Laga, Spain, June 28 - July 2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 309 p. : 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
Web reasoning and rule systems : , fourth international conference, RR 2010, bressanone/brixen, Italy, September 22-24, 2010. proceedings /   Publication: Berlin : Springer, 2010 . xiii, 257 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 Next >>