Your search returned 597 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
42.
Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / edited by David E. Lightfoot, Clemens Szyperski. by Series: Lecture Notes in Computer Science ; 4228
Edition: 1a ed.
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.6 L54 2006.

Place hold Add to cart
43.
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 4576
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: QA9.A1 L45 2007.

Place hold Add to cart
44.
Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé. by Series: Lecture Notes in Computer Science ; 4634
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.6 N54 2007.

Place hold Add to cart
45.
High-Level Synthesis [electronic resource] : From Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science + Business Media B.V, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7888.3 C68 2008.

Place hold Add to cart
46.
Problems and Theorems in Classical Set Theory [electronic resource] / by Péter Komjáth, Vilmos Totik. by Series: Problem Books in Mathematics
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA248 K66 2006.

Place hold Add to cart
47.
48.
49.
50.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by E. D. Solojentsev. by Series: Applied Optimization ; 93
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD31 S65 2005.

Place hold Add to cart
51.
A Theory of Distributed Objects [electronic resource] : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio. 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: QA273.6 C37 2005.

Place hold Add to cart
52.
Ingredients for Successful System Level Design Methodology [electronic resource] / by Hiren D. Patel, Sandeep K. Shukla. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 P38 2008.

Place hold Add to cart
53.
54.
Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Series: International Mathematical Series ; 5
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 M38 2007.

Place hold Add to cart
55.
Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / edited by Patrice Godefroid. by Series: Lecture Notes in Computer Science ; 3639
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.V47 G63 2005 .

Place hold Add to cart
56.
Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot. by Series: Lecture Notes in Computer Science ; 3492
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: PQ8.5.L53 B53 2005.

Place hold Add to cart
57.
Computational Logic in Multi-Agent Systems [electronic resource] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / edited by João Leite, Paolo Torroni. by Series: Lecture Notes in Computer Science ; 3487
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.L63 L45 2005.

Place hold Add to cart
58.
Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle. by Series: Lecture Notes in Computer Science ; 4966
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.T48 B43 2008.

Place hold Add to cart
59.
Grammatical Inference: Algorithms and Applications [electronic resource] : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings / edited by Alexander Clark, François Coste, Laurent Miclet. by Series: Lecture Notes in Computer Science ; 5278
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: QA267.3 C53 2008.

Place hold Add to cart
60.
Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings / edited by José L. Balcázar, Philip M. Long, Frank Stephan. by Series: Lecture Notes in Computer Science ; 4264
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.A43 B35 2006.

Place hold Add to cart
Pages

Powered by Koha