Hello! Enter your postcode for delivery time
Track My Order
Help Centre
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 (1082)
  • Hot Prices (5)
  • Audiobooks (19)

PRICE

CUSTOMER RATING

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

LANGUAGE

  • Book
     (1082)
  • eBooks
     (1984)
  • Audiobooks
     (19)
1984 Results | View 24 / 100
< 1 ... 18 19 20
Sort By
Sort By:
  • Recent Advances in Algorithmic Differentiation : Recent Advances in Algorithmic Differentiation - Shaun Forth
    Recent Advances in Algorithmic Differentiation
    Recent Advances in Algorithmic Differentiation
    Shaun Forth, ?Paul Hovland and ?Eric Phipps
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Instruction Sequences for Computer Science - Jan A Bergstra
    Instruction Sequences for Computer Science
    Jan A Bergstra and Cornelis A. Middelburg
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • R for Cloud Computing : An Approach for Data Scientists - A Ohri
    R for Cloud Computing
    An Approach for Data Scientists
    A Ohri
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • XML and Web Technologies for Data Sciences with R : Use R! - Deborah Nolan
    XML and Web Technologies for Data Sciences with R
    Use R!
    Deborah Nolan and Duncan Temple Lang
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Nadia Polikarpova
    Integrated Formal Methods
    13th International Conference, IFM 2017, Turin,...
    Nadia Polikarpova and Steve Schneider
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings - Einar Broch Johnsen
    Software Engineering and Formal Methods
    16th International Conference, SEFM 2018, Held ...
    Einar Broch Johnsen and Ina Schaefer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers - Jorge Cardoso
    Software Technologies
    10th International Joint Conference, ICSOFT 201...
    Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek and Marten van Sinderen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hot Pre-Orders
  • Introduction to Compiler Design : Undergraduate Topics in Computer Science - Torben Ægidius Mogensen
    Introduction to Compiler Design
    Undergraduate Topics in Computer Science
    Torben Ægidius Mogensen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pro JPA 2 in Java EE 8 : An In-Depth Guide to Java Persistence APIs - Mike Keith
    Pro JPA 2 in Java EE 8
    An In-Depth Guide to Java Persistence APIs
    Mike Keith, Merrick Schincariol and Massimo Nardone
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • The Definitive Guide to Modern Java Clients with JavaFX : Cross-Platform Mobile and Cloud Development - Stephen Chin
    The Definitive Guide to Modern Java Clients with JavaFX
    Cross-Platform Mobile and Cloud Development
    Stephen Chin, Johan Vos, James Weaver, Gail Anderson and William Antônio Siqueira
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings - Michael Kirkedal Thomsen
    Reversible Computation
    11th International Conference, RC 2019, Lausann...
    Michael Kirkedal Thomsen and Mathias Soeken
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings - José Proença
    Formal Aspects of Component Software
    14th International Conference, FACS 2017, Braga...
    José Proença and Markus Lumpe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Economics of Grids, Clouds, Systems, and Services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings - Congduc Pham
    Economics of Grids, Clouds, Systems, and Services
    14th International Conference, GECON 2017, Biar...
    Congduc Pham, Jörn Altmann and José Ángel Bañares
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings - K. Narayan Kumar
    Automated Technology for Verification and Analysis
    15th International Symposium, ATVA 2017, Pune, ...
    K. Narayan Kumar and Deepak D'Souza
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • C# Programming for Absolute Beginners - Radek Vystave?l
    C# Programming for Absolute Beginners
    Radek Vystave?l
    eText
    Instant Online Reading*
    $50.00
    BUY EBOOK
  • Java Design Patterns - Vaskaran Sarcar
    Java Design Patterns
    Vaskaran Sarcar
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • An Introduction to Statistics with Python : With Applications in the Life Sciences - Thomas Haslwanter
    An Introduction to Statistics with Python
    With Applications in the Life Sciences
    Thomas Haslwanter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Software and Systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings - Inmaculada Medina-Bulo
    Testing Software and Systems
    30th IFIP WG 6.1 International Conference, ICTS...
    Inmaculada Medina-Bulo, Mercedes G. Merayo and Robert Hierons
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Clark Barrett
    NASA Formal Methods
    9th International Symposium, NFM 2017, Moffett ...
    Clark Barrett, Misty Davies and Temesghen Kahsai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Build Mobile Apps with Ionic 2 and Firebase : Hybrid Mobile App Development - Fu Cheng
    Build Mobile Apps with Ionic 2 and Firebase
    Hybrid Mobile App Development
    Fu Cheng
    eText
    Instant Online Reading*
    $54.99
    BUY EBOOK
  • Building Telegram Bots : Develop Bots in 12 Programming Languages using the Telegram Bot API - Nicolas Modrzyk
    Building Telegram Bots
    Develop Bots in 12 Programming Languages using ...
    Nicolas Modrzyk
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Constraints Meet Concurrency : Mathematics and Statistics (R0) - Jacopo Mauro
    Constraints Meet Concurrency
    Mathematics and Statistics (R0)
    Jacopo Mauro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings - Gabriele Kern-Isberner
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    15th European Conference, ECSQARU 2019, Belgrad...
    Gabriele Kern-Isberner and Zoran Ognjanovi?
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Bayesian Networks in R : with Applications in Systems Biology - Radhakrishnan Nagarajan
    Bayesian Networks in R
    with Applications in Systems Biology
    Radhakrishnan Nagarajan, Marco Scutari and Sophie Lèbre
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Essential Visual J++ 6.0 fast : How to develop Java applications and applets with Visual J++ - John Cowell
    Essential Visual J++ 6.0 fast
    How to develop Java applications and applets wi...
    John Cowell
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Languages and Compilation : Computer Science (R0) - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Computer Science (R0)
    Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings - Author
    NASA Formal Methods
    10th International Symposium, NFM 2018, Newport...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - Ahmed Bouajjani
    Verification, Model Checking, and Abstract Interpretation
    18th International Conference, VMCAI 2017, Pari...
    Ahmed Bouajjani and David Monniaux
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings - Julia M. Badger
    NASA Formal Methods
    11th International Symposium, NFM 2019, Houston...
    Julia M. Badger and Kristin Yvonne Rozier
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings - Maurice H. ter Beek
    Formal Methods - The Next 30 Years
    Third World Congress, FM 2019, Porto, Portugal,...
    Maurice H. ter Beek, Annabelle McIver and José N. Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings - Author
    Formal Methods
    22nd International Symposium, FM 2018, Held as ...
    Author
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings - Thierry Lecomte
    Formal Methods: Foundations and Applications
    19th Brazilian Symposium, SBMF 2016, Natal, Bra...
    Thierry Lecomte and Leila Ribeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Bernd Finkbeiner
    Runtime Verification
    19th International Conference, RV 2019, Porto, ...
    Bernd Finkbeiner and Leonardo Mariani
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings - Peter Csaba Ölveczky
    Software Engineering and Formal Methods
    17th International Conference, SEFM 2019, Oslo,...
    Peter Csaba Ölveczky and Gwen Salaün
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Creating Maintainable APIs : A Practical, Case-Study Approach - Ervin Varga
    Creating Maintainable APIs
    A Practical, Case-Study Approach
    Ervin Varga
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings - Stefania Costantini
    Rules and Reasoning
    International Joint Conference, RuleML+RR 2017,...
    Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings - Carlo A. Furia
    Integrated Formal Methods
    14th International Conference, IFM 2018, Maynoo...
    Carlo A. Furia and Kirsten Winter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Bad Programming Practices 101 : Become a Better Coder by Learning How (Not) to Program - Karl Beecher
    Bad Programming Practices 101
    Become a Better Coder by Learning How (Not) to ...
    Karl Beecher
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Inductive Logic Programming : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings - Dimitar Kazakov
    Inductive Logic Programming
    29th International Conference, ILP 2019, Plovdi...
    Dimitar Kazakov and Can Erten
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ICT Education : 50th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2021, Johannesburg, South Africa, July 16, 2021, Revised Selected Papers - Wai Sze Leung
    ICT Education
    50th Annual Conference of the Southern African ...
    Wai Sze Leung, Marijke Coetzee, Duncan Coulter and Deon Cotterrell
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Chatbot Research and Design : 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23-24, 2021, Revised Selected Papers - Asbjørn Følstad
    Chatbot Research and Design
    5th International Workshop, CONVERSATIONS 2021,...
    Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law and Petter Bae Brandtzaeg
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Blazor WebAssembly By Example : Use practical projects to start building web apps with .NET 7, Blazor WebAssembly, and C#, 2nd Edition - Toi B. Wright
    Blazor WebAssembly By Example
    Use practical projects to start building web ap...
    Toi B. Wright and Scott Hanselman
    eText
    Instant Online Reading*
    $42.89
    My Library BUY EBOOK
  • C# 10 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library - Mikael Olsson
    C# 10 Quick Syntax Reference
    A Pocket Guide to the Language, APIs, and Library
    Mikael Olsson
    eText
    Instant Online Reading*
    $54.99
    BUY EBOOK
  • Accelerator Programming Using Directives : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings - Sridutt Bhalachandra
    Accelerator Programming Using Directives
    7th International Workshop, WACCPD 2020, Virtua...
    Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran and Guido Juckeland
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Crafting Interpreters - Robert Nystrom
    Crafting Interpreters
    Robert Nystrom
    eBook
    Instant Digital Delivery
    $54.33
    My Library BUY EBOOK
  • Advancing OpenMP for Future Accelerators : 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings - Alexis Espinosa
    Advancing OpenMP for Future Accelerators
    20th International Workshop on OpenMP, IWOMP 20...
    Alexis Espinosa, Michael Klemm, Bronis R. de Supinski, Maciej Cytowski and Jannis Klinkenberg
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings - Erika Ábrahám
    Runtime Verification
    24th International Conference, RV 2024, Istanbu...
    Erika Ábrahám and Houssam Abbas
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings - Panagiotis Katsaros
    Runtime Verification
    23rd International Conference, RV 2023, Thessal...
    Panagiotis Katsaros and Laura Nenzi
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Graph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings - Jörg Endrullis
    Graph Transformation
    18th International Conference, ICGT 2025, Held ...
    Jörg Endrullis and Matthias Tichy
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Practical Marko : Progressive HTML Rendering and Micro Front-Ends - Damodaran Chingleput Sathyakumar
    Practical Marko
    Progressive HTML Rendering and Micro Front-Ends
    Damodaran Chingleput Sathyakumar
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings - Bettina Könighofer
    Runtime Verification
    25th International Conference, RV 2025, Graz, A...
    Bettina Könighofer and Hazem Torfah
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • ChatGPT for Coders : Unlock the Power of AI with ChatGPT: A Comprehensive Guide to Efficient and Effective Coding - Sean A Williams
    ChatGPT for Coders
    Unlock the Power of AI with ChatGPT: A Comprehe...
    Sean A Williams
    eBook
    Instant Digital Delivery
    $8.46
    My Library BUY EBOOK
  • Mathematica® : A Problem-Centered Approach - Roozbeh Hazrat
    Mathematica®
    A Problem-Centered Approach
    Roozbeh Hazrat
    eText
    Instant Online Reading*
    $59.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
  • Duration Calculus : A Formal Approach to Real-Time Systems - Chaochen Zhou
    Duration Calculus
    A Formal Approach to Real-Time Systems
    Chaochen Zhou and Michael R. Hansen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Parametric Lambda Calculus : A Metamodel for Computation - Simona Ronchi Della Rocca
    The Parametric Lambda Calculus
    A Metamodel for Computation
    Simona Ronchi Della Rocca and Luca Paolini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Integration of Heterogeneous Software Specifications - Martin Große-Rhode
    Semantic Integration of Heterogeneous Software Specifications
    Martin Große-Rhode
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • The Mathematica GuideBook for Programming - Michael Trott
    The Mathematica GuideBook for Programming
    Michael Trott
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Abstract Computing Machines : A Lambda Calculus Perspective - Werner Kluge
    Abstract Computing Machines
    A Lambda Calculus Perspective
    Werner Kluge
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Software Engineering 2 : Specification of Systems and Languages - Dines Bjørner
    Software Engineering 2
    Specification of Systems and Languages
    Dines Bjørner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Galois Connections and Applications - K. Denecke
    Galois Connections and Applications
    K. Denecke, ?M. Erné and ?S.L. Wismath
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • New Essays in Free Logic : In Honour of Karel Lambert - A. Hieke
    New Essays in Free Logic
    In Honour of Karel Lambert
    A. Hieke and E. Morscher
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Software Engineering 1 : Abstraction and Modelling - Dines Bjørner
    Software Engineering 1
    Abstraction and Modelling
    Dines Bjørner
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Essential Maple 7 : An Introduction for Scientific Programmers - Robert M. Corless
    Essential Maple 7
    An Introduction for Scientific Programmers
    Robert M. Corless
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives on Enclosure Methods - R. Lohner
    Perspectives on Enclosure Methods
    R. Lohner, Ulrich Kulisch and Axel Facius
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Reliable Computing - Tibor Csendes
    Developments in Reliable Computing
    Tibor Csendes
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Goal-Directed Proof Theory - Dov M. Gabbay
    Goal-Directed Proof Theory
    Dov M. Gabbay and N. Olivetti
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Building Mobile Magic : Integrating Flutter with Firebase - Kameron Hussain
    Building Mobile Magic
    Integrating Flutter with Firebase
    Kameron Hussain and Frahaan Hussain
    eBook
    Instant Digital Delivery
    $15.99
    My Library BUY EBOOK
  • Modeling Financial Time Series with S-PLUS - Eric Zivot
    Modeling Financial Time Series with S-PLUS
    Eric Zivot and Jiahui Wang
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Roslyn Cookbook : Use Roslyn as a service to write powerful extensions and tools and use them in Visual Studio to improve code quality and maintain your source code more effectively. - Manish Vasani
    Roslyn Cookbook
    Use Roslyn as a service to write powerful exten...
    Manish Vasani
    eText
    Instant Online Reading*
    $59.39
    My Library BUY EBOOK
  • Software Engineering 3 : Domains, Requirements, and Software Design - Dines Bjørner
    Software Engineering 3
    Domains, Requirements, and Software Design
    Dines Bjørner
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A Pipelined Multi-core MIPS Machine : Hardware Implementation and Correctness Proof - Mikhail Kovalev
    A Pipelined Multi-core MIPS Machine
    Hardware Implementation and Correctness Proof
    Mikhail Kovalev, Silvia M. Müller and Wolfgang J. Paul
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Bughunting : A Four-Course Debugging Feast - Rob Botwright
    Bughunting
    A Four-Course Debugging Feast
    Rob Botwright
    eBook
    Instant Digital Delivery
    $12.49
    My Library BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation
    10th International Symposium on Leveraging Appl...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Foundations for Mastering Change I : Computer Science (R0) - Bernhard Steffen
    Transactions on Foundations for Mastering Change I
    Computer Science (R0)
    Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Cyrille Artho
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba,...
    Cyrille Artho, Axel Legay and Doron Peled
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings - Alessandro Cimatti
    Software Engineering and Formal Methods
    15th International Conference, SEFM 2017, Trent...
    Alessandro Cimatti and Marjan Sirjani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Handbook of Floating-Point Arithmetic : Mathematics and Statistics (R0) - Jean-Michel Muller
    Handbook of Floating-Point Arithmetic
    Mathematics and Statistics (R0)
    Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod and Serge Torres
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Introduction to Image Processing Using R : Learning by Examples - Alejandro C. Frery
    Introduction to Image Processing Using R
    Learning by Examples
    Alejandro C. Frery and Talita Perciano
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I - Axel Legay
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Axel Legay and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II - Axel Legay
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Axel Legay and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Data Mining Algorithms in C++ : Data Patterns and Algorithms for Modern Applications - Timothy Masters
    Data Mining Algorithms in C++
    Data Patterns and Algorithms for Modern Applica...
    Timothy Masters
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation. Verification
    8th International Symposium, ISoLA 2018, Limass...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - Tiziana Margaria
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Essays Dedicated to Bernhard Steffen on the Occ...
    Tiziana Margaria, Susanne Graf and Kim G. Larsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Building Secure Defenses Against Code-Reuse Attacks : Computer Science (R0) - Lucas Davi
    Building Secure Defenses Against Code-Reuse Attacks
    Computer Science (R0)
    Lucas Davi and Ahmad-Reza Sadeghi
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • JRuby Rails Web Application Development : SpringerBriefs in Computer Science - Deepak Vohra
    JRuby Rails Web Application Development
    SpringerBriefs in Computer Science
    Deepak Vohra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Science and Its Applications - ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V - Osvaldo Gervasi
    Computational Science and Its Applications - ICCSA 2017
    17th International Conference, Trieste, Italy, ...
    Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso and Alfredo Cuzzocrea
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rewriting, and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday - Narciso Martí-Oliet
    Logic, Rewriting, and Concurrency
    Essays Dedicated to Jose Meseguer on the Occasi...
    Narciso Martí-Oliet, Peter Csaba Ölveczky and Carolyn Talcott
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The R Software : Fundamentals of Programming and Statistical Analysis - Pierre Lafaye de Micheaux
    The R Software
    Fundamentals of Programming and Statistical Ana...
    Pierre Lafaye de Micheaux, Rémy Drouilhet and Benoit Liquet
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling
    8th International Symposium, ISoLA 2018, Limass...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    8th International Symposium, ISoLA 2018, Limass...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
    8th International Symposium, ISoLA 2018, Limass...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Kotlin Unleashed : Harnessing the Power of Modern Android Development Category - Kameron Hussain
    Kotlin Unleashed
    Harnessing the Power of Modern Android Developm...
    Kameron Hussain and Frahaan Hussain
    eBook
    Instant Digital Delivery
    $15.99
    My Library BUY EBOOK
  • Mastering GameMaker : A Journey from Novice to Expert - Kameron Hussain
    Mastering GameMaker
    A Journey from Novice to Expert
    Kameron Hussain and Frahaan Hussain
    eBook
    Instant Digital Delivery
    $14.99
    My Library BUY EBOOK
  • Pro Spring Boot 3 : An Authoritative Guide with Best Practices - Felipe Gutierrez
    Pro Spring Boot 3
    An Authoritative Guide with Best Practices
    Felipe Gutierrez
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Expert T-SQL Window Functions in SQL Server : Professional and Applied Computing (R0) - Clayton Groom
    Expert T-SQL Window Functions in SQL Server
    Professional and Applied Computing (R0)
    Clayton Groom and Kathi Kellenberger
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • R Data Science Quick Reference : A Pocket Guide to APIs, Libraries, and Packages - Thomas Mailund
    R Data Science Quick Reference
    A Pocket Guide to APIs, Libraries, and Packages
    Thomas Mailund
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
1984 Results | View 24 / 100
< 1 ... 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

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