Your search returned 201 results.

101.
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki.

by Yli-Jyrä, Anssi | Karttunen, Lauri | Karhumäki, Juhani | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.N38 Y55 2006 (1).

102.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.T48 G45 2007 (1).

103.
Deterministic and Statistical Methods in Machine Learning [electronic resource] : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures / edited by Joab Winkler, Mahesan Niranjan, Neil Lawrence.

by Winkler, Joab | Niranjan, Mahesan | Lawrence, Neil | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file 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: Q325.5 W56 2005 (1).

104.
Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings / edited by Lou Goble, John-Jules Ch. Meyer.

by Goble, Lou | Meyer, John-Jules Ch | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file 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: Q75.5 G63 2006 (1).

105.
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.

by Degano, Pierpaolo | Nicola, Rocco | Meseguer, José | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: QA276.3 D44 2008 (1).

106.
Constraint Handling Rules [electronic resource] : Current Research Topics / edited by Tom Schrijvers, Thom Frühwirth.

by Schrijvers, Tom | Frühwirth, Thom | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.612 S37 2008 (1).

107.
MICAI 2008: Advances in Artificial Intelligence [electronic resource] : 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings / edited by Alexander Gelbukh, Eduardo F. Morales.

by Gelbukh, Alexander | Morales, Eduardo F | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q334 G45 2008 (1).

108.
Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller.

by Mycroft, Alan | Zeller, Andreas | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C65 M93 2006 (1).

109.
Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra.

by Aguzzoli, Stefano | Ciabattoni, Agata | Gerla, Brunella | Manara, Corrado | Marra, Vincenzo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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.4 A38 2007 (1).

110.
Scalable Uncertainty Management [electronic resource] : First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings / edited by Henri Prade, V. S. Subrahmanian.

by Prade, Henri | Subrahmanian, V. S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: Q375 P73 2007 (1).

111.
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 I / edited by Dominik Ślęzak, Guoyin Wang, Marcin Szczuka, Ivo Düntsch, Yiyu Yao.

by Ślęzak, Dominik | Wang, Guoyin | Szczuka, Marcin | Düntsch, Ivo | Yao, Yiyu | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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 S54 2005 (1).

112.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones.

by Ball, Thomas | Jones, Robert B | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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.76.V47 B35 2006 (1).

113.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov.

by Dershowitz, Nachum | Voronkov, Andrei | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file 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.63 D47 2007 (1).

114.
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers / edited by Balder D. Cate, Henk W. Zeevat.

by Cate, Balder D | Zeevat, Henk W | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file 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.L63 C38 2007 (1).

115.
MICAI 2007: Advances in Artificial Intelligence [electronic resource] : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings / edited by Alexander Gelbukh, Ángel Fernando Kuri Morales.

by Gelbukh, Alexander | Kuri Morales, Ángel Fernando | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: Q334 G45 2007 (1).

116.
Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill.

by Hill, Patricia M | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 H55 2006 (1).

117.
Advances in Machine Learning and Cybernetics [electronic resource] : 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers / edited by Daniel S. Yeung, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan.

by Yeung, Daniel S | Liu, Zhi-Qiang | Wang, Xi-Zhao | Yan, Hong | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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: Q325.5 Y48 2006 (1).

118.
Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / edited by Andy King.

by King, Andy | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 K56 2008 (1).

119.
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / edited by De-Shuang Huang, Donald C. Wunsch, Daniel S. Levine, Kang-Hyun Jo.

by Huang, De-Shuang | Wunsch, Donald C | Levine, Daniel S | Jo, Kang-Hyun | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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 H83 2008 (1).

120.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti.

by Olivetti, Nicola | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file 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.A96 O45 2007 (1).

Powered by Koha