Your search returned 308 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / edited by Dominique Borrione, Wolfgang Paul. by Series: Lecture Notes in Computer Science ; 3725
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: TK7874.75 B67 2005.

Place hold Add to cart
162.
STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil. by Series: Lecture Notes in Computer Science ; 4393
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.5 T46 2007.

Place hold Add to cart
163.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings / edited by Alexander Gelbukh. by Series: Lecture Notes in Computer Science ; 3406
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.T48 G45 2005.

Place hold Add to cart
164.
165.
166.
Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / edited by Oscar H. Ibarra, Bala Ravikumar. by Series: Lecture Notes in Computer Science ; 5148
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: QA267 I23 2008.

Place hold Add to cart
167.
168.
Advances in Natural Language Processing [electronic resource] : 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings / edited by Bengt Nordström, Aarne Ranta. by Series: Lecture Notes in Computer Science ; 5221
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: P98 N67 2008.

Place hold Add to cart
169.
170.
171.
Reconfigurable Computing [electronic resource] : Accelerating Computation with Field-Programmable Gate Arrays / by Maya Gokhale, Paul S. Graham. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A3 G65 2005.

Place hold Add to cart
172.
Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings / edited by Thomas Schwentick, Dan Suciu. by Series: Lecture Notes in Computer Science ; 4353
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.D3 S39 2006 .

Place hold Add to cart
173.
Handbook of Spatial Logics [electronic resource] / edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 A34 2007.

Place hold Add to cart
174.
Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik. by Series: Lecture Notes in Computer Science ; 5123
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 G87 2008.

Place hold Add to cart
175.
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek. by Series: Lecture Notes in Computer Science ; 4783
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: QA267 H65 2007.

Place hold Add to cart
176.
Modeling and Using Context [electronic resource] : 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings / edited by Anind Dey, Boicho Kokinov, David Leake, Roy Turner. by Series: Lecture Notes in Computer Science ; 3554
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.C65 D49 2005 .

Place hold Add to cart
177.
Transactions on Computational Systems Biology VII [electronic resource] / edited by Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson. by Series: Lecture Notes in Computer Science ; 4230
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: QH324.2 P75 2006.

Place hold Add to cart
178.
179.
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö. by Series: Lecture Notes in Computer Science ; 4588
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: QA267.3 H37 2007.

Place hold Add to cart
180.
Pages

Powered by Koha