Results
|
|
441.
|
|
|
|
442.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by Natarajan Shankar, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 5295
Material type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
443.
|
|
|
|
444.
|
|
|
|
445.
|
|
|
|
446.
|
|
|
|
447.
|
|
|
|
448.
|
Hybrid Metaheuristics [electronic resource] : Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings / edited by María J. Blesa, Christian Blum, Andrea Roli, Michael Sampels. by Series: Lecture Notes in Computer Science ; 3636
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: T57.84 B54 2005.
|
|
|
449.
|
|
|
|
450.
|
Human-Computer Interaction – INTERACT 2007 [electronic resource] : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II / edited by Cécilia Baranauskas, Philippe Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa. by Series: Lecture Notes in Computer Science ; 4663
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: QA76.9.H85 B37 2007.
|
|
|
451.
|
|
|
|
452.
|
|
|
|
453.
|
Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / edited by Carol Peters, Fredric C. Gey, Julio Gonzalo, Henning Müller, Gareth J. F. Jones, Michael Kluck, Bernardo Magnini, Maarten Rijke. by Series: Lecture Notes in Computer Science ; 4022
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: Z667.5 P48 2006.
|
|
|
454.
|
From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / edited by Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani. by Series: Lecture Notes in Computer Science ; 5040
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: QL751.65.S55 A83 2008.
|
|
|
455.
|
|
|
|
456.
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II / edited by Dominik Ślęzak, JingTao Yao, James F. Peters, Wojciech Ziarko, Xiaohua Hu. by Series: Lecture Notes in Computer Science ; 3642
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 S54 2005.
|
|
|
457.
|
|
|
|
458.
|
|
|
|
459.
|
|
|
|
460.
|
|