|
|
181.
|
|
|
|
182.
|
Annotating, Extracting and Reasoning about Time and Events [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers / edited by Frank Schilder, Graham Katz, James Pustejovsky. by Schilder, Frank | Katz, Graham | Pustejovsky, James | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type:  Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.N38 S34 2007 (1).
|
|
|
183.
|
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner | Hermanns, Holger | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.V47 D36 2007 (1).
|
|
|
184.
|
Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / edited by Isabelle Bloch, Alfredo Petrosino, Andrea G. B. Tettamanzi. by Bloch, Isabelle | Petrosino, Alfredo | Tettamanzi, Andrea G. B | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S63 B56 2006 (1).
|
|
|
185.
|
|
|
|
186.
|
Current Topics in Artificial Intelligence [electronic resource] : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers / edited by Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos. by Marín, Roque | Onaindía, Eva | Bugarín, Alberto | Santos, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q334 M37 2006 (1).
|
|
|
187.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by Jürgen Dix, João Leite. by Dix, Jürgen | Leite, João | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.L63 D59 2005 (1).
|
|
|
188.
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings / edited by Petra Perner, Atsushi Imiya. by Perner, Petra | Imiya, Atsushi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q327 P47 2005 (1).
|
|
|
189.
|
|
|
|
190.
|
|
|
|
191.
|
Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / edited by Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli. by Blockeel, Hendrik | Ramon, Jan | Shavlik, Jude | Tadepalli, Prasad | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 B56 2008 (1).
|
|
|
192.
|
Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II / edited by De-Shuang Huang, Kang Li, George William Irwin. by Huang, De-Shuang | Li, Kang | Irwin, George William | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q342 H83 2006 (1).
|
|
|
193.
|
|
|
|
194.
|
Applications of Fuzzy Sets Theory [electronic resource] : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings / edited by Francesco Masulli, Sushmita Mitra, Gabriella Pasi. by Masulli, Francesco | Mitra, Sushmita | Pasi, Gabriella | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.64 M37 2007 (1).
|
|
|
195.
|
|
|
|
196.
|
Logics in Artificial Intelligence [electronic resource] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing. by Hölldobler, Steffen | Lutz, Carsten | Wansing, Heinrich | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q334 H65 2008 (1).
|
|
|
197.
|
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. by Zucker, Jean-Daniel | Saitta, Lorenza | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 Z83 2005 (1).
|
|
|
198.
|
Rough Sets and Current Trends in Computing [electronic resource] : 5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings / edited by Salvatore Greco, Yutaka Hata, Shoji Hirano, Masahiro Inuiguchi, Sadaaki Miyamoto, Hung Son Nguyen, Roman Słowiński. by Greco, Salvatore | Hata, Yutaka | Hirano, Shoji | Inuiguchi, Masahiro | Miyamoto, Sadaaki | Nguyen, Hung Son | Słowiński, Roman | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 G74 2006 (1).
|
|
|
199.
|
Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings / edited by Ian Miguel, Wheeler Ruml. by Miguel, Ian | Ruml, Wheeler | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 M54 2007 (1).
|
|
|
200.
|
Compiler Construction [electronic resource] : 14th International Conference, CC 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 Rastislav Bodik. by Bodik, Rastislav | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C65 B64 2005 (1).
|
