Results
|
|
1381.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 3440
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 H35 2005.
|
|
|
1382.
|
|
|
|
1383.
|
|
|
|
1384.
|
|
|
|
1385.
|
|
|
|
1386.
|
|
|
|
1387.
|
Information Retrieval Technology [electronic resource] : Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005. Proceedings / edited by Gary Geunbae Lee, Akio Yamada, Helen Meng, Sung Hyon Myaeng. by Series: Lecture Notes in Computer Science ; 3689
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Z699.A1 L44 2005.
|
|
|
1388.
|
|
|
|
1389.
|
Software Process and Product Measurement [electronic resource] : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers / edited by Juan J. Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran. by Series: Lecture Notes in Computer Science ; 4895
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.S65 C83 2008.
|
|
|
1390.
|
|
|
|
1391.
|
|
|
|
1392.
|
Advances in Case-Based Reasoning [electronic resource] : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings / edited by Klaus-Dieter Althoff, Ralph Bergmann, Mirjam Minor, Alexandre Hanft. by Series: Lecture Notes in Computer Science ; 5239
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.E95 A48 2008.
|
|
|
1393.
|
Digital Mammography [electronic resource] : 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006. Proceedings / edited by Susan M. Astley, Michael Brady, Chris Rose, Reyer Zwiggelaar. by Series: Lecture Notes in Computer Science ; 4046
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: RG493.5.R33 A88 2006.
|
|
|
1394.
|
Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings / edited by Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence T. Yang, Sung Won Kim. by Series: Lecture Notes in Computer Science ; 4523
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 L44 2007.
|
|
|
1395.
|
|
|
|
1396.
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings / edited by Alan L. Yuille, Song-Chun Zhu, Daniel Cremers, Yongtian Wang. by Series: Lecture Notes in Computer Science ; 4679
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1634 Y85 2007.
|
|
|
1397.
|
|
|
|
1398.
|
Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007. Proceedings / edited by Jörg M. Haake, Sergio F. Ochoa, Alejandra Cechich. by Series: Lecture Notes in Computer Science ; 4715
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1028.43 H33 2007.
|
|
|
1399.
|
|
|
|
1400.
|
Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings / edited by Ngoc Thanh Nguyen, Geun Sik Jo, Robert J. Howlett, Lakhmi C. Jain. by Series: Lecture Notes in Computer Science ; 4953
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 N48 2008.
|