Springer-Verlag GmbH

All publishers Website

Books published by Springer-Verlag GmbH

An Introduction to Statistical Learning with Applications in R

Post date: 07 Apr 2016
An 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.
Publisher: Springer-Verlag GmbH
Publication date: 24 Jun 2014
 
 An Introduction to Statistical Learning with Applications in R

An Introduction to Statistical Learning with Applications in R

Post date: 07 Apr 2016
An 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.
Publisher: Springer-Verlag GmbH
Publication date: 24 Jun 2014


A Course in Universal Algebra

Post date: 26 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.
Publisher: Springer-Verlag GmbH
Publication date: 31 Dec 1981
 
A Course in Universal Algebra

A Course in Universal Algebra

Post date: 26 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.
Publisher: Springer-Verlag GmbH
Publication date: 31 Dec 1981


Advances in Proof-Theoretic Semantics

Post date: 26 Apr 2017
A 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
 
Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Post date: 26 Apr 2017
A 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


Algorithms and Data Structures - The Basic Toolbox

Post date: 07 Jan 2016
A concise introduction to the basic algorithmic toolbox addressed to students and professionals familiar with programming and basic mathematical language.
Publisher: Springer-Verlag GmbH
Publication date: 01 Oct 2007
 
Algorithms and Data Structures - The Basic Toolbox

Algorithms and Data Structures - The Basic Toolbox

Post date: 07 Jan 2016
A concise introduction to the basic algorithmic toolbox addressed to students and professionals familiar with programming and basic mathematical language.
Publisher: Springer-Verlag GmbH
Publication date: 01 Oct 2007


Algorithms and Data Structures in VLSI Design

Post date: 06 Oct 2006
This textbook provides an introduction to ordered binary decision diagrams (OBDDs), with an emphasis on applications in computer-aided circuit design and formal verification.
Publisher: Springer-Verlag GmbH
Publication date: 01 Aug 1998
Document Type: Textbook
 
Algorithms and Data Structures in VLSI Design

Algorithms and Data Structures in VLSI Design

Post date: 06 Oct 2006
This textbook provides an introduction to ordered binary decision diagrams (OBDDs), with an emphasis on applications in computer-aided circuit design and formal verification.
Publisher: Springer-Verlag GmbH
Publication date: 01 Aug 1998
Document Type: Textbook


Approximation Algorithms

Post date: 18 Sep 2007
This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems.
Publisher: Springer-Verlag GmbH
Publication date: 01 Jan 2003
 
Approximation Algorithms

Approximation Algorithms

Post date: 18 Sep 2007
This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems.
Publisher: Springer-Verlag GmbH
Publication date: 01 Jan 2003


Bayesian Methods in the Search for MH370

Post date: 26 Apr 2017
An 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
 
Bayesian Methods in the Search for MH370

Bayesian Methods in the Search for MH370

Post date: 26 Apr 2017
An 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


Coding Theory and Cryptography

Post date: 28 Mar 2007
This 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.
Publisher: Springer-Verlag GmbH
Publication date: 01 Dec 1999
Document Type: Book
 
Coding Theory and Cryptography

Coding Theory and Cryptography

Post date: 28 Mar 2007
This 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.
Publisher: Springer-Verlag GmbH
Publication date: 01 Dec 1999
Document Type: Book


Computations in Algebraic Geometry with Macaulay 2

Post date: 25 Sep 2007
This 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.
Publisher: Springer-Verlag GmbH
Publication date: 25 Sep 2001
 
Computations in Algebraic Geometry with Macaulay 2

Computations in Algebraic Geometry with Macaulay 2

Post date: 25 Sep 2007
This 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.
Publisher: Springer-Verlag GmbH
Publication date: 25 Sep 2001


Computer Vision: Algorithms and Applications

Post date: 22 Dec 2008
An introduction to computer vision algorithms and applications. Emphasizes on basic techniques that work under real-world conditions.
Publisher: Springer-Verlag GmbH
Publication date: 26 Nov 2008
 
Computer Vision: Algorithms and Applications

Computer Vision: Algorithms and Applications

Post date: 22 Dec 2008
An introduction to computer vision algorithms and applications. Emphasizes on basic techniques that work under real-world conditions.
Publisher: Springer-Verlag GmbH
Publication date: 26 Nov 2008


Digraphs Theory, Algorithms and Applications

Post date: 23 Apr 2008
Presents 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.
Publisher: Springer-Verlag GmbH
Publication date: 01 Aug 2007
 
Digraphs Theory, Algorithms and Applications

Digraphs Theory, Algorithms and Applications

Post date: 23 Apr 2008
Presents 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.
Publisher: Springer-Verlag GmbH
Publication date: 01 Aug 2007


Discrete-event Control of Stochastic Networks: Multimodularity and Regularity

Post date: 06 Jan 2007
This 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.
Publisher: Springer-Verlag GmbH
Publication date: 04 Aug 2003
 
Discrete-event Control of Stochastic Networks: Multimodularity and Regularity

Discrete-event Control of Stochastic Networks: Multimodularity and Regularity

Post date: 06 Jan 2007
This 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.
Publisher: Springer-Verlag GmbH
Publication date: 04 Aug 2003


Elementary Number Theory: Primes, Congruences, and Secrets: A Computational Approach

Post date: 17 May 2016
A textbook about prime numbers, congruences, secret messages, and elliptic curves that you can read cover to cover.
Publisher: Springer-Verlag GmbH
Publication date: 03 Dec 2008
 
Elementary Number Theory: Primes, Congruences, and Secrets: A Computational Approach

Elementary Number Theory: Primes, Congruences, and Secrets: A Computational Approach

Post date: 17 May 2016
A textbook about prime numbers, congruences, secret messages, and elliptic curves that you can read cover to cover.
Publisher: Springer-Verlag GmbH
Publication date: 03 Dec 2008


Graph Theory, 3rd Edition

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.
Publisher: Springer-Verlag GmbH
Publication date: 01 Jul 2005
 
Graph Theory, 3rd Edition

Graph Theory, 3rd Edition

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.
Publisher: Springer-Verlag GmbH
Publication date: 01 Jul 2005


Graph Theory, 5th Edition [Free Preview]

Post date: 12 Oct 2016
A standard textbook of modern graph theory, covering the core material of the subject with complete proofs. Can be used as a text for an introductory course, as a graduate text, and for self-study.
Publisher: Springer-Verlag GmbH
Publication date: 31 Oct 2016
License: Standard Copyright License
Document Type: Textbook
 
Graph Theory, 5th Edition [Free Preview]

Graph Theory, 5th Edition [Free Preview]

Post date: 12 Oct 2016
A standard textbook of modern graph theory, covering the core material of the subject with complete proofs. Can be used as a text for an introductory course, as a graduate text, and for self-study.
Publisher: Springer-Verlag GmbH
Publication date: 31 Oct 2016
License: Standard Copyright License Document Type: Textbook


Book Categories
Sponsors
Icons8, a free icon pack