|
|
Cooperative design, visualization, and engineering : 7th international conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xii, 302 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Euro-Par 2009, parallel processing - workshops : , HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, workshops /
Publication:
Berlin : Springer, 2010
. xix, 468 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
Multiple access communications : , third international workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 286 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Data warehousing and knowledge discovery : , 12th International Conference, DaWaK 2010, Bilbao, Spain, August / September 2010, proceedings /
Publication:
New York : | Springer, | 2010.
. xiii, 335 p. :
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
PRICAI 2010 : , trends in artificial intelligence: 11th Pacific Rm International Conference on Artificial Intelligence, Daegu, Korea, August 30- September 2, 2010 : Proceedings /
Publication:
New York : Springer, 2010
. xviii, 715 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Theoretical aspects of computing-- ICTAC 2010 : , 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings /
Publication:
New York : Springer, 2010
. xiii, 396 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Software engineering research, management and applications /
Publication:
Berlin : Springer, 2009
. xvi, 306 p. :
Date:2009
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Advances in databases and information systems : , 14th East European Conference, ADBIS 2010 Novi Sad, Serbia, September 20-24, 2010 : proceedings /
Publication:
Berlin : Springer, 2010
. xv, 600 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Constructive aspects of functional Aanalysis : , lectures given at the Centro Internalization Matematico Estivo (C. I. M. E. ) held in Erice (Trapani), Italy, June 27-July 7 1971 /
Publication:
Berlin : Springer, 2011
. 853 p. :
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Active media technology : , 6th international conference, AMT 2010, Toronto, Canada, August 28-30, 2010 : proceedings /
Publication:
Berlin ; | New York : Springer, 2010
. xvi, 548 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
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),
|
|
|
Advances In Swarm Intelligence : , First International Conference ICCI 2010 Beijin, china, June 12-15, 2010 : proceedings part 1 /
Publication:
New York : Springer, 2010
. xxvi, 746 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
The semantic web : , research and applications 7th extended semantic web conference, ESWC 2010 Heraklion, Crete, Greece, May 30, 2010 proceedings, Part II /
Publication:
New York : Springer, 2010
. V. 2, (528) p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High performance computing systems and applications : 23rd International Symposium, HPCS 2009 , Kingston, ON, Canada, June 14-17, 2009 : Revised Selected Papers /
Publication:
New York : Springer, 2010
. xiii, 418 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|