Results
|
|
201.
|
|
|
|
202.
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero. by
- Rothlauf, Franz
- Branke, Jürgen
- Cagnoni, Stefano
- Corne, David Wolfe
- Drechsler, Rolf
- Jin, Yaochu
- Machado, Penousal
- Marchiori, Elena
- Romero, Juan
- Smith, George D
- Squillero, Giovanni
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 3449
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.618 R68 2005.
|
|
|
203.
|
|
|
|
204.
|
|
|
|
205.
|
|
|
|
206.
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Series: Lecture Notes in Computer Science ; 3662
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.63 B37 2005.
|
|
|
207.
|
|
|
|
208.
|
|
|
|
209.
|
|
|
|
210.
|
|
|
|
211.
|
|
|
|
212.
|
|
|
|
213.
|
|
|
|
214.
|
|
|
|
215.
|
|
|
|
216.
|
|
|
|
217.
|
Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad. by Series: Lecture Notes in Computer Science ; 4455
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.63 M84 2007.
|
|
|
218.
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf. by Series: Lecture Notes in Computer Science ; 4483
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.63 B37 2007.
|
|
|
219.
|
|
|
|
220.
|
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.
|