Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (337)
Age Range
All Ranges
15+ (337)
All Ages (83)
Country
All Countries
Germany (291)
Switzerland (42)
United Kingdom (3)
United States (1)
    Results for "Springer Science"
    Springer Science
    351 results
    Sold By
    All Sellers
    Fishpond (337)
    Age Range
    All Ranges
    15+ (337)
    All Ages (83)
    Country
    All Countries
    Germany (291)
    Switzerland (42)
    United Kingdom (3)
    United States (1)
      Related Searches: 
      springer science fiction
      351 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      ECOOP 2014 -- ­Object-Oriented Programming (28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Richard Jones
      ECOOP 2014 -- ­Object-Oriented Programming (28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Richard Jones
      HK$600
      Concurrent Objects and ­Beyond (Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Satoshi Matsuoka
      Concurrent Objects and ­Beyond (Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Satoshi Matsuoka
      HK$556
      Testing Software and ­Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Mercedes G. Merayo, Edgardo Montes de Oca
      Testing Software and ­Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Mercedes G. Merayo, Edgardo Montes de Oca
      HK$775
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Specialized­ Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Specialized­ Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)
      By Tiziana Margaria, Bernhard Steffen
      HK$936
      3
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. ­Technologies for Mastering ­Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. ­Technologies for Mastering ­Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))
      By Tiziana Margaria, Bernhard Steffen
      HK$900
      Verification, Model ­Checking, and Abstract ­Interpretation (16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues))
      By Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
      Verification, Model ­Checking, and Abstract ­Interpretation (16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues))
      By Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
      HK$860
      Perspectives of System ­Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Andrei Voronkov, Irina Virbitskaite
      Perspectives of System ­Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Andrei Voronkov, Irina Virbitskaite
      HK$840
      Logic for Programming, ­Artificial Intelligence, and­ Reasoning (20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues))
      By Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
      Logic for Programming, ­Artificial Intelligence, and­ Reasoning (20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Theoretical Computer Science and General Issues))
      By Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
      HK$936
      Verification, Model ­Checking, and Abstract ­Interpretation (17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings: 2016 (Lecture Notes in Computer Science))
      By Barbara Jobstmann, K. Rustan M. Leino
      Verification, Model ­Checking, and Abstract ­Interpretation (17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings: 2016 (Lecture Notes in Computer Science))
      By Barbara Jobstmann, K. Rustan M. Leino
      HK$576
      Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Xavier Rival
      Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Xavier Rival
      HK$560
      Logic, Language, ­Information, and Computation (25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
      Logic, Language, ­Information, and Computation (25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
      HK$960
      Transactions on ­High-Performance Embedded ­Architectures and Compilers ­V (Lecture Notes in Computer Science)
      By Per Stenström, Cristina Silvano, Koen Bertels, Michael Schulte
      Transactions on ­High-Performance Embedded ­Architectures and Compilers ­V (Lecture Notes in Computer Science)
      By Per Stenström, Cristina Silvano, Koen Bertels, Michael Schulte
      HK$500
      Object-Oriented Programming ­Languages (Interpretation (Undergraduate Topics in Computer Science))
      By Craig, Iain D.
      Object-Oriented Programming ­Languages (Interpretation (Undergraduate Topics in Computer Science))
      By Craig, Iain D.
      HK$368
      Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))
      By Alessandro Ricci, Philipp Haller
      Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))
      By Alessandro Ricci, Philipp Haller
      HK$480
      Relational and Algebraic ­Methods in Computer Science (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Jules Desharnais, Walter Guttmann, Stef Joosten
      Relational and Algebraic ­Methods in Computer Science (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Jules Desharnais, Walter Guttmann, Stef Joosten
      HK$674
      Engineering Trustworthy ­Software Systems (Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Jonathan P. Bowen, Zhiming Liu, Zili Zhang
      Engineering Trustworthy ­Software Systems (Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Jonathan P. Bowen, Zhiming Liu, Zili Zhang
      HK$500
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))
      By Tiziana Margaria, Bernhard Steffen
      HK$582
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. ­Verification (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes i ..)
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. ­Verification (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes i ..)
      By Tiziana Margaria, Bernhard Steffen
      HK$560
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Distributed­ Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Distributed­ Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)
      By Tiziana Margaria, Bernhard Steffen
      HK$560
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Industrial ­Practice (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Theoretical Computer Science and General Issues) (Lecture ..)
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation. Industrial ­Practice (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Theoretical Computer Science and General Issues) (Lecture ..)
      By Tiziana Margaria, Bernhard Steffen
      HK$560
      Verified Software. Theories,­ Tools, and Experiments (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Ruzica Piskac, Philipp Rümmer
      Verified Software. Theories,­ Tools, and Experiments (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Ruzica Piskac, Philipp Rümmer
      HK$500
      Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))
      By Christian Colombo, Martin Leucker
      Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))
      By Christian Colombo, Martin Leucker
      HK$738
      Practical Aspects of ­Declarative Languages (21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By José Júlio Alferes, Moa Johansson
      Practical Aspects of ­Declarative Languages (21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By José Júlio Alferes, Moa Johansson
      HK$500
      Models, Mindsets, Meta (The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues))
      By Tiziana Margaria, Susanne Graf, Kim G. Larsen
      Models, Mindsets, Meta (The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues))
      By Tiziana Margaria, Susanne Graf, Kim G. Larsen
      HK$538
      12345678910 Next Page
      12345678910 Next Page