Springer-Verlag GmbH
All publishers WebsiteBooks published by Springer-Verlag GmbH
An Introduction to Statistical Learning with Applications in R
Post date: 08 Apr 2016An introduction to statistical learning methods, this book contains a number of R labs with detailed explanations on how to implement the various methods in real life settings.
An Introduction to Statistical Learning with Applications in R
Post date: 08 Apr 2016An introduction to statistical learning methods, this book contains a number of R labs with detailed explanations on how to implement the various methods in real life settings.
![[No longer freely accessible] Linear Programming: Foundations and Extensions](http://mail.freetechbooks.com/uploads/1459670020-4thEditionCoverMedium.jpg)
[No longer freely accessible] Linear Programming: Foundations and Extensions
Post date: 29 Sep 2006Focuses largely on constrained optimization. Begins with a substantial treatment of linear programming and proceeds to convex analysis, network flows, integer programming, and convex optimization.
[No longer freely accessible] Linear Programming: Foundations and Extensions
Post date: 29 Sep 2006Focuses largely on constrained optimization. Begins with a substantial treatment of linear programming and proceeds to convex analysis, network flows, integer programming, and convex optimization.
Post date: 27 Jan 2007
Sufficiently develops a few themes central to universal algebra to bring the reader to the brink of current research. This text is not intended to be encyclopedic.
Sufficiently develops a few themes central to universal algebra to bring the reader to the brink of current research. This text is not intended to be encyclopedic.
Post date: 27 Jan 2007Sufficiently develops a few themes central to universal algebra to bring the reader to the brink of current research. This text is not intended to be encyclopedic.
Advances in Proof-Theoretic Semantics
Post date: 26 Apr 2017A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher:
Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
Advances in Proof-Theoretic Semantics
Post date: 26 Apr 2017A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher:
Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported Document Type: Book
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported Document Type: Book
Algorithms and Data Structures - The Basic Toolbox
Post date: 08 Jan 2016A concise introduction to the basic algorithmic toolbox addressed to students and professionals familiar with programming and basic mathematical language.
Algorithms and Data Structures - The Basic Toolbox
Post date: 08 Jan 2016A concise introduction to the basic algorithmic toolbox addressed to students and professionals familiar with programming and basic mathematical language.
Algorithms and Data Structures in VLSI Design
Post date: 07 Oct 2006This textbook provides an introduction to ordered binary decision diagrams (OBDDs), with an emphasis on applications in computer-aided circuit design and formal verification.
Algorithms and Data Structures in VLSI Design
Post date: 07 Oct 2006This textbook provides an introduction to ordered binary decision diagrams (OBDDs), with an emphasis on applications in computer-aided circuit design and formal verification.
Post date: 19 Sep 2007
This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems.
This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems.
Post date: 19 Sep 2007This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems.
Bayesian Methods in the Search for MH370
Post date: 26 Apr 2017An account of the work of the teams who were part of the MH370 Flight Path Reconstruction group. Defence scientists contributed a range of expertise to the search: underwater acoustics, satellite communication systems and statistical data processing.
Publisher:
Springer-Verlag GmbH
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International
Document Type: Book
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International
Document Type: Book
Bayesian Methods in the Search for MH370
Post date: 26 Apr 2017An account of the work of the teams who were part of the MH370 Flight Path Reconstruction group. Defence scientists contributed a range of expertise to the search: underwater acoustics, satellite communication systems and statistical data processing.
Publisher:
Springer-Verlag GmbH
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International Document Type: Book
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International Document Type: Book
Coding Theory and Cryptography
Post date: 28 Mar 2007This book concerns elementary and advanced aspects of coding theory and cryptography. Several of the contributions on cryptography describe the work done by the British and their allies during World War II to crack the German and Japanese ciphers.
Coding Theory and Cryptography
Post date: 28 Mar 2007This book concerns elementary and advanced aspects of coding theory and cryptography. Several of the contributions on cryptography describe the work done by the British and their allies during World War II to crack the German and Japanese ciphers.
Computations in Algebraic Geometry with Macaulay 2
Post date: 26 Sep 2007This book presents algorithmic tools for algebraic geometry and experimental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out.
Computations in Algebraic Geometry with Macaulay 2
Post date: 26 Sep 2007This book presents algorithmic tools for algebraic geometry and experimental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out.
Computer Vision: Algorithms and Applications
Post date: 22 Dec 2008An introduction to computer vision algorithms and applications. Emphasizes on basic techniques that work under real-world conditions.
Computer Vision: Algorithms and Applications
Post date: 22 Dec 2008An introduction to computer vision algorithms and applications. Emphasizes on basic techniques that work under real-world conditions.
Digraphs Theory, Algorithms and Applications
Post date: 23 Apr 2008Presents a unified and comprehensive survey of directed graphs. Covers theoretical and practical aspects, with algorithms, proofs, and applications of digraphs. Includes more than 700 exercises and 180 figures which further clarify topics.
Digraphs Theory, Algorithms and Applications
Post date: 23 Apr 2008Presents a unified and comprehensive survey of directed graphs. Covers theoretical and practical aspects, with algorithms, proofs, and applications of digraphs. Includes more than 700 exercises and 180 figures which further clarify topics.
Discrete-event Control of Stochastic Networks: Multimodularity and Regularity
Post date: 07 Jan 2007This book is a counterpart of convex optimization in the setting of discrete optimization. The theory developed is applied to the control of stochastic discrete-event dynamic systems. Some applications are admission, routing, and service allocation.
Discrete-event Control of Stochastic Networks: Multimodularity and Regularity
Post date: 07 Jan 2007This book is a counterpart of convex optimization in the setting of discrete optimization. The theory developed is applied to the control of stochastic discrete-event dynamic systems. Some applications are admission, routing, and service allocation.
Elementary Number Theory: Primes, Congruences, and Secrets: A Computational Approach
Post date: 17 May 2016A textbook about prime numbers, congruences, secret messages, and elliptic curves that you can read cover to cover.
Elementary Number Theory: Primes, Congruences, and Secrets: A Computational Approach
Post date: 17 May 2016A textbook about prime numbers, congruences, secret messages, and elliptic curves that you can read cover to cover.
Post date: 27 Jul 2005
This book offers an introduction to the theory of graphs as part of (pure) mathematics; it contains neither explicit algorithms nor 'real world' applications.
This book offers an introduction to the theory of graphs as part of (pure) mathematics; it contains neither explicit algorithms nor 'real world' applications.
Post date: 27 Jul 2005This book offers an introduction to the theory of graphs as part of (pure) mathematics; it contains neither explicit algorithms nor 'real world' applications.
Book Categories
Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)
Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics
Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management
Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Rexx
Microsoft .NET
Perl
PHP
R
Python
Rebol
Ruby
Scheme
Tcl/Tk
Miscellaneous
Most Popular Books
434,370
Introduction to Objective Caml
249,562
Notes for the Course of Algorithms
241,408
Lessons In Electric Circuits
213,285
[No longer available] A Beginners C++
167,126
Introduction to Object-Oriented Programming Using C++
165,715
A Short Introduction to Operating Systems
164,807
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
160,767
C Programming Tutorial (K&R version 4)
158,125
Computer Organization and Design Fundamentals
152,457
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors