|
|
| |
Automated deduction, CADE-20 : , 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xiii, 457 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Correct hardware design and verification methods : , 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings /
Publication:
Berlin ; | New York : Springer, 2005
. xii, 412 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Advances in natural computation : , first international conference, ICNC 2005, Changsha, China, August 27-29, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. lxi, 1326 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Computational mechanics of the classical guitar /
by Bader, Rolf,
Publication:
Berlin : Springer, 2005
. xvi, 182 p. :
25 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Knowledge-based intelligent information and engineering systems : , 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. lxxix, 1371 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Innovations in applied artificial intelligence : , 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24,2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xx, 858 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Communications and multimedia security : , 9th IFIP TC-6 TC-11 international conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, proceedings /
Publication:
Berlin : Springer, 2005
. xiii, 360 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Advanced data mining and applications : , first international conference, ADMA 2005, Wuhan, China, July 22-24, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xix, 835 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /
Publication:
New York, NY : Springer, 2005
. xiii, 348 p.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Computer analysis of images and patterns : , 11th international conference, CAIP 2005, Versailles, France, September 5-8, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xix, 865 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Information retrieval technology : , Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xvii, 735 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Advances in web intelligence : , Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xvii, 513 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Network and parallel computing : , IFIP international conference, NPC 2005, Beijing, China, November 30 - December 3, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xv, 513 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Audio- and video-based biometric person authentication : , 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xx, 1134 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Functional imaging and modeling of the heart : , Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xv, 489 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Nuclear medicine technology : , review questions for the board examinations /
by Ramer, Karen,
Publication:
Berlin : Springer, 2005
. 179 p. :
19 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Cataract and refractive surgery /
Publication:
Berlin : Springer Verlag Berlin Heidelberg, 2005
. xvii, 323 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Nonlinear optics : , basic concepts /
by Mills, D. L.
Publication:
New York : Springer, 1998
. xi, 263 p. :
24 cm.
Date:1998
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Engineering human computer interaction and interactive systems : , Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004 : revised selected papers /
Publication:
Berlin : Springer, 2005
. xii, 400 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Many-valued logics /
by Bolc, Leonard,
Publication:
New York : Springer-Verlag, 1992
. 2 v. :
24 cm.
Date:1992
Availability:
Copies available:
AUM Main Library
(3),
|
|
