1 |
|
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 [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 / [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
4 |
|
Galois Connections and Applications [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
5 |
|
Modeling Languages in Mathematical Optimization [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
6 |
|
New Essays in Free Logic: In Honour of Karel Lambert / [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
7 |
|
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 / [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
9 |
|
A Tiny Handbook of R [Ebook]
|
Allerhand, Mike
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
10 |
|
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 [Ebook]
|
Brackx, Fred
|
1991 |
|
Shelf Location: Online resource: Springer.
|
12 |
|
Advanced Relational Programming [Ebook]
|
Cacace, Filippo
|
1996 |
|
Shelf Location: Online resource: Springer.
|
13 |
|
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 [Ebook]
|
Corless, Robert M.
|
2002 |
|
Shelf Location: Online resource: Springer.
|
15 |
|
Introduction to Discrete Mathematics with ISETL [Ebook]
|
Fenton, William E.
|
1996 |
|
Shelf Location: Online resource: Springer.
|
16 |
|
Recent Advances in Algorithmic Differentiation [Ebook]
|
Forth, Shaun
|
2012 |
|
Shelf Location: Online Resource: Springer.
|
17 |
|
Goal-Directed Proof Theory [Ebook]
|
Gabbay, Dov M.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
18 |
|
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® [Ebook]
|
Gander, Walter
|
1995 |
|
Shelf Location: Online resource: Springer.
|
20 |
|
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® [Ebook]
|
Gaylord, Richard J.
|
1996 |
|
Shelf Location: Online resource: Springer.
|
22 |
|
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 / [Ebook]
|
Haslwanter, Thomas
|
2016 |
|
Shelf Location: Online resource: Springer.
|
24 |
|
Mathematica®: A Problem-Centered Approach [Ebook]
|
Hazrat, Roozbeh
|
2010 |
|
Shelf Location: Online Resource : Springer.
|
25 |
|
Mathematica®: A Problem-Centered Approach [Ebook]
|
Hazrat, Roozbeh
|
2015 |
|
Shelf Location: Online resource: Springer.
|
26 |
|
Linear Programming [Ebook]
|
Karloff, Howard. 1961-
|
1991 |
|
Shelf Location: Online Resource: Birkhäuser.
|
27 |
|
Introduction to College Mathematics with A Programming Language [Ebook]
|
LeCuyer, Edward J.
|
1978 |
|
Shelf Location: Online resource: Springer.
|
28 |
|
Constraints Meet Concurrency [Ebook]
|
Mauro, Jacopo
|
2014 |
|
Shelf Location: Online Resource : Atlantis Press.
|
29 |
|
Handbook of Floating-Point Arithmetic [Ebook]
|
Muller, Jean-Michel
|
2010 |
|
Shelf Location: Online Resource: Birkhäuser.
|
30 |
|
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 / [Ebook]
|
Nagarajan, Radhakrishnan
|
2013 |
|
Shelf Location: Online Resource: Springer.
|
32 |
|
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 [Ebook]
|
Pinheiro, José C.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
34 |
|
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 [Ebook]
|
Thomson, Norman D.
|
1989 |
|
Shelf Location: Online resource: Springer.
|
36 |
|
APL2 in Depth [Ebook]
|
Thomson, Norman D.
|
1995 |
|
Shelf Location: Online resource: Springer.
|
37 |
|
The Mathematica GuideBook for Programming [Ebook]
|
Trott, Michael
|
2004 |
|
Shelf Location: Online resource: Springer.
|