Your search returned 909 results.

Sort
Results
821.
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Series: Lecture Notes in Computer Science ; 5014
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.D47 C84 2008.

822.
Information Security and Cryptology - ICISC 2007 [electronic resource] : 10th International Conference, Seoul, Korea, November 29-30, 2007. Proceedings / edited by Kil-Hyun Nam, Gwangsoo Rhee. by Series: Lecture Notes in Computer Science ; 4817
Edition: 1a ed.
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: QA76.9.A25 N36 2007.

823.
824.
The Information Society in an Enlarged Europe [electronic resource] / edited by Soumitra Dutta, Arnoud Meyer, Amit Jain, Gérard Richter. by
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: HN380.Z9 D88 2006.

825.
Advances in Cryptology - EUROCRYPT 2007 [electronic resource] : 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings / edited by Moni Naor. by Series: Lecture Notes in Computer Science ; 4515
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: QA76.9.A25 N36 2007.

826.
Multiagent System Technologies [electronic resource] : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pěchouček. by Series: Lecture Notes in Computer Science ; 5244
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.I58 B47 2008.

827.
Software Process Improvement [electronic resource] : 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings / edited by Ita Richardson, Pekka Abrahamsson, Richard Messnarz. by Series: Lecture Notes in Computer Science ; 3792
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.D47 R53 2005.

828.
Database and Expert Systems Applications [electronic resource] : 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Roland Wagner, Norman Revell, Günther Pernul. by Series: Lecture Notes in Computer Science ; 4653
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: QA76.9.D3 W34 2007 .

829.
Privacy Enhancing Technologies [electronic resource] : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004. Revised Selected Papers / edited by David Martin, Andrei Serjantov. by Series: Lecture Notes in Computer Science ; 3424
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 M37 2005.

830.
Cryptology and Network Security [electronic resource] : 5th International Conference, CANS 2006, Suzhou, China, December 8-10, 2006. Proceedings / edited by David Pointcheval, Yi Mu, Kefei Chen. by Series: Lecture Notes in Computer Science ; 4301
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.A25 P65 2006.

831.
832.
Database and Expert Systems Applications [electronic resource] : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by Kim Viborg Andersen, John Debenham, Roland Wagner. by Series: Lecture Notes in Computer Science ; 3588
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 A53 2005 .

833.
Active Knowledge Modeling of Enterprises [electronic resource] / by Frank Lillehagen, John Krogstie. by
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: HD30.28 L55 2008.

834.
Knowledge Management Systems [electronic resource] : Information and Communication Technologies for Knowledge Management / by Ronald Maier. by
Edition: Third Edition.
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: QA76.9.D3 M35 2007.

835.
Data Integration in the Life Sciences [electronic resource] : Second International Workshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005. Proceedings / edited by Bertram Ludäscher, Louiqa Raschid. by Series: Lecture Notes in Computer Science ; 3615
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: QH324.2 L83 2005 .

836.
837.
Cooperative Design, Visualization, and Engineering [electronic resource] : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 5220
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: TA345 L86 2008.

838.
Context: Nature, Impact, and Role [electronic resource] : 5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4-8, 2005. Proceedings / edited by Fabio Crestani, Ian Ruthven. by Series: Lecture Notes in Computer Science ; 3507
Edition: 1a ed.
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: Z672.5 C74 2005.

839.
Information Security and Cryptology – ICISC 2004 [electronic resource] : 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / edited by Choon-sik Park, Seongtaek Chee. by Series: Lecture Notes in Computer Science ; 3506
Edition: 1a ed.
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 P37 2005.

840.
ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek. by Series: Lecture Notes in Computer Science ; 5142
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.64 V58 2008.

Pages

Powered by Koha