Refine your search

Your search returned 1060 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
Hierarchical Bayesian Optimization Algorithm [electronic resource] : Toward a new Generation of Evolutionary Algorithms / by Martin Pelikan. by Series: Studies in Fuzziness and Soft Computing ; 170
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.643 P45 2005.

Place hold Add to cart
42.
Time Series Analysis [electronic resource] : With Applications in R / by Jonathan D. Cryer, Kung-Sik Chan. by Series: Springer Texts in Statistics
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA280 C79 2008.

Place hold Add to cart
43.
Interior Point Methods for Linear Optimization [electronic resource] / by Cornelis Roos, Tamás Terlaky, Jean-Philiipe Vial. by
Edition: 1a ed.
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: T57.74 R66 2005.

Place hold Add to cart
44.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 3535
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.D5 S74 2005.

Place hold Add to cart
45.
Rationale Management in Software Engineering [electronic resource] / edited by Allen H. Dutoit, Raymond McCall, Ivan Mistrík, Barbara Paech. by
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.758 D88 2006.

Place hold Add to cart
46.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Series: Lecture Notes in Computer Science ; 4468
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.D5 B66 2007.

Place hold Add to cart
47.
Interfacing with C++ [electronic resource] : Programming Real-World Applications / by Jayantha Katupitiya, Kim Bentley. by
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.73.C15 K38 2006.

Place hold Add to cart
48.
Rationale-Based Software Engineering [electronic resource] / by Janet E. Burge, John M. Carroll, Raymond McCall, Ivan Mistrik. by
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.758 B87 2008.

Place hold Add to cart
49.
50.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe, Frank S. Boer. by Series: Lecture Notes in Computer Science ; 5051
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.D5 B37 2008.

Place hold Add to cart
51.
Logical and Relational Learning [electronic resource] / edited by Luc De Raedt. by Series: Cognitive Technologies
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: Q325.5 K34 2008.

Place hold Add to cart
52.
The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk. by Series: Lecture Notes in Computer Science ; 3600
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: QA155.7.E4 W54 2006.

Place hold Add to cart
53.
Dynamic Programming [electronic resource] : A Computational Tool / by Lew Art, Holger Mauch. by Series: Studies in Computational Intelligence ; 38
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: QA402.5 A78 2007.

Place hold Add to cart
54.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by Series: Lecture Notes in Computer Science ; 4037
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.9.D5 G67 2006.

Place hold Add to cart
55.
56.
Design by Evolution [electronic resource] : Advances in Evolutionary Design / edited by Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz. by Series: Natural Computing Series
Edition: 1a ed.
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: QA76.618 H56 2008.

Place hold Add to cart
57.
Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4710
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.54 G46 2007.

Place hold Add to cart
58.
Introduction to Genetic Algorithms [electronic resource] / by S.N. Sivanandam, S.N. Deepa. by
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.623 S59 2008.

Place hold Add to cart
59.
Analysis of Integrated and Cointegrated Time Series with R [electronic resource] / by Bernhard Pfaff. by Series: Use R!
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA280 P43 2008.

Place hold Add to cart
60.
Wavelet Methods in Statistics with R [electronic resource] / edited by G. P. Nason. by Series: Use R!
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer-Verlag New York, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA403.3 N37 2008.

Place hold Add to cart
Pages

Powered by Koha