Refine your search

Your search returned 2122 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
61.
Tools for High Performance Computing 2012 [electronic resource] / edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
62.
63.
Selected Applications of Convex Optimization [electronic resource] / by Li Li. by Series: Springer Optimization and Its Applications ; 103
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
64.
Compstat 2006 - Proceedings in Computational Statistics [electronic resource] : 17th Symposium Held in Rome, Italy, 2006 / edited by Alfredo Rizzi, Maurizio Vichi. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Physica-Verlag HD, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
65.
Aritmetica: un approccio computazionale [electronic resource] / by Giulio Cesare Barozzi. by Series: Convergenze
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan, 2007 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
66.
Complex Data Modeling and Computationally Intensive Statistical Methods [electronic resource] / edited by Pietro Mantovan, Piercesare Secchi. by Series: Contributions to Statistics
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
67.
The SimCalc Vision and Contributions [electronic resource] : Democratizing Access to Important Mathematics / edited by Stephen J. Hegedus, Jeremy Roschelle. by Series: Advances in Mathematics Education
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
68.
Computational Experiment Approach to Advanced Secondary Mathematics Curriculum [electronic resource] / by Sergei Abramovich. by Series: Mathematics Education in the Digital Era ; 3
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
69.
The basics of hacking and penetration testing : ethical hacking and penetration testing made easy / Dr. Patrick Engebretson, David Kennedy, Technical Editor. by
Edition: Second Edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Amsterdam ; Boston : Syngress, an imprint of Elsevier, [2013]
Availability: Items available for loan: Library (1)Call number: 005-2013.
Place hold
70.
Robust Control for Uncertain Networked Control Systems with Random Delays [electronic resource] / by Dan Huang, Sing Kiong Nguang. by Series: Lecture Notes in Control and Information Sciences ; 386
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
71.
Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I / by Hans Petter Langtangen, Anders Logg. by Series: Simula SpringerBriefs on Computing ; 3
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
72.
Programming for Computations - MATLAB/Octave [electronic resource] : A Gentle Introduction to Numerical Simulations with MATLAB/Octave / by Svein Linge, Hans Petter Langtangen. by Series: Texts in Computational Science and Engineering ; 14
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
73.
74.
Introduction to Scientific Programming with Python [electronic resource] / by Joakim Sundnes. by Series: Simula SpringerBriefs on Computing ; 6
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
75.
Programming for Computations - Python [electronic resource] : A Gentle Introduction to Numerical Simulations with Python 3.6 / by Svein Linge, Hans Petter Langtangen. by Series: Texts in Computational Science and Engineering ; 15
Edition: 2nd ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
76.
Programming for Computations - Python [electronic resource] : A Gentle Introduction to Numerical Simulations with Python / by Svein Linge, Hans Petter Langtangen. by Series: Texts in Computational Science and Engineering ; 15
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
77.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.). by Series: Lecture notes in computer science ; 1019.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
78.
Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds. by Series: Lecture notes in computer science ; 1165.
Material type: Text Text; Format: print optical disc; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
79.
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.). by Series: Lecture notes in computer science ; 1680.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Other title:
  • SPIN'99, theoretical and practical aspects of SPIN model checking
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
80.
Agent-oriented programming : from prolog to guarded definite clauses / Matthew M. Huntbach, Graem A. Ringwood. by Series: Lecture notes in computer science ; 1630. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha