Your search returned 711 results.

Sort
Results
621.
622.
Information Security [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta. by Series: Lecture Notes in Computer Science ; 4779
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 G37 2007.

623.
Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings / edited by Ron Morrison, Flavio Oquendo. by Series: Lecture Notes in Computer Science ; 3527
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.751 M67 2005.

624.
Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by
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 F53 2005.

625.
626.
Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky. by Series: Lecture Notes in Computer Science ; 4038
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.58 C53 2006.

627.
Form-Oriented Analysis [electronic resource] : A New Methodology to Model Form-Based Applications / by Dirk Draheim, Gerald Weber. by
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.76.A65 A73 2005.

628.
629.
630.
631.
632.
633.
Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings / edited by Jun Zhang, Ji-Huan He, Yuxi Fu. by Series: Lecture Notes in Computer Science ; 3314
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: QA75,5 Z43 2005.

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

635.
636.
Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by Series: Lecture Notes in Computer Science ; 5020
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : John Barnes Informatics, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.A35 B37 2008.

637.
638.
639.
Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach. by Series: Lecture Notes in Computer Science ; 3785
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.F67 L38 2005.

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

Pages

Powered by Koha