Your search returned 169 results.

Sort
Results
61.
Field-Based Coordination for Pervasive Multiagent Systems [electronic resource] / by Marco Mamei, Franco Zambonelli. by Series: Springer Series in Agent Technology
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.76.I58 M36 2006.

62.
63.
64.
65.
66.
Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings / edited by Jean-Marie Jacquet, Gian Pietro Picco. by Series: Lecture Notes in Computer Science ; 3454
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.58 J33 2005.

67.
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.

68.
69.
70.
71.
Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by Series: Lecture Notes in Computer Science ; 4524
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: TK5105.88815 M37 2007.

72.
Active Conceptual Modeling of Learning [electronic resource] : Next Generation Learning-Base System Development / edited by Peter P. Chen, Leah Y. Wong. by Series: Lecture Notes in Computer Science ; 4512
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: Q325.5 C46 2007.

73.
74.
Advanced Data Mining and Applications [electronic resource] : Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings / edited by Xue Li, Osmar R. Zaïane, Zhan-huai Li. by Series: Lecture Notes in Computer Science ; 4093
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.D343 L5 2006.

75.
76.
Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham. by Series: Lecture Notes in Computer Science ; 3603
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

77.
Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / edited by Jörg P. Müller, Franco Zambonelli. by Series: Lecture Notes in Computer Science ; 3950
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.758 M85 2006.

78.
79.
80.
Developing Ambient Intelligence [electronic resource] : Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06) / by Antonio Maña, Volkmar Lotz. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Paris : Springer-Verlag France, Paris, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A48 M36 2006.

Pages

Powered by Koha