Refine your search

Your search returned 57 results.

Not what you expected? Check for suggestions
Sort
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).
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).
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).
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).
5.
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).
6.
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).
7.
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).
8.
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).
9.
Theory and practice of model transformations : third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings / Laurence Tratt, Martin Gogolla (eds.). by Series: Lecture notes in computer science ; 6142. | 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
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
10.
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.). by Series: Lecture notes in computer science ; 6143. | 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
Online resources:
Availability: Items available for loan: e-Library (1).
11.
Software composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Benoît Baudry, Eric Wohlstadter (eds.). by Series: Lecture notes in computer science ; 6144. | 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
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
12.
New modeling concepts for today's software processes : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / Jürgen Münch, Ye Yang, Wilhelm Schäfer (Eds.). by Series: Lecture notes in computer science ; 6195. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • ICSP 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
13.
Component-based software engineering : 13th international symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings / Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.). by Series: Lecture notes in computer science ; 6092. | 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
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
14.
15.
Requirements engineering: foundation for software quality : 16th international working conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 ; proceedings / Roel Wieringa, Anne Persson (eds.). by Series: Lecture notes in computer science ; 6182. | 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
Online resources:
Availability: Items available for loan: e-Library (1).
16.
A 25-Year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (Eds.). by Series: Lecture notes in computer science ; 6125. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • Twenty-five year perspective on logic programming
Online resources:
Availability: Items available for loan: e-Library (1).
17.
18.
Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings / Erwin Schoitsch (ed.). by Series: Lecture notes in computer science ; 6351. | 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:
  • SAFECOMP 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
19.
Intelligent data engineering and automated learning--IDEAL 2010 : 11th international conference, Paisley, UK, September 1-3, 2010 : proceedings / Colin Fyfe [and others] (eds.). by Series: Lecture notes in computer science ; 6283. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • IDEAL 2010
Online resources:
Availability: Items available for loan: e-Library (1).
20.
Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). by Series: Lecture notes in computer science ; 6200. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha