|
|
| |
Logic based program synthesis and transformation : , 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
Publication:
Berlin ; | New York : Springer, 2005
. viii, 277 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Fuzzy systems and knowledge discovery : , second international conference, FSKD 2005, Changsha, China, August 27-29, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xli, 1314 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
No cover image available
|
| |
Intelligent data engineering and automated learning--IDEAL 2005 : , 6th international conference, Brisbane, Australia, July 6-8, 2005 : proceedings /
Publication:
Berlin ; Springer, 2005
. xvi, 599 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Formal methods for open object-based distributed systems : , 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
Publication:
Berlin ; Springer, 2005
. x, 321 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Case-based reasoning research and development : , 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xv, 651 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Machine learning and data mining in pattern recognition : , 4th international conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xvii, 695 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Intelligent virtual agents : , 5th international working conference, IVA 2005, Kos, Greece, September 12-14, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xiii, 506 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Extreme programming and agile processes in software engineering : , 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 ; proceedings /
Publication:
Berlin : Springer, 2005
. xiv, 332 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
