Your search returned 632 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
321.
Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino. by Series: Lecture Notes in Computer Science ; 4916
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.F67 L48 2008.

Place hold Add to cart
322.
Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Series: Lecture Notes in Computer Science ; 4746
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.F3 B66 2007.

Place hold Add to cart
323.
Peer-to-Peer Systems and Applications [electronic resource] / edited by Ralf Steinmetz, Klaus Wehrle. by Series: Lecture Notes in Computer Science ; 3485
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: TK5105.525 S74 2005.

Place hold Add to cart
324.
325.
326.
327.
ECOOP 2002 — Object-Oriented Programming [electronic resource] : 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings / edited by Boris Magnusson. by Series: Lecture Notes in Computer Science ; 2374
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.64 M34 2006.

Place hold Add to cart
328.
Modular Algorithms in Symbolic Summation and Symbolic Integration [electronic resource] / by Jürgen Gerhard. by Series: Lecture Notes in Computer Science ; 3218
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.9.A43 G47 2005.

Place hold Add to cart
329.
330.
331.
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer. by Series: Lecture Notes in Computer Science ; 5065
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: QA276.3 D44 2008.

Place hold Add to cart
332.
333.
334.
Mathematics of Surfaces XI [electronic resource] : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings / edited by Ralph Martin, Helmut Bez, Malcolm Sabin. by Series: Lecture Notes in Computer Science ; 3604
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: QA571 M37 2005.

Place hold Add to cart
335.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / edited by Barbara Paech, Colette Rolland. by Series: Lecture Notes in Computer Science ; 5025
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.6 P34 2008.

Place hold Add to cart
336.
The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / edited by Andreas Rausch, Ralf Reussner, Raffaela Mirandola, František Plášil. by Series: Lecture Notes in Computer Science ; 5153
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.C66 R38 2008.

Place hold Add to cart
337.
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings / edited by Abdelkader Hameurlain. by Series: Lecture Notes in Computer Science ; 5187
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.C58 H36 2008 .

Place hold Add to cart
338.
Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II / edited by Pascal Lorenz, Petre Dini. by Series: Lecture Notes in Computer Science ; 3421
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: TK5105.5 L67 2005.

Place hold Add to cart
339.
340.
Information Security Applications [electronic resource] : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / edited by Chae Hoon Lim, Moti Yung. by Series: Lecture Notes in Computer Science ; 3325
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.9.A25 L56 2005.

Place hold Add to cart
Pages

Powered by Koha