Your search returned 1979 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1821.
1822.
CONCUR 2008 - Concurrency Theory [electronic resource] : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / edited by Franck Breugel, Marsha Chechik. by Series: Lecture Notes in Computer Science ; 5201
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.58 B74 2008.

Place hold Add to cart
1823.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. by Series: Lecture Notes in Computer Science ; 5215
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.9.C65 C37 2008.

Place hold Add to cart
1824.
Wireless Sensor Networks [electronic resource] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / edited by Roberto Verdone. by Series: Lecture Notes in Computer Science ; 4913
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: TK7872.D48 V47 2008.

Place hold Add to cart
1825.
1826.
1827.
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter. by Series: Lecture Notes in Computer Science ; 4748
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.F67 W65 2007.

Place hold Add to cart
1828.
Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis. by Series: Lecture Notes in Computer Science ; 3436
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: TK7895.E42 B68 2005.

Place hold Add to cart
1829.
1830.
Modeling Decisions for Artificial Intelligence [electronic resource] : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto. by Series: Lecture Notes in Computer Science ; 3558
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: Q334 T67 2005.

Place hold Add to cart
1831.
Computer Vision Systems [electronic resource] : 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings / edited by Antonios Gasteratos, Markus Vincze, John K. Tsotsos. by Series: Lecture Notes in Computer Science ; 5008
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: TA1634 G37 2008.

Place hold Add to cart
1832.
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.

Place hold Add to cart
1833.
1834.
Formal Techniques for Networked and Distributed Systems – FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain. by Series: Lecture Notes in Computer Science ; 4574
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.F67 D47 2007.

Place hold Add to cart
1835.
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.

Place hold Add to cart
1836.
Computer Performance Engineering [electronic resource] : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings / edited by Nigel Thomas, Carlos Juiz. by Series: Lecture Notes in Computer Science ; 5261
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.9.E94 T46 2008.

Place hold Add to cart
1837.
Advances in Multimedia Modeling [electronic resource] : 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings / edited by Shin’ichi Satoh, Frank Nack, Minoru Etoh. by Series: Lecture Notes in Computer Science ; 4903
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.575 S28 2008.

Place hold Add to cart
1838.
1839.
1840.
Multiobjective Optimization [electronic resource] : Interactive and Evolutionary Approaches / edited by Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński. by Series: Lecture Notes in Computer Science ; 5252
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: QA402.5 B73 2008.

Place hold Add to cart
Pages

Powered by Koha