Your search returned 2103 results.

Sort
Results
801.
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang. by Series: Lecture Notes in Computer Science ; 3763
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: QA448.D38 H66 2006.

802.
803.
Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / edited by Karen Yorav. by Series: Lecture Notes in Computer Science ; 4899
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: QA76.76.V47 y67 2008.

804.
Probabilistic Inductive Logic Programming [electronic resource] : Theory and Applications / edited by Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton. by Series: Lecture Notes in Computer Science ; 4911
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.63 R34 2008.

805.
806.
807.
808.
809.
Public Key Infrastructure [electronic resource] : Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers / edited by David Chadwick, Gansen Zhao. by Series: Lecture Notes in Computer Science ; 3545
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.A25 C43 2005 .

810.
811.
Transactions on Computational Science I [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Series: Lecture Notes in Computer Science ; 4750
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: Q183.9 G38 2008.

812.
813.
814.
815.
816.
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings / edited by Jérôme Euzenat, John Domingue. by Series: Lecture Notes in Computer Science ; 4183
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 E99 2006.

817.
Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings / edited by Florian Hess, Sebastian Pauli, Michael Pohst. by Series: Lecture Notes in Computer Science ; 4076
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: QA241 H47 2006.

818.
819.
Image Analysis [electronic resource] : 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005. Proceedings / edited by Heikki Kalviainen, Jussi Parkkinen, Arto Kaarna. by Series: Lecture Notes in Computer Science ; 3540
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: TA1637 K35 2005.

820.
Spatial Coherence for Visual Motion Analysis [electronic resource] : First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers / edited by W. James MacLean. by Series: Lecture Notes in Computer Science ; 3667
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: TA1634 M33 2006.

Pages

Powered by Koha