Your search returned 754 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
Diagrammatic Representation and Inference [electronic resource] : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings / edited by Gem Stapleton, John Howse, John Lee. by Series: Lecture Notes in Computer Science ; 5223
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA90 S73 2008.

Place hold Add to cart
182.
183.
184.
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.

Place hold Add to cart
185.
186.
Advances in Web Based Learning – ICWL 2007 [electronic resource] : 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers / edited by Howard Leung, Frederick Li, Rynson Lau, Qing Li. by Series: Lecture Notes in Computer Science ; 4823
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1044.87 L48 2008.

Place hold Add to cart
187.
188.
189.
Knowledge Engineering: Practice and Patterns [electronic resource] : 16th International Conference, EKAW 2008, Acitrezza, Italy, September 29 - October 2, 2008. Proceedings / edited by Aldo Gangemi, Jérôme Euzenat. by Series: Lecture Notes in Computer Science ; 5268
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.E95 G36 2008.

Place hold Add to cart
190.
191.
192.
Agents and Peer-to-Peer Computing [electronic resource] : Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers / edited by Gianluca Moro, Claudio Sartori, Munindar P. Singh. by Series: Lecture Notes in Computer Science ; 2872
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: TK5105.525 M67 2005.

Place hold Add to cart
193.
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Don Harris. by Series: Lecture Notes in Computer Science ; 4562
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: TA166 H37 2007.

Place hold Add to cart
194.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
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.A96 H88 2005.

Place hold Add to cart
195.
196.
Semantic Web Services and Web Process Composition [electronic resource] : First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers / edited by Jorge Cardoso, Amit Sheth. by Series: Lecture Notes in Computer Science ; 3387
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: TK5105.88815 C37 2005.

Place hold Add to cart
197.
Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings / edited by Peter Beek. by Series: Lecture Notes in Computer Science ; 3709
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.64 B44 2005.

Place hold Add to cart
198.
199.
Modeling Decisions for Artificial Intelligence [electronic resource] : 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Yuji Yoshida. by Series: Lecture Notes in Computer Science ; 4617
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 T67 2007.

Place hold Add to cart
200.
Pages

Powered by Koha