Browsing “Compilers” (Showing 981 - 1000 of 1642 results)

Subjects

  • Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
    • Format: Reflowable
    • From $27.01 AUD
      Price includes GST

  • Python Descriptors

    by Jacob Zimmerman
    • Format: Fixed
    • From $7.50 AUD
      Price includes GST

  • Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    • Format: Reflowable
    • From $21.00 AUD
      Price includes GST

  • Softwareentwicklung in C++

    by Klaus Schmaranz
    • Format: Fixed
    • From $18.01 AUD
      Price includes GST

  • Model-Driven Engineering and Software Development

    4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
    • Format: Reflowable
    • From $25.50 AUD
      Price includes GST

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
    • Format: Reflowable
    • From $25.50 AUD
      Price includes GST

  • Scientific Data Analysis using Jython Scripting and Java

    by Sergei V. Chekanov
    • Format: Reflowable
    • From $25.50 AUD
      Price includes GST

  • Spring Boot 2 Recipes

    A Problem-Solution Approach
    by Marten Deinum
    • Format: Reflowable
    • From $22.51 AUD
      Price includes GST

  • Tools and Algorithms for the Construction and Analysis of...

    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
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Automated Technology for Verification and Analysis

    10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
    by Madhavan Mukund; ‎Supratik Chakraborty
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Vorkurs Informatik

    Der Einstieg ins Informatikstudium
    by Heinrich Müller; Frank Weichert
    • Edition: 6th
    • Format: Fixed
    • From $12.00 AUD
      Price includes GST

  • Quantifiers in Action

    Generalized Quantification in Query, Logical and Natural Languages
    by Antonio Badia
    • Format: Fixed
    • From $47.71 AUD
      Price includes GST

  • From Object-Orientation to Formal Methods

    Essays in Memory of Ole-Johan Dahl
    by Olaf Owe; ‎Stein Krogdahl; ‎Tom Lyche
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Languages, Compilers, and Tools for Embedded Systems

    ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings
    by Jack Davidson; ‎Sang Lyul Min
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Formal Methods for Components and Objects

    7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
    by Frank S. de Boer; Marcello M. Bonsangue; ‎Eric Madelaine
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • An Introduction to PHP for Scientists and Engineers

    Beyond JavaScript
    by David R. Brooks
    • Format: Reflowable
    • From $22.51 AUD
      Price includes GST

  • Dependable and Historic Computing

    Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
    by Cliff B. Jones; John L. Lloyd
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Reliable Software Technologies -- Ada-Europe 2006

    11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
    by Luís Miguel Pinho; ‎Michael González Harbour
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Modeling Decisions for Artificial Intelligence

    5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings
    by Vicenç Torra; Yasuo Narukawa
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Virtual Machines

    by Iain D. Craig
    • Format: Fixed
    • From $65.70 AUD
      Price includes GST
Showing 981 - 1000 of 1642 results
Page links