Your search returned 40 results.

Sort
Results
1.
Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings / edited by François Fages, Sylvain Soliman. by Series: Lecture Notes in Computer Science ; 3703
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 F34 2005.

2.
3.
4.
5.
6.
Formal Concept Analysis [electronic resource] : Foundations and Applications / edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille. by Series: Lecture Notes in Computer Science ; 3626
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA171.5 G368 2005.

7.
AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings / edited by Abdul Sattar, Byeong-ho Kang. by Series: Lecture Notes in Computer Science ; 4304
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 S28 2006.

8.
9.
10.
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase. by Series: Lecture Notes in Computer Science ; 4180
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.95 K64 2006.

11.
12.
Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers / edited by F. Acar Savacı. by Series: Lecture Notes in Computer Science ; 3949
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 S28 2006.

13.
Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings / edited by Rokia Missaoui, Jürg Schmidt. by Series: Lecture Notes in Computer Science ; 3874
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA171.5 M57 2006.

14.
15.
16.
AI 2004: Advances in Artificial Intelligence [electronic resource] : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings / edited by Geoffrey I. Webb, Xinghuo Yu. by Series: Lecture Notes in Computer Science ; 3339
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 W43 2005.

17.
Rough Sets and Knowledge Technology [electronic resource] : First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006. Proceedings / edited by Guo-Ying Wang, James F. Peters, Andrzej Skowron, Yiyu Yao. by Series: Lecture Notes in Computer Science ; 4062
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S63 W36 2006.

18.
Database Theory - ICDT 2005 [electronic resource] : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings / edited by Thomas Eiter, Leonid Libkin. by Series: Lecture Notes in Computer Science ; 3363
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 E38 2005 .

19.
AI 2007: Advances in Artificial Intelligence [electronic resource] : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings / edited by Mehmet A. Orgun, John Thornton. by Series: Lecture Notes in Computer Science ; 4830
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 O74 2007.

20.
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 Series: Lecture Notes in Computer Science ; 4394
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.T48 G45 2007.

Pages

Powered by Koha