Submit an Enquiry or Call Us +44 (0) 1482 384660
131 results matched your search
  • Add to basket
  • More Options
Book icon
Image for AI*IA 2013: Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings

AI*IA 2013: Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings

Author: Baldoni, Matteo Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 07/11/2013 ISBN/EAN: 9783319035239 Dewey: 006.3
stars icon

Usually dispatched within 4 weeks

£79.99
Save up to 10%*
Book icon
Image for Automated reasoning  : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014

Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014

Author: Demri, Stephane Publisher: Springer International Publishing AG Format: Paperback
Published: 04/08/2014 ISBN/EAN: 9783319085869 Dewey: 006.333
stars icon

Usually dispatched within 4 weeks

£64.99
Save up to 10%*
Book icon
Image for Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Author: Biere, Armin Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 04/08/2014 ISBN/EAN: 9783319088662 Dewey: 005.14
stars icon

Usually dispatched within 4 weeks

£89.99
Save up to 10%*
Book icon
Image for Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings

Author: Ferme, Eduardo Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 08/09/2014 ISBN/EAN: 9783319115573 Dewey: 006.3
stars icon

Usually dispatched within 4 weeks

£74.99
Save up to 10%*
Book icon
Image for Rough Sets and Knowledge Technology : 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014, Proceedings

Rough Sets and Knowledge Technology : 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014, Proceedings

Author: Miao, Duoqian Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 13/10/2014 ISBN/EAN: 9783319117393 Dewey: 006.3
stars icon

Usually dispatched within 4 weeks

£84.99
Save up to 10%*
Book icon
Image for Combinatorial Optimization and Applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings

Combinatorial Optimization and Applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings

Author: Zhang, Zhao Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 19/11/2014 ISBN/EAN: 9783319126906 Dewey: 519.640285
stars icon

Usually dispatched within 4 weeks

£74.99
Save up to 10%*
Book icon
Image for Software, services, and systems  : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering

Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering

Author: De Nicola, Rocco Publisher: Springer International Publishing AG Format: Paperback
Published: 04/02/2015 ISBN/EAN: 9783319155449 Dewey: 005.1
stars icon

Stock expected 07/08/2021

£59.99
RRP £74.99
Save 20%
Book icon
Image for Evolutionary multi-criterion optimization  : 8th International Conference, EMO 2015, Guimaraes, Portugal, March 29-April 1, 2015Part II

Evolutionary multi-criterion optimization : 8th International Conference, EMO 2015, Guimaraes, Portugal, March 29-April 1, 2015Part II

Author: Gaspar-Cunha, Antonio Publisher: Springer International Publishing AG Format: Paperback
Published: 19/03/2015 ISBN/EAN: 9783319158914 Dewey: 004.0151
stars icon

Stock expected 07/08/2021

£59.99
RRP £74.99
Save 20%
Book icon
Image for FM 2015  : formal methods

FM 2015 : formal methods

Author: Bjorner, Nikolaj Publisher: Springer International Publishing AG Format: Paperback
Published: 02/06/2015 ISBN/EAN: 9783319192482 Dewey: 004.0151
stars icon

Stock expected by 07/08/2021

£63.99
RRP £79.99
Save 20%
Book icon
Image for Advances in swarm and computational intelligence  : 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, proceeding

Advances in swarm and computational intelligence : 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, proceeding

Author: Tan, Ying Publisher: Springer International Publishing AG Format: Paperback
Published: 11/06/2015 ISBN/EAN: 9783319204659 Dewey: 006.3824
stars icon

Stock expected by 05/08/2021

£55.99
RRP £69.99
Save 20%
Book icon
Image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015. Proceedings

Author: Destercke, Sebastien Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 29/06/2015 ISBN/EAN: 9783319208060 Dewey: 003.54
stars icon

Stock expected by 05/08/2021

£51.99
RRP £64.99
Save 20%
Book icon
Image for Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Author: Kroening, Daniel Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 27/07/2015 ISBN/EAN: 9783319216898 Dewey: 005.1015113
stars icon

Stock expected 07/08/2021

£55.99
RRP £69.99
Save 20%
Book icon
Image for Algorithms and Data Structures : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings

Algorithms and Data Structures : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings

Author: Dehne, Frank Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 15/07/2015 ISBN/EAN: 9783319218397 Dewey: 005.73
stars icon

Usually dispatched within 4 weeks

£55.99
RRP £69.99
Save 20%
Book icon
Image for Parallel Computing Technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Parallel Computing Technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Author: Malyshkin, Victor Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 05/08/2015 ISBN/EAN: 9783319219080 Dewey: 004.35
stars icon

Stock expected by 07/08/2021

£51.99
RRP £64.99
Save 20%
Book icon
Image for Logic, Rewriting, and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday

Author: Marti-Oliet, Narciso Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 21/08/2015 ISBN/EAN: 9783319231648 Dewey: 005.115
stars icon

Stock expected by 05/08/2021

£55.99
RRP £69.99
Save 20%
Book icon
Image for Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Author: Pesant, Gilles Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 13/08/2015 ISBN/EAN: 9783319232188 Dewey: 005.116
stars icon

Usually dispatched within 4 weeks

£74.99
Save up to 10%*
Book icon
Image for Logic programming and nonmonotonic reasoning  : 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015

Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015

Author: Calimeri, Francesco Publisher: Springer International Publishing AG Format: Paperback
Published: 07/09/2015 ISBN/EAN: 9783319232638 Dewey: 004.0151
stars icon

Usually dispatched within 4 weeks

£51.99
RRP £64.99
Save 20%
Book icon
Image for Automated technology for verification and analysis  : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, proceedings

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, proceedings

Author: Finkbeiner, Bernd Publisher: Springer International Publishing AG Format: Paperback
Published: 22/11/2015 ISBN/EAN: 9783319249520 Dewey: 005.1
stars icon

Stock expected by 07/08/2021

£43.99
RRP £54.99
Save 20%
Book icon
Image for Rough sets and knowledge technology  : 10th International Conference, RSKT 2015

Rough sets and knowledge technology : 10th International Conference, RSKT 2015

Author: Ciucci, Davide Publisher: Springer International Publishing AG Format: Paperback
Published: 28/11/2015 ISBN/EAN: 9783319257532 Dewey: 006.3
stars icon

Usually dispatched within 4 weeks

£51.99
RRP £64.99
Save 20%
Book icon
Image for Chinese lexical semantics  : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, revised selected papers

Chinese lexical semantics : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, revised selected papers

Author: Lu, Qin Publisher: Springer International Publishing AG Format: Paperback
Published: 28/01/2016 ISBN/EAN: 9783319271934 Dewey: 006.35
stars icon

Usually dispatched within 4 weeks

£71.99
RRP £89.99
Save 20%
Book icon
Image for Language and automata theory and applications  : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, proceedings

Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, proceedings

Author: Dediu, Adrian-Horia Publisher: Springer International Publishing AG Format: Paperback
Published: 26/03/2016 ISBN/EAN: 9783319299990 Dewey: 006.31
stars icon

Usually dispatched within 4 weeks

£79.99
Save up to 10%*
Book icon
Image for Parallel processing and applied mathematics  : 11th international conference, PPAM 2013, Krakow, Poland, September 6-9, 2015, revised selected papersPart I

Parallel processing and applied mathematics : 11th international conference, PPAM 2013, Krakow, Poland, September 6-9, 2015, revised selected papersPart I

Author: Wyrzykowski, Roman Publisher: Springer International Publishing AG Format: Paperback
Published: 01/05/2016 ISBN/EAN: 9783319321486 Dewey: 004.35
stars icon

Usually dispatched within 4 weeks

£63.99
RRP £79.99
Save 20%
Book icon
Image for Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Author: Wyrzykowski, Roman Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 03/04/2016 ISBN/EAN: 9783319321516 Dewey: 005.1
stars icon

Stock expected 07/08/2021

£63.99
RRP £79.99
Save 20%
Book icon
Image for Bent functions  : fundamentals and results

Bent functions : fundamentals and results

Author: Mesnager, Sihem Publisher: Springer International Publishing AG Format: Laminated
Published: 18/08/2016 ISBN/EAN: 9783319325934 Dewey: 003.54
stars icon

Usually dispatched within 4 weeks

£134.99
RRP £149.99
Save 10%
Book icon
Image for Mathematical aspects of computer and information sciences  : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, revised selected papers

Mathematical aspects of computer and information sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, revised selected papers

Author: Kotsireas, Ilias S. Publisher: Springer International Publishing AG Format: Paperback
Published: 17/04/2016 ISBN/EAN: 9783319328584 Dewey: 004.0151
stars icon

Stock expected by 07/08/2021

£63.99
RRP £79.99
Save 20%
Book icon
Image for Fundamentals of Adaptive Signal Processing

Fundamentals of Adaptive Signal Processing

Author: Uncini, Aurelio Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 24/09/2016 ISBN/EAN: 9783319353418 Dewey: 006.3
stars icon

Usually dispatched within 4 weeks

£67.49
RRP £74.99
Save 10%
Book icon
Image for Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures

Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures

Author: Doberkat, Ernst-Erich Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 23/08/2016 ISBN/EAN: 9783319368696 Dewey: 005.131
stars icon

Stock expected by 03/08/2021

£35.99
RRP £44.99
Save 20%
Book icon
Image for Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 : Selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 : Selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA

Author: Kirby, Robert M. Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 23/08/2016 ISBN/EAN: 9783319387390 Dewey: 004
stars icon

Stock expected by 03/08/2021

£86.40
RRP £108.00
Save 20%
Book icon
Image for Quantum [Un]Speakables II : Half a Century of Bell's Theorem

Quantum [Un]Speakables II : Half a Century of Bell's Theorem

Author: Bertlmann, Reinhold Publisher: Springer International Publishing AG Format: Hardback
Published: 21/11/2016 ISBN/EAN: 9783319389851 Dewey: 530.12
stars icon

Usually dispatched within 4 weeks

£47.69
RRP £52.99
Save 10%
Book icon
Image for Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Author: Olivetti, Nicola Publisher: Springer International Publishing AG Format: Paperback / softback
Published: 12/06/2016 ISBN/EAN: 9783319402284 Dewey: 006.3
stars icon

Usually dispatched within 4 weeks

£51.99
RRP £64.99
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