Your search returned 766 results.

Sort
Results
241.
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran. by Series: Lecture Notes in Computer Science ; 4839
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.F67 S65 2007.

242.
Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings / edited by Jürgen Münch, Pekka Abrahamsson. by Series: Lecture Notes in Computer Science ; 4589
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.758 M86 2007.

243.
Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings / edited by Lionel Briand, Clay Williams. by Series: Lecture Notes in Computer Science ; 3713
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 B75 2005.

244.
Advances in Cryptology – ASIACRYPT 2007 [electronic resource] : 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings / edited by Kaoru Kurosawa. by Series: Lecture Notes in Computer Science ; 4833
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 K87 2007.

245.
Information Security Applications [electronic resource] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers / edited by Sehun Kim, Moti Yung, Hyung-Woo Lee. by Series: Lecture Notes in Computer Science ; 4867
Edition: 1a ed.
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.A25 K56 2007.

246.
Journal on Data Semantics X [electronic resource] / edited by Stefano Spaccapietra. by Series: Lecture Notes in Computer Science ; 4900
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.9.D35 S63 2008.

247.
GeoSpatial Semantics [electronic resource] : Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007. Proceedings / edited by Frederico Fonseca, M. Andrea Rodríguez, Sergei Levashkin. by Series: Lecture Notes in Computer Science ; 4853
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: QA75 F66 2007.

248.
Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers / edited by Jean-Michel Bruel. by Series: Lecture Notes in Computer Science ; 3844
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.D47 B78 2006.

249.
Information Security and Privacy [electronic resource] : 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings / edited by Yi Mu, Willy Susilo, Jennifer Seberry. by Series: Lecture Notes in Computer Science ; 5107
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.9.A25 M89 2008.

250.
251.
252.
Scenarios: Models, Transformations and Tools [electronic resource] : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / edited by Stefan Leue, Tarja Johanna Systä. by Series: Lecture Notes in Computer Science ; 3466
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.758 L48 2005.

253.
254.
Advances in Information Retrieval [electronic resource] : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005. Proceedings / edited by David E. Losada, Juan M. Fernández-Luna. by Series: Lecture Notes in Computer Science ; 3408
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 L67 2005.

255.
256.
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares. by Series: Lecture Notes in Computer Science ; 3897
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.9.A25 P74 2006.

257.
Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning [electronic resource] / edited by Jos P. Leeuwen, Harry J. P. Timmermans. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: NA2728 L44 2005 .

258.
Advances in Biometrics [electronic resource] : International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006. Proceedings / edited by David Zhang, Anil K. Jain. by Series: Lecture Notes in Computer Science ; 3832
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: TK7882.B56 Z43 2005.

259.
Transactions on Rough Sets V [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Series: Lecture Notes in Computer Science ; 4100
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: QA248 P48 2006.

260.
Pages

Powered by Koha