Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (755)
Age Range
All Ranges
15+ (69)
All Ages (18)
Country
All Countries
Germany (263)
United States (211)
United Kingdom (113)
Switzerland (70)
Singapore (21)
More...
    Results for "Java Programming"
    Java Programming
    992 results
    Sold By
    All Sellers
    Fishpond (755)
    Age Range
    All Ranges
    15+ (69)
    All Ages (18)
    Country
    All Countries
    Germany (263)
    United States (211)
    United Kingdom (113)
    Switzerland (70)
    Singapore (21)
    More...
      Related Searches: 
      java programming from the beginning     java programming farrell     java programming language tutorial     advanced java programming     murach java programming     balaguruswamy programming java     java programming tutorial     java programming computers
      992 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Types for Proofs and ­Programs (International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Marino Miculan, Ivan Scagnetto, Furio Honsell
      Types for Proofs and ­Programs (International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Marino Miculan, Ivan Scagnetto, Furio Honsell
      HK$496
      OpenMP Shared Memory ­Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)
      By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski
      OpenMP Shared Memory ­Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)
      By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski
      HK$551
      B 2007 Formal Specification­ and Development in B (7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jacques Julliand, Olga Kouchnarenko
      B 2007 Formal Specification­ and Development in B (7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jacques Julliand, Olga Kouchnarenko
      HK$500
      Static Analysis (14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Hanne Riis Nielson, Gilberto File
      Static Analysis (14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Hanne Riis Nielson, Gilberto File
      HK$556
      Algebraic Methodology and ­Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Jose Meseguer, Grigore Rosu
      Algebraic Methodology and ­Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Jose Meseguer, Grigore Rosu
      HK$540
      Verified Software (Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Natarajan Shankar, Jim Woodcock
      Verified Software (Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Natarajan Shankar, Jim Woodcock
      HK$500
      Formal Methods for ­Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
      Formal Methods for ­Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
      HK$500
      Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Valeria Bertacco, Axel Legay
      Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Valeria Bertacco, Axel Legay
      HK$533
      Declarative Programming and ­Knowledge Management (Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Inte ..)
      By Michael Hanus, Ricardo Rocha
      Declarative Programming and ­Knowledge Management (Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Inte ..)
      By Michael Hanus, Ricardo Rocha
      HK$740
      Programming Languages and ­Systems (12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings (Lecture Notes in Computer Science))
      By Jacques Garrigue
      Programming Languages and ­Systems (12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings (Lecture Notes in Computer Science))
      By Jacques Garrigue
      HK$889
      Logic-Based Program ­Synthesis and Transformation (24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Maurizio Proietti, Hirohisa Seki
      Logic-Based Program ­Synthesis and Transformation (24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Maurizio Proietti, Hirohisa Seki
      HK$500
      Runtime Verification (6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Ezio Bartocci, Rupak Majumdar
      Runtime Verification (6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Ezio Bartocci, Rupak Majumdar
      HK$860
      Formal Methods (Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering))
      By Marcio Cornelio, Bill Roscoe
      Formal Methods (Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering))
      By Marcio Cornelio, Bill Roscoe
      HK$700
      Trends in Functional ­Programming (16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Manuel Serrano, Jurriaan Hage
      Trends in Functional ­Programming (16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Manuel Serrano, Jurriaan Hage
      HK$673
      NASA Formal Methods (8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Programming and Software Engineering))
      By Sanjai Rayadurgam, Oksana Tkachuk
      NASA Formal Methods (8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Programming and Software Engineering))
      By Sanjai Rayadurgam, Oksana Tkachuk
      HK$937
      Programming Languages (20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))
      By Fernando Castor, Yu David Liu
      Programming Languages (20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))
      By Fernando Castor, Yu David Liu
      HK$500
      Formal Aspects of Component­ Software (14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Programming and Software Engineering))
      By Jose Proenca, Markus Lumpe
      Formal Aspects of Component­ Software (14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Programming and Software Engineering))
      By Jose Proenca, Markus Lumpe
      HK$797
      Static Analysis (16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jens Palsberg, Zhendong Su
      Static Analysis (16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jens Palsberg, Zhendong Su
      HK$530
      Formal Methods for ­Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine
      Formal Methods for ­Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine
      HK$500
      Rule Interchange and ­Applications (International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Programming and Software Engineering))
      By Adrian Paschke, Guido Governatori, John A. Hall
      Rule Interchange and ­Applications (International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Programming and Software Engineering))
      By Adrian Paschke, Guido Governatori, John A. Hall
      HK$530
      Integrated Formal Methods (8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Dominique Méry, Stephan Merz
      Integrated Formal Methods (8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Dominique Méry, Stephan Merz
      HK$553
      Fundamentals of Software ­Engineering (Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farhad Arbab, Marjan Sirjani
      Fundamentals of Software ­Engineering (Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farhad Arbab, Marjan Sirjani
      HK$560
      Runtime Verification (Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Koushik Sen, Sarfaz Khurshid
      Runtime Verification (Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Koushik Sen, Sarfaz Khurshid
      HK$560
      Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))
      By Einar Broch Johnsen, Luigia Petre
      Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))
      By Einar Broch Johnsen, Luigia Petre
      HK$540
      Previous Page 1 ... 3 4 5 6 7 8 9 10 11 Next Page
      Previous Page 1 ... 3 4 5 6 7 8 9 10 11 Next Page