Your search returned 1822 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1021.
1022.
Transactions on Aspect-Oriented Software Development II [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Series: Lecture Notes in Computer Science ; 4242
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 R37 2006.

Place hold Add to cart
1023.
Service-Oriented Computing – ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings / edited by Asit Dan, Winfried Lamersdorf. by Series: Lecture Notes in Computer Science ; 4294
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.D5 D36 2006.

Place hold Add to cart
1024.
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnački, Stefan Edelkamp. by Series: Lecture Notes in Computer Science ; 4595
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.76.V47 B67 2007.

Place hold Add to cart
1025.
Scale-Space and Morphology in Computer Vision [electronic resource] : Third International Conference, Scale-Space 2001 Vancouver, Canada, July 7–8, 2001 Proceedings / edited by Michael Kerckhove. by Series: Lecture Notes in Computer Science 2106 ; 2106
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 K47 2006.

Place hold Add to cart
1026.
1027.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Series: Lecture Notes in Computer Science ; 4144
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.V47 B35 2006.

Place hold Add to cart
1028.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4790
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.63 D47 2007.

Place hold Add to cart
1029.
Affect and Emotion in Human-Computer Interaction [electronic resource] : From Theory to Applications / edited by Christian Peter, Russell Beale. by Series: Lecture Notes in Computer Science ; 4868
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.H85 P48 2008.

Place hold Add to cart
1030.
Advances in Cryptology — EUROCRYPT ’90 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Aarhus, Denmark, May 21–24, 1990 Proceedings / edited by Ivan Bjerre Damgård. by Series: Lecture Notes in Computer Science ; 473
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 D36 2006.

Place hold Add to cart
1031.
1032.
Advances in Multimedia Information Processing - PCM 2005 [electronic resource] : 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 13-16, 2005, Proceedings, Part I / edited by Yo-Sung Ho, Hyoung Joong Kim. by Series: Lecture Notes in Computer Science ; 3767
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.575 H6 2005.

Place hold Add to cart
1033.
1034.
1035.
Logic, Language, and Computation [electronic resource] : 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers / edited by Balder D. Cate, Henk W. Zeevat. by Series: Lecture Notes in Computer Science ; 4363
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.L63 C38 2007.

Place hold Add to cart
1036.
1037.
Characteristics Finite Element Methods in Computational Fluid Dynamics [electronic resource] / by Joe Iannelli. by Series: Computational Fluid and Solid Mechanics
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: TA347.F5 I26 2006.

Place hold Add to cart
1038.
Modeling and Computations in Electromagnetics [electronic resource] : A Volume Dedicated to Jean-Claude Nédélec / edited by Habib Ammari. by Series: Lecture Notes in Computational Science and Engineering ; 59
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: QC760.4.M37 A46 2008.

Place hold Add to cart
1039.
1040.
Mathematical Methods and Modelling in Hydrocarbon Exploration and Production [electronic resource] / edited by Armin Iske, Trygve Randen. by Series: Mathematics in Industry ; 7
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: TN271.P4 I85 2005.

Place hold Add to cart
Pages

Powered by Koha