1 |
![Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 / Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 /](Cover.cls?type=cover&isbn=9789401596084&size=100) |
Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
2 |
![Developments in Reliable Computing Developments in Reliable Computing](Cover.cls?type=cover&isbn=9789401712477&size=100) |
Developments in Reliable Computing [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
3 |
![Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /](Cover.cls?type=cover&isbn=9783030452315&size=100) |
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
4 |
![Galois Connections and Applications Galois Connections and Applications](Cover.cls?type=cover&isbn=9781402018985&size=100) |
Galois Connections and Applications [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
5 |
![Modeling Languages in Mathematical Optimization Modeling Languages in Mathematical Optimization](Cover.cls?type=cover&isbn=9781461302155&size=100) |
Modeling Languages in Mathematical Optimization [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
6 |
![New Essays in Free Logic: In Honour of Karel Lambert / New Essays in Free Logic: In Honour of Karel Lambert /](Cover.cls?type=cover&isbn=9789401597616&size=100) |
New Essays in Free Logic: In Honour of Karel Lambert / [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
7 |
![Perspectives on Enclosure Methods Perspectives on Enclosure Methods](Cover.cls?type=cover&isbn=9783709162828&size=100) |
Perspectives on Enclosure Methods [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
8 |
![Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 / Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 /](Cover.cls?type=cover&isbn=9789401101875&size=100) |
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 / [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
9 |
![A Tiny Handbook of R A Tiny Handbook of R](Cover.cls?type=cover&isbn=9783642179808&size=100) |
A Tiny Handbook of R [Ebook]
|
Allerhand, Mike
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
10 |
![Instruction Sequences for Computer Science Instruction Sequences for Computer Science](Cover.cls?type=cover&isbn=9789491216657&size=100) |
Instruction Sequences for Computer Science [Ebook]
|
Bergstra, Jan A.
|
2012 |
|
Shelf Location: Online Resource: Atlantis Press.
|
11 |
![Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics](Cover.cls?type=cover&isbn=9789401135023&size=100) |
Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics [Ebook]
|
Brackx, Fred
|
1991 |
|
Shelf Location: Online resource: Springer.
|
12 |
![Advanced Relational Programming Advanced Relational Programming](Cover.cls?type=cover&isbn=9789400708587&size=100) |
Advanced Relational Programming [Ebook]
|
Cacace, Filippo
|
1996 |
|
Shelf Location: Online resource: Springer.
|
13 |
![Lancelot: A Fortran Package for Large-Scale Nonlinear Optimization (Release A) Lancelot: A Fortran Package for Large-Scale Nonlinear Optimization (Release A)](Cover.cls?type=cover&isbn=9783662122112&size=100) |
Lancelot: A Fortran Package for Large-Scale Nonlinear Optimization (Release A) [Ebook]
|
Conn, Andrew R.
|
1992 |
|
Shelf Location: Online resource: Springer.
|
14 |
![Essential Maple 7: An Introduction for Scientific Programmers Essential Maple 7: An Introduction for Scientific Programmers](Cover.cls?type=cover&isbn=9780387215570&size=100) |
Essential Maple 7: An Introduction for Scientific Programmers [Ebook]
|
Corless, Robert M.
|
2002 |
|
Shelf Location: Online resource: Springer.
|
15 |
![Introduction to Discrete Mathematics with ISETL Introduction to Discrete Mathematics with ISETL](Cover.cls?type=cover&isbn=9781461240525&size=100) |
Introduction to Discrete Mathematics with ISETL [Ebook]
|
Fenton, William E.
|
1996 |
|
Shelf Location: Online resource: Springer.
|
16 |
![Recent Advances in Algorithmic Differentiation Recent Advances in Algorithmic Differentiation](Cover.cls?type=cover&isbn=9783642300233&size=100) |
Recent Advances in Algorithmic Differentiation [Ebook]
|
Forth, Shaun
|
2012 |
|
Shelf Location: Online Resource: Springer.
|
17 |
![Goal-Directed Proof Theory Goal-Directed Proof Theory](Cover.cls?type=cover&isbn=9789401717137&size=100) |
Goal-Directed Proof Theory [Ebook]
|
Gabbay, Dov M.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
18 |
![Solving Problems in Scientific Computing Using Maple and Matlab® Solving Problems in Scientific Computing Using Maple and Matlab®](Cover.cls?type=cover&isbn=9783642975332&size=100) |
Solving Problems in Scientific Computing Using Maple and Matlab® [Ebook]
|
Gander, Walter
|
1993 |
|
Shelf Location: Online resource: Springer.
|
19 |
![Solving Problems in Scientific Computing Using Maple and MATLAB® Solving Problems in Scientific Computing Using Maple and MATLAB®](Cover.cls?type=cover&isbn=9783642976193&size=100) |
Solving Problems in Scientific Computing Using Maple and MATLAB® [Ebook]
|
Gander, Walter
|
1995 |
|
Shelf Location: Online resource: Springer.
|
20 |
![Solving Problems in Scientific Computing Using Maple and MATLAB® Solving Problems in Scientific Computing Using Maple and MATLAB®](Cover.cls?type=cover&isbn=9783642979538&size=100) |
Solving Problems in Scientific Computing Using Maple and MATLAB® [Ebook]
|
Gander, Walter
|
1997 |
|
Shelf Location: Online resource: Springer.
|
21 |
![An Introduction to Programming with Mathematica® An Introduction to Programming with Mathematica®](Cover.cls?type=cover&isbn=9781461223221&size=100) |
An Introduction to Programming with Mathematica® [Ebook]
|
Gaylord, Richard J.
|
1996 |
|
Shelf Location: Online resource: Springer.
|
22 |
![Software Prototyping in Data and Knowledge Engineering Software Prototyping in Data and Knowledge Engineering](Cover.cls?type=cover&isbn=9789401142670&size=100) |
Software Prototyping in Data and Knowledge Engineering [Ebook]
|
Guida, Giovanni
|
1999 |
|
Shelf Location: Online resource: Springer.
|
23 |
![An Introduction to Statistics with Python: With Applications in the Life Sciences / An Introduction to Statistics with Python: With Applications in the Life Sciences /](Cover.cls?type=cover&isbn=9783319283166&size=100) |
An Introduction to Statistics with Python: With Applications in the Life Sciences / [Ebook]
|
Haslwanter, Thomas
|
2016 |
|
Shelf Location: Online resource: Springer.
|
24 |
![Mathematica®: A Problem-Centered Approach Mathematica®: A Problem-Centered Approach](Cover.cls?type=cover&isbn=9781849962513&size=100) |
Mathematica®: A Problem-Centered Approach [Ebook]
|
Hazrat, Roozbeh
|
2010 |
|
Shelf Location: Online Resource : Springer.
|
25 |
![Mathematica®: A Problem-Centered Approach Mathematica®: A Problem-Centered Approach](Cover.cls?type=cover&isbn=9783319275857&size=100) |
Mathematica®: A Problem-Centered Approach [Ebook]
|
Hazrat, Roozbeh
|
2015 |
|
Shelf Location: Online resource: Springer.
|
26 |
![Linear Programming Linear Programming](Cover.cls?type=cover&isbn=9780817648442&size=100) |
Linear Programming [Ebook]
|
Karloff, Howard. 1961-
|
1991 |
|
Shelf Location: Online Resource: Birkhäuser.
|
27 |
![Introduction to College Mathematics with A Programming Language Introduction to College Mathematics with A Programming Language](Cover.cls?type=cover&isbn=9781461394228&size=100) |
Introduction to College Mathematics with A Programming Language [Ebook]
|
LeCuyer, Edward J.
|
1978 |
|
Shelf Location: Online resource: Springer.
|
28 |
![Constraints Meet Concurrency Constraints Meet Concurrency](Cover.cls?type=cover&isbn=9789462390676&size=100) |
Constraints Meet Concurrency [Ebook]
|
Mauro, Jacopo
|
2014 |
|
Shelf Location: Online Resource : Atlantis Press.
|
29 |
![Handbook of Floating-Point Arithmetic Handbook of Floating-Point Arithmetic](Cover.cls?type=cover&isbn=9780817647056&size=100) |
Handbook of Floating-Point Arithmetic [Ebook]
|
Muller, Jean-Michel
|
2010 |
|
Shelf Location: Online Resource: Birkhäuser.
|
30 |
![Handbook of Floating-Point Arithmetic Handbook of Floating-Point Arithmetic](Cover.cls?type=cover&isbn=9783319765266&size=100) |
Handbook of Floating-Point Arithmetic [Ebook]
|
Muller, Jean-Michel
|
2018 |
|
Shelf Location: Online resource: Springer.
|
31 |
![Bayesian Networks in R: with Applications in Systems Biology / Bayesian Networks in R: with Applications in Systems Biology /](Cover.cls?type=cover&isbn=9781461464464&size=100) |
Bayesian Networks in R: with Applications in Systems Biology / [Ebook]
|
Nagarajan, Radhakrishnan
|
2013 |
|
Shelf Location: Online Resource: Springer.
|
32 |
![XML and Web Technologies for Data Sciences with R XML and Web Technologies for Data Sciences with R](Cover.cls?type=cover&isbn=9781461479000&size=100) |
XML and Web Technologies for Data Sciences with R [Ebook]
|
Nolan, Deborah
|
2014 |
|
Shelf Location: Online Resource : Springer.
|
33 |
![Mixed-Effects Models in S and S-PLUS Mixed-Effects Models in S and S-PLUS](Cover.cls?type=cover&isbn=9780387227474&size=100) |
Mixed-Effects Models in S and S-PLUS [Ebook]
|
Pinheiro, José C.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
34 |
![The Semantics and Proof Theory of the Logic of Bunched Implications The Semantics and Proof Theory of the Logic of Bunched Implications](Cover.cls?type=cover&isbn=9789401700917&size=100) |
The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook]
|
Pym, David J.
|
2002 |
|
Shelf Location: Online resource: Springer.
|
35 |
![APL Programs for the Mathematics Classroom APL Programs for the Mathematics Classroom](Cover.cls?type=cover&isbn=9781461236689&size=100) |
APL Programs for the Mathematics Classroom [Ebook]
|
Thomson, Norman D.
|
1989 |
|
Shelf Location: Online resource: Springer.
|
36 |
![APL2 in Depth APL2 in Depth](Cover.cls?type=cover&isbn=9781461241720&size=100) |
APL2 in Depth [Ebook]
|
Thomson, Norman D.
|
1995 |
|
Shelf Location: Online resource: Springer.
|
37 |
![The Mathematica GuideBook for Programming The Mathematica GuideBook for Programming](Cover.cls?type=cover&isbn=9781441985033&size=100) |
The Mathematica GuideBook for Programming [Ebook]
|
Trott, Michael
|
2004 |
|
Shelf Location: Online resource: Springer.
|