Refine your search

Your search returned 218 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Mathematica in Action [electronic resource] : Problem Solving Through Visualization and Computation / edited by Stan Wagon. by
Edition: 3.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Mathematics for Multimedia [electronic resource] / by Mladen Victor Wickerhauser. by Series: Applied and Numerical Harmonic Analysis
Edition: 1.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston : Birkhäuser Boston, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
A SAS/IML Companion for Linear Models [electronic resource] / by Jamis J. Perrett. by Series: Statistics and Computing
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Mathematica®: A Problem-Centered Approach [electronic resource] / by Roozbeh Hazrat. by Series: Springer Undergraduate Mathematics Series ; 53
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Simula Research Laboratory [electronic resource] : by Thinking Constantly about it / edited by Aslak Tveito, Are Magnus Bruaset, Olav Lysne. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
7.
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
8.
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / Gilles Barthe, Manuel Hermenegildo, eds. by Series: Lecture notes in computer science ; 5944. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Engineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / Fabio Massacci, Dan Wallach, Nicola Zannone (eds.). by Series: Lecture notes in computer science ; 5965. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • ESSoS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
High performance embedded architectures and compilers : 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings / Yale N. Patt [and others] (eds.). by Series: Lecture notes in computer science ; 5952. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • HiPEAC 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Fundamentals of software engineering : third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / Farhad Arbab, Marjan Sirjani (eds.). by Series: Lecture notes in computer science ; 5961. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • FSEN 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Grid resource management : on-demand provisioning, advance reservation, and capacity planning of grid resources / Mumtaz Siddiqui, Thomas Fahringer. by Series: Lecture notes in computer science ; 5951. | Lecture notes in computer science. State-of-the-art survey. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12833689
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Fundamental approaches to software engineering : 13th international conference, FASE 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / David S. Rosenblum, Gabriele Taentzer, (eds.). by Series: Lecture notes in computer science ; 6013. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Agents and peer-to-peer computing : 6th international workshop, AP2PC 2007, Honolulu, Hawaii, USA, May 14-18, 2007 : revised and selected papers / Samuel R.H. Joseph [and others] (eds.). by Series: Lecture notes in computer science ; 5319. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • AP2PC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / Christine Choppy, Oleg Sokolsky, (eds.). by Series: Lecture notes in computer science ; 6028. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80012716
Publication details: Berlin ; New York : Springer, ©2010
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / Danny De Schreye, ed. by Series: Lecture notes in computer science ; 6037. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80013034
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • LOPSTR 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Andrew D. Gordon (Ed.). by Series: Lecture notes in computer science ; 6012. | Lecture notes in computer science. Advanced research in computing and software science.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80011080
Publication details: Berlin : Springer, 2010
Other title:
  • ESOP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Compiler construction : 19th International Conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Rajiv Gupta (ed.). by Series: Lecture notes in computer science ; 6011. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Advances in nonlinear speech processing : International conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27, 2009 : revised selected papers / Jordi Solé-Casals, Vladimir Zaiats (eds.). by Series: Lecture notes in computer science ; 5933. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • NOLISP 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers / Santiago Escobar (ed.). by Series: Lecture notes in computer science ; 5979. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha