389 results matched your search
  • Add to basket
  • More Options
Book icon
Image for Automation of Reasoning : Classical Papers on Computational Logic 1967-1970 : 2

Automation of Reasoning : Classical Papers on Computational Logic 1967-1970 : 2

Author: Siekmann, Jorg Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Hardback
Published: 01/04/1983 ISBN/EAN: 9783540120445 Dewey: 005.131
stars icon

Usually dispatched within 4 weeks

£109.99
Save up to 10%*
Book icon
Image for Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970

Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970

Author: Siekmann, J. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 09/02/2012 ISBN/EAN: 9783642819575 Dewey: 005.131
stars icon

Usually dispatched within 2 weeks

£114.00
Save up to 10%*
Book icon
Image for A primer on scientific programming with Python

A primer on scientific programming with Python

Author: Langtangen, Hans Petter Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Laminated
Published: 31/07/2014 ISBN/EAN: 9783642549588 Dewey: 004
stars icon

Usually dispatched within 4 weeks

Replaced By: 9783662498866

£53.99

Title Replaced
More Info
Book icon
Image for Advances in Cryptology - CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings

Advances in Cryptology - CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings

Author: Kilian, Joe Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 01/08/2001 ISBN/EAN: 9783540424567 Dewey: 005.82
stars icon

Usually dispatched within 4 weeks

£108.00
Save up to 10%*
Book icon
Image for Theory and Applications of Models of Computation : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

Theory and Applications of Models of Computation : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

Author: Cai, Jin-Yi Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 09/05/2007 ISBN/EAN: 9783540725039 Dewey: 004.0151
stars icon

Usually dispatched within 4 weeks

£117.00
Save up to 10%*
Book icon
Image for The NURBS Book

The NURBS Book

Author: Piegl, Les Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 14/11/1996 ISBN/EAN: 9783540615453 Dewey: 620.0042028551
stars icon

Stock expected by 13/08/2021

£55.99
RRP £69.99
Save 20%
Book icon
Image for General-Purpose Optimization Through Information Maximization

General-Purpose Optimization Through Information Maximization

Author: Lockett, Alan J. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Hardback
Published: 17/08/2020 ISBN/EAN: 9783662620069
stars icon

Usually dispatched within 4 weeks

£134.99
RRP £149.99
Save 10%
Book icon
Image for Boolean function complexity  : advances and frontiers

Boolean function complexity : advances and frontiers

Author: Jukna, Stasys Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Laminated
Published: 06/01/2012 ISBN/EAN: 9783642245077 Dewey: 511.324
stars icon

Stock expected by 13/08/2021

£71.99
RRP £89.99
Save 20%
Book icon
Image for Algorithmics for hard problems  : introduction to combinatorial optimization, randomization, approximation, and heuristics

Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics

Author: Hromkovic, Juraj Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback
Published: 09/12/2010 ISBN/EAN: 9783642079092 Dewey: 005.1
stars icon

Usually dispatched within 4 weeks

£62.99
RRP £69.99
Save 10%
Book icon
Image for Combinatorial optimization  : theory and algorithms

Combinatorial optimization : theory and algorithms

Author: Korte, Bernhard Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback
Published: 11/11/2010 ISBN/EAN: 9783642090929 Dewey: 519.6
stars icon

Stock expected by 13/08/2021

£55.99
RRP £69.99
Save 20%
Book icon
Image for Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi

Author: Iida, Shusaku Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 25/02/2014 ISBN/EAN: 9783642546235 Dewey: 005.1
stars icon

Usually dispatched within 4 weeks

£69.99
Save up to 10%*
Book icon
Image for Ontology matching

Ontology matching

Author: Euzenat, Jerome Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Laminated
Published: 21/11/2013 ISBN/EAN: 9783642387203 Dewey: 005.131
stars icon

Stock expected by 11/08/2021

£103.99
RRP £129.99
Save 20%
Book icon
Image for ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

Author: Castagna, Giuseppe Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 06/06/2013 ISBN/EAN: 9783642390371 Dewey: 005.117
stars icon

Usually dispatched within 4 weeks

£70.65
RRP £78.50
Save 10%
Book icon
Image for Algorithms - ESA 2013 : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Algorithms - ESA 2013 : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Author: Bodlaender, Hans L. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 13/08/2013 ISBN/EAN: 9783642404498 Dewey: 005.1
stars icon

Usually dispatched within 4 weeks

£84.99
Save up to 10%*
Book icon
Image for Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author: Cabalar, Pedro Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 26/08/2013 ISBN/EAN: 9783642405631 Dewey: 005.115
stars icon

Usually dispatched within 4 weeks

£63.99
Save up to 10%*
Book icon
Image for Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Author: Schulte, Christian Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 21/08/2013 ISBN/EAN: 9783642406263 Dewey: 005.116
stars icon

Usually dispatched within 4 weeks

£76.49
RRP £84.99
Save 10%
Book icon
Image for Boolean Function Complexity : Advances and Frontiers

Boolean Function Complexity : Advances and Frontiers

Author: Jukna, Stasys Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 22/02/2014 ISBN/EAN: 9783642431449 Dewey: 511.352
stars icon

Stock expected by 13/08/2021

£47.99
RRP £59.99
Save 20%
Book icon
Image for Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II : Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Ang

Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II : Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Ang

Author: Zermelo, Ernst Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 14/04/2014 ISBN/EAN: 9783642432316 Dewey: 511.322
stars icon

Usually dispatched within 4 weeks

£98.99
RRP £109.99
Save 10%
Book icon
Image for Condition : The Geometry of Numerical Algorithms

Condition : The Geometry of Numerical Algorithms

Author: Burgisser, Peter Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 22/08/2015 ISBN/EAN: 9783642440120 Dewey: 004
stars icon

Usually dispatched within 4 weeks

£89.10
RRP £99.00
Save 10%
Book icon
Image for Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

Author: Marcinkowski, Jerzy Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 02/09/2004 ISBN/EAN: 9783540230243 Dewey: 005.131
stars icon

Usually dispatched within 4 weeks

£90.00
Save up to 10%*
Book icon
Image for Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006, Proceedings

Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006, Proceedings

Author: Kralovic, Rastislav Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 11/08/2006 ISBN/EAN: 9783540377917 Dewey: 004.1
stars icon

Usually dispatched within 4 weeks

£119.99
Save up to 10%*
Book icon
Image for Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Author: Gabbay, Dov M. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 29/06/1994 ISBN/EAN: 9783540582410 Dewey: 004.0151
stars icon

Usually dispatched within 4 weeks

£94.50
Save up to 10%*
Book icon
Image for Large-Scale Scientific Computing : 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers

Large-Scale Scientific Computing : 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers

Author: Lirkov, Ivan Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 04/08/2014 ISBN/EAN: 9783662438794 Dewey: 502.85
stars icon

Usually dispatched within 4 weeks

£69.99
Save up to 10%*
Book icon
Image for Introduction to cryptography  : principles and applications

Introduction to cryptography : principles and applications

Author: Delfs, Hans Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Laminated
Published: 09/10/2015 ISBN/EAN: 9783662479735 Dewey: 005.82
stars icon

Usually dispatched within 4 weeks

£49.49
RRP £54.99
Save 10%
Book icon
Image for Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Author: Italiano, Giuseppe F. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 18/08/2015 ISBN/EAN: 9783662480533 Dewey: 004.0151
stars icon

Usually dispatched within 4 weeks

£64.99
Save up to 10%*
Book icon
Image for Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,

Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,

Author: Jacobs, Bart Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 23/03/2016 ISBN/EAN: 9783662496299 Dewey: 005.1
stars icon

Usually dispatched within 4 weeks

£51.99
RRP £64.99
Save 20%
Book icon
Image for High Performance Computing in Science and Engineering '10 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010

High Performance Computing in Science and Engineering '10 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010

Author: Nagel, Wolfgang E. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 23/08/2016 ISBN/EAN: 9783662506158 Dewey: 502.85
stars icon

Usually dispatched within 4 weeks

£149.99
Save up to 10%*
Book icon
Image for GPU Solutions to Multi-scale Problems in Science and Engineering

GPU Solutions to Multi-scale Problems in Science and Engineering

Author: Yuen, David A. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 23/08/2016 ISBN/EAN: 9783662506912 Dewey: 518
stars icon

Usually dispatched within 4 weeks

£123.00
Save up to 10%*
Book icon
Image for Higher-Order Computability

Higher-Order Computability

Author: Longley, John Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 23/08/2016 ISBN/EAN: 9783662517116 Dewey: 004.0151
stars icon

Stock expected by 11/08/2021

£71.99
RRP £89.99
Save 20%
Book icon
Image for Monte Carlo and  Quasi-Monte Carlo Methods 2010

Monte Carlo and Quasi-Monte Carlo Methods 2010

Author: Plaskota, Leszek Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Format: Paperback / softback
Published: 23/08/2016 ISBN/EAN: 9783662521588 Dewey: 518.282
stars icon

Stock expected by 11/08/2021

£108.80
RRP £136.00
Save 20%
Add to basket
Display    items per page

*Variable discounts between 0% and 10% are applied to items where BBfS cannot determine exact discounts from suppliers