Hello! Enter your postcode for delivery time
Track My Order
Help Centre
+61 2 88805247
Likes
Notifications
My Wish Lists Login / Join
My Wish Lists My Account Sign Out
No new notifications.
Booktopia
Australia's local bookstore
  • ALL
  • BOOKS
  • FICTION
  • NON-FICTION
  • AUSTRALIAN
  • KIDS
  • SCHOOL
  • ACADEMIC & TEXTBOOKS
      • University

      • Accounting, Business & Finance
      • Biology & Science
      • Computing & Programming
      • Education
      • Engineering & Physics
      • English & Literature
      • Environment & Planning
      • Health Care
      • History
      • Language
      •  

      • Law
      • Mathematics & Statistics
      • Media, Communication & Arts
      • Medicine
      • Nursing
      • Politics
      • Psychology
      • Social Sciences
      • Study Skills
      • Vocational

      • Trades
      • Hospitality & Tourism
      • Business, Financial & Management
      • Nursing & Health Care
      • IT, Networking & Computer Repair
      • Education & Early Childhood
      • Social Working & Counselling
      • Design, Art, Fashion & Photography
    Explore All Academic >
  • EBOOKS
      • Fiction

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Fantasy
      • Thrillers
      • Science Fiction
      • Kids & YA

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
      • Non-Fiction

      • Biographies
      • Mind, Body, Spirit
      • Business & Management
      • Family & Health
      • Gardening
      • History
      • Politics & Government
      • Psychology
      • Science
      • Textbooks

      • Education
      • Medicine
      • Accounting & Finance
      • Law
      • Psychology
      • Mathematics
      • Language & Linguistics
    Explore All eBooks >
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFTS
  • BARGAINS
  • BLOG
  • BOOKS
  • EBOOKS
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFT IDEAS
  • BLOG
 
CHECKOUT
    • FICTION

        Browse Fiction

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies
        • Popular Subjects

        • Australian Fiction
        • Classic Fiction
        • Crime & Mystery
        • Erotic Fiction
        • Fantasy
        • Graphic Novels & Manga
        • Historical
        • Modern & Contemporary
        •  

        • Poetry
        • Romance
        • Science Fiction
        • Thrillers & Mystery
        • Young Adult
        • Popular Authors

        • Margaret Atwood
        • Trent Dalton
        • Jane Harper
        • Stephen King
        • Dervla McTiernan
        • Liane Moriarty
        • Matthew Reilly
        • Sally Rooney
        • Popular Series

        • After
        • A Game of Thrones
        • Jack Reacher
        • Jack West
        • The Seven Sisters
        • Outlander
        • The Witcher
        • Wolf Hall

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
      • Explore All Fiction >
    • NON-FICTION

        Browse Non-Fiction

      • Bestselling
      • Bargains
      • Signed Copies
        • Popular Subjects

        • Animals & Nature
        • Arts & Entertainment
        • Biographies & True Stories
        • Business & Management
        • Comedy & Humour
        • Computing & IT
        • Cooking, Food & Drink
        • Crafts & Handiwork
        • Family & Health
        • Fashion & Style Guides
        • Fitness & Diet
        • Gardening
        • Green Lifestyle & Self-Sufficiency
        • History
        • House & Home
        •  

        • Language & Linguistics
        • Mind, Body, Spirit
        • Politics & Government
        • Popular Psychology
        • Religion & Beliefs
        • Science
        • Self Help & Personal Development
        • Society & Culture
        • Sport & Recreation
        • Transportation
        • Travel & Holidays
        • Biographies & True Stories

        • Arts & Entertainment Biographies
        • Historical Biographies
        • Sport Biographies
        • Travel Writing
        • True Crime
        • True Stories of Heroism
        • Cooking, Food & Drink

        • Baking & Desserts
        • Cooking for & with Children
        • Health & Wholefood Cookery
        • National & Regional Cuisine
        • TV & Celebrity Chefs
        • Vegetarian Cookery
        • Self Help & Personal Development

        • Advice on Careers & Success
        • Advice on Parenting
        • Family, Health & Relationships
        • Fitness & Diet
        • Mind, Body, Spirit
        • Popular Psychology
        • Professional

        • Business
        • Law
        • Medicine

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
      • Explore All Non-Fiction >
    • KIDS & YA

        Browse Kids & YA

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies
        • Browse by Age

        • Under 3
        • Pre-School (3-6)
        • School Age (6-9)
        • Pre-Teen (9-12)
        • Teen (12-15)
        • Young Adult (16+)
        • Popular Authors

        • Aaron Blabey
        • Anh Do
        • J.K. Rowling
        • Emily Rodda
        • Rick Riordan
        • Mem Fox
        • David Walliams
        • Cassandra Clare
        • Popular Series

        • Harry Potter
        • Bluey
        • The Treehouse Series
        • Nevermoor
        • Dog Man
        • Billie B Brown
        • Fun for Kids
        • Education

        • Education Central
        • Pre School
        • Primary School
        • Secondary School

        More:

      • CBCA Awards
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
      • Explore All Kids & YA Books >
    • AUSTRALIAN
    • EDUCATION
        • Pre-School / Kindergarten

        • Pre-School & Day-Care
        • Starting School
        • Early Learning
        • ABC Reading Eggs
        • Picks for Toddlers
        • Picks for Pre-school
        • Sleeping Easy
        • Managing Manners
        • Big Picture Books
        • Understanding Emotions
        • Primary

        • Bestselling Primary Texts
        • Excel Guides for Primary
        • All About Sport
        • Reading
        • Maths
        • Primary Reference
        • CBCA Books
        • Secondary

        • Bestselling Secondary Texts
        • Accounting Business & Legal
        • Media, Arts & Religion
        • Reference & Study Guides
        • Guides to the School Certificates
        • Biology & Science
        • English & Literature
        • History
        • Languages
        • Maths
        •  

        • Poetry
        • Plays
        • Classic Fiction
        • Guides and Resources

        • NAPLAN
        • Anti-Bullying Books
        • Empowering Girls
        • Introducing Indigenous Culture
        • Oxford Dictionaries
      Education Central
      Explore All Education >
    • DIGITAL TEXTBOOKS
    • ACADEMIC
        • University

        • Accounting, Business & Finance
        • Biology and Sciences
        • Computing & Programming
        • Education
        • Engineering & Physics
        • English & Literature
        • Environment & Planning
        • Health Care
        •  

        • History
        • Language
        • Law
        • Mathematics & Statistics
        • Media, Communication & Arts
        • Medicine
        • Nursing
        • Politics
        •  

        • Psychology
        • Social Sciences
        • Study Skills
        • Vocational

        • Trades
        • Hospitality & Tourism
        • Business, Financial & Management
        • Nursing & Health Care
        • IT, Networking & Computer Repair
        • Education & Early Childhood
        • Social Working & Counselling
        • Design, Art, Fashion & Photography
      Explore All Academic >
    • BARGAINS
    • GIFT CERTIFICATES
Books > Non-Fiction > Computing & I.T. > Computer Programming & Software Development > Compilers & Interpreters
Get Free Shipping on orders over $79

Compilers & Interpreters

REFINE YOUR RESULTS

SUBJECTS

  • Agile Programming
  • Algorithms & Data Structures
  • Aspect Programming & AOP
  • Compilers & Interpreters
  • Database Programming
  • Extreme Programming
  • Functional Programming
  • Games Development & Programming
  • Graphics Programming
  • Macintosh Programming
  • Microsoft Programming
  • Mobile & Handheld Device Programming & Apps Programming
  • Network Programming
  • Object-Oriented Programming or OOP
  • Program Concepts & Learning to Program
  • Programming & Scripting Languages
  • Software Engineering
  • Web Programming

LISTS

  • All Books (1054)
  • Hot Prices (5)
  • Audiobooks (19)

PRICE

CUSTOMER RATING

  •  
    (1) 
  •  
    & Up (1) 
  •  
    & Up (1) 

LANGUAGE

  • Book
    (1054)
  • eBooks
    (1980)
  • Audiobooks
    (19)
1980 Results | View 24 / 100
< 1 ... 17 18 19 20 >
Sort By
Sort By:
  • System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    System Analysis and Modeling: Theory and Practice
    7th International Workshop, SAM 2012, Innsbruck...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
    Languages and Compilers for Parallel Computing
    25th International Workshops, LCPC 2012, Tokyo,...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Essays Dedicted to Samson Abramsky on the Occas...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    Web Services and Formal Methods
    9th International Workshop, WS-FM 2012, Tallinn...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Author
    Tests and Proofs
    7th International Conference, TAP 2013, Budapes...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Transactions on Pattern Languages of Programming III
    Transactions on Pattern Languages of Programming III
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    Static Analysis
    20th International Symposium, SAS 2013, Seattle...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Afterpay
  • Safe and Secure Software Reuse : 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings - Author
    Safe and Secure Software Reuse
    13th International Conference on Software Reuse...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Model Transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings - Author
    Theory and Practice of Model Transformations
    6th International Conference, ICMT 2013, Budape...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
    SDL 2013: Model Driven Dependability Engineering
    16th International SDL Forum, Montreal, Canada,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    Model Checking Software
    20th International Symposium, SPIN 2013, Stony ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    Modelling Foundations and Applications
    9th European Conference, ECMFA 2013, Montpellie...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings - Author
    Software Architecture
    7th European Conference, ECSA 2013, Montpellier...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    Structured Object-Oriented Formal Language and Method
    Second International Workshop, SOFL 2012, Kyoto...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings - Author
    Search Based Software Engineering
    5th International Symposium, SSBSE 2013, St. Pe...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2013: Parallel Processing : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
    Euro-Par 2013: Parallel Processing
    19th International Conference, Aachen, Germany,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings - Author
    Reachability Problems
    7th International Workshop, RP 2013, Uppsala, S...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Formal Methods and Software Engineering
    15th International Conference on Formal Enginee...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
    Model-Driven Engineering Languages and Systems
    16th International Conference, MODELS 2013, Mia...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings - Author
    Programming Languages and Systems
    11th International Symposium, APLAS 2013, Melbo...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ada 2012 Rationale : The Language -- The Standard Libraries - John Barnes
    Ada 2012 Rationale
    The Language -- The Standard Libraries
    John Barnes
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Trends in Functional Programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers - Author
    Trends in Functional Programming
    14th International Symposium, TFP 2013, Provo, ...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
    Practical Aspects of Declarative Languages
    16th International Symposium, PADL 2014, San Di...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Verified Software: Theorie, Tools, Experiments
    5th International Conference, VSTTE 2013, Menlo...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
    Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance
    17th International GI/ITG Conference, MMB & DFT...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    From Programs to Systems - The Systems Perspective in Computing
    ETAPS Workshop, FPS 2014, in Honor of Joseph Si...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Compiler Construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings - Author
    Compiler Construction
    23rd International Conference, CC 2014, Held as...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
    Functional and Logic Programming
    12th International Symposium, FLOPS 2014, Kanaz...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2014: Parallel Processing : 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
    Euro-Par 2014: Parallel Processing
    20th International Conference, Porto, Portugal,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
    Concurrent Objects and Beyond
    Papers dedicated to Akinori Yonezawa on the Occ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings - Author
    Software Architecture
    8th European Conference, ECSA 2014, Vienna, Aus...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
    Theoretical Aspects of Computing - ICTAC 2014
    11th International Colloquium, Bucharest, Roman...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
    Model-Driven Engineering Languages and Systems
    17th International Conference, MODELS 2014, Val...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    Formal Methods and Software Engineering
    16th International Conference on Formal Enginee...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
    Automated Technology for Verification and Analysis
    12th International Symposium, ATVA 2014, Sydney...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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 - Author
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    6th International Symposium, ISoLA 2014, Imperi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Author
    Hardware and Software: Verification and Testing
    10th International Haifa Verification Conferenc...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings - Author
    Software Reuse for Dynamic Systems in the Cloud and Beyond
    14th International Conference on Software Reuse...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trends in Functional Programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
    Trends in Functional Programming
    15th International Symposium, TFP 2014, Soester...
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering - Author
    Software, Services, and Systems
    Essays Dedicated to Martin Wirsing on the Occas...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
    Unifying Theories of Programming
    5th International Symposium, UTP 2014, Singapor...
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings - Author
    Formal Methods: Foundations and Applications
    17th Brazilian Symposium, SBMF 2014, Maceio, AL...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Author
    Tools and Algorithms for the Construction and Analysis of Systems
    21st International Conference, TACAS 2015, Held...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
    Coordination Models and Languages
    17th IFIP WG 6.1 International Conference, COOR...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
    Fundamentals of Software Engineering
    6th International Conference, FSEN 2015, Tehran...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deductive Software Verification - The KeY Book : From Theory to Practice
    Deductive Software Verification - The KeY Book
    From Theory to Practice
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Advances in Data Mining. Applications and Theoretical Aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
    Advances in Data Mining. Applications and Theoretical Aspects
    17th Industrial Conference, ICDM 2017, New York...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    19th International Conference, VMCAI 2018, Los ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers - Author
    ICT in Education, Research, and Industrial Applications
    8th International Conference, ICTERI 2012, Kher...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
    Evaluation of Novel Approaches to Software Engineering
    6th International Conference, ENASE 2011, Beiji...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software and Data Technologies : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers - Author
    Software and Data Technologies
    5th International Conference, ICSOFT 2010, Athe...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software and Data Technologies : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
    Software and Data Technologies
    7th International Conference, ICSOFT 2012, Rome...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers - Author
    Evaluation of Novel Approaches to Software Engineering
    8th International Conference, ENASE 2013, Anger...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 7th International Conference, ENASE 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected Papers
    Evaluation of Novel Approaches to Software Engineering
    7th International Conference, ENASE 2012, Wrocl...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concrete Semantics : With Isabelle/HOL - Tobias Nipkow
    Concrete Semantics
    With Isabelle/HOL
    Tobias Nipkow and Gerwin Klein
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application - Author
    Handbook of Formal Languages
    Volume 2. Linear Modeling: Background and Appli...
    Author
    eText
    Instant Online Reading*
    $369.01
    BUY EBOOK
  • Handbook of Formal Languages : Volume 1 Word, Language, Grammar - Author
    Handbook of Formal Languages
    Volume 1 Word, Language, Grammar
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automatic SIMD Vectorization of SSA-based Control Flow Graphs - Ralf Karrenberg
    Automatic SIMD Vectorization of SSA-based Control Flow Graphs
    Ralf Karrenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Using Microsoft Dynamics AX : The New Dynamics 'AX 7' - Andreas Luszczak
    Using Microsoft Dynamics AX
    The New Dynamics 'AX 7'
    Andreas Luszczak
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
    Principled Software Development
    Essays Dedicated to Arnd Poetzsch-Heffter on th...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Data Structures and Algorithms with Scala : A Practitioner's Approach with Emphasis on Functional Programming - Bhim P. Upadhyaya
    Data Structures and Algorithms with Scala
    A Practitioner's Approach with Emphasis on Func...
    Bhim P. Upadhyaya
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Computer Music Instruments II : Realtime and Object-Oriented Audio - Victor Lazzarini
    Computer Music Instruments II
    Realtime and Object-Oriented Audio
    Victor Lazzarini
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers - Author
    Central European Functional Programming School
    4th Summer School, CEFP 2011, Budapest, Hungary...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematica® : A Problem-Centered Approach - Roozbeh Hazrat
    Mathematica®
    A Problem-Centered Approach
    Roozbeh Hazrat
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Advanced Lectures on Software Engineering : LASER Summer School 2007/2008
    Advanced Lectures on Software Engineering
    LASER Summer School 2007/2008
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Generic and Indexed Programming
    Generic and Indexed Programming
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
    Empirical Software Engineering and Verification
    International Summer Schools, LASER 2008-2010, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009, Revised Selected Lectures
    Central European Functional Programming School
    Third Summer School, CEFP 2009, Budapest, Hunga...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    Testing Techniques in Software Engineering
    Second Pernambuco Summer School on Software Eng...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures
    Foundations of Security Analysis and Design VI
    FOSAD Tutorial Lectures
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
    Formal Methods for Eternal Networked Software Systems
    11th International School on Formal Methods for...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - Author
    Formal Methods for Model-Driven Engineering
    12th International School on Formal Methods for...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers - Author
    Generative and Transformational Techniques in Software Engineering III
    International Summer School, GTTSE 2009, Braga,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    Tools for Practical Software Verification
    International Summer School, LASER 2011, Elba I...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics - Richard Moot
    The Logic of Categorial Grammars
    A deductive account of natural language syntax ...
    Richard Moot and Christian Retore
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures - Author
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn,...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Introduction to Software Design with Java - Martin P. Robillard
    Introduction to Software Design with Java
    Martin P. Robillard
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deep Learning with Python : A Hands-on Introduction - Nikhil Ketkar
    Deep Learning with Python
    A Hands-on Introduction
    Nikhil Ketkar
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    Algorithms - ESA 2015
    23rd Annual European Symposium, Patras, Greece,...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi - Author
    Specification, Algebra, and Software
    Essays Dedicated to Kokichi Futatsugi
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Tools and Algorithms for the Construction and Analysis of Systems
    20th International Conference, TACAS 2014, Held...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2014 -- Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings - Author
    ECOOP 2014 -- Object-Oriented Programming
    28th European Conference, Uppsala, Sweden, July...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Aspect-Oriented Software Development XI
    Transactions on Aspect-Oriented Software Development XI
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Foundations of Software Science and Computation Structures
    17th International Conference, FOSSACS 2014, He...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings - Author
    Fundamental Approaches to Software Engineering
    17th International Conference, FASE 2014, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Programming Languages and Systems
    22nd European Symposium on Programming, ESOP 20...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers - Author
    Software Engineering for Self-Adaptive Systems
    International Seminar Dagstuhl Castle, Germany,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies -- Ada-Europe 2013 : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
    Reliable Software Technologies -- Ada-Europe 2013
    18th International Conference, Berlin, Germany,...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Hardware and Software: Verification and Testing
    8th International Haifa Verification Conference...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings - Author
    Application and Theory of Petri Nets and Concurrency
    34th International Conference, PETRI NETS 2013,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    NASA Formal Methods
    5th International Symposium, NFM 2013, Moffett ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Compiler Construction
    22nd International Conference, CC 2013, Held as...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Assurances for Self-Adaptive Systems : Principles, Models, and Techniques - Author
    Assurances for Self-Adaptive Systems
    Principles, Models, and Techniques
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    Formal Methods for Components and Objects
    10th International Symposium, FMCO 2011, Turin,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
    Unifying Theories of Programming
    4th International Symposium, UTP 2012, Paris, F...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Software and Data Technologies : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
    Software and Data Technologies
    6th International Conference, ICSOFT 2011, Sevi...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
    Runtime Verification
    Third International Conference, RV 2012, Istanb...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
1980 Results | View 24 / 100
< 1 ... 17 18 19 20 >
Sort By
Sort By:

Join Our Newsletter

Head Office
34-48 Cosgrove Road, South Strathfield NSW 2136
ABN 90 679 610 890
MOBILE SITE

Help Centre

  • Placing An Order
  • Contact Booktopia
  • Terms Of Business
  • Privacy Policy
  • Become An Affiliate
  • Sitemap

Shipping

  • Track My Order
  • Standard Shipping
  • Express Shipping
  • Shipping Timeframes
  • Delivering Your Order
  • New Zealand Orders

About Booktopia

  • Your Local Bookstore
  • Why Buy From Booktopia?
  • Our Awards
  • Booktopia's Charities
  • Booktopia eBooks
  • Work With Us

Bestsellers

  • Babies & Toddlers' Bestseller List
  • Children's Bestseller List
  • Young Adults' Bestseller List
  • Fiction Bestseller List
  • Non-Fiction Bestseller List

Popular Brands

  • ABC Reading Eggs
  • Australian Women's Weekly
  • Bluey
  • Excel Education
  • Dr Seuss
  • For Dummies
  • Harvard Business Review
  • Harry Potter
  • LEGO
  • Little Golden Books
  • Lonely Planet Travel Books
  • No Fear Shakespeare
  • Penguin Black Classics
  • Peppa Pig
  • Teach Yourself
  • Vintage Classics
  • Where's Wally

Popular Series

  • A Court of Thorns and Roses
  • A Game of Thrones
  • Bridgerton
  • Diary of a Wimpy Kid
  • Dune
  • Jack Reacher
  • Jack West
  • Little People, Big Dreams
  • Lord of the Rings
  • Nevermoor
  • Outlander
  • The Bad Guys
  • The Treehouse Series
  • The Wheel of Time
  • The Witcher
  • Wings of Fire
  • Wolf Girl

Popular Authors

  • Brene Brown
  • Bruce Pascoe
  • David Walliams
  • Di Morrissey
  • Donna Hay
  • Fiona McIntosh
  • Helen Garner
  • Jane Harper
  • Liane Moriarty
  • Matthew Reilly
  • Peter FitzSimons
  • Sally Rooney
  • Sarah J. Maas
  • Taylor Jenkins Reid
  • Tim Winton
  • Trent Dalton
  • Yotam Ottolenghi

Popular Subjects

  • Biographies & True Stories
  • Business & Management
  • Cooking, Food & Drink
  • Crafts & Handiwork
  • Family & Health
  • Fitness & Diet
  • History
  • Self-Help & Personal Development
  • Australian Fiction
  • Crime & Mystery
  • Classic Fiction
  • Fantasy Fiction
  • Modern & Contemporary Fiction
  • Manga
  • Picture Books
  • Young Adult Fiction
Voted Australia’s Favourite Bookstore by Australian Book Buyers

© 2025 Booktopia Direct Pty Ltd.
${altTag}
RRP ${fmtRetailPrice}
${fmtSalePrice}
BUY NOW