• Purchase in Bulk Opens in new window
  • Education & Business Solutions Opens in new window

Browsing Compilers 441 - 460 of 2079 results

  • eBook
    IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
    • 1st Edition
    • Alessandro Fantechi; Paolo Ciancarini; Roberto Gorrieri
    • Springer
    • Fixed Layout

    Starting at:S$87.48 SGDPrice includes GST

    View Details
  • eBook
    Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
    • 1st Edition
    • Petra Hofstedt; ‎Salvador Abreu; ‎Ulrich John
    • Springer
    • Reflowable Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Wil M. P. van der Aalst; ‎Marco Ajmone Marsan; ‎Giuliana Franceschinis
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    Selected Contributions from FDL’06
    • 1st Edition
    • Sorin Alexander Huss
    • Springer
    • Fixed Layout

    Starting at:S$66.56 SGDPrice includes GST

    View Details
  • eBook
    A Common Case Study for Aspect-Oriented Modeling
    • 1st Edition
    • Jörg Kienzle
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Shaun Forth; ‎Paul Hovland; ‎Eric Phipps
    • Springer
    • Reflowable Layout

    Starting at:S$41.44 SGDPrice includes GST

    View Details
  • eBook
    Creating and Programming Advanced Algorithms
    • Marius Iulian Mihailescu; Stefania Loredana Nita
    • Apress
    • Reflowable Layout

    Starting at:S$20.93 SGDPrice includes GST

    View Details
  • eBook
    IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
    • 1st Edition
    • Carolyn Talcott; Scott F. Smith
    • Springer
    • Fixed Layout

    Starting at:S$87.48 SGDPrice includes GST

    View Details
  • eBook
    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
    • 1st Edition
    • ShangWei Lin
    • Springer
    • Reflowable Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
    • 1st Edition
    • Atsushi Ohori
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    • Ian Stephenson
    • Springer
    • Fixed Layout

    Starting at:S$37.26 SGDPrice includes GST

    View Details
  • eBook
    • Uwe Kettermann; Andreas Rohde
    • Springer
    • Fixed Layout

    Starting at:S$12.56 SGDPrice includes GST

    View Details
  • eBook
    DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
    • 1st Edition
    • Peter J. Thiemann; Torben Ægidius Mogensen; John Hatcliff
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings
    • Jorgen Lindskov Knudsen
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
    • 1st Edition
    • Edmund Clarke; ‎Irina Virbitskaite; ‎Andrei Voronkov
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
    • 1st Edition
    • Nachum Dershowitz
    • Springer
    • Fixed Layout

    Starting at:S$41.44 SGDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Betty H. C. Cheng; ‎Rogério de Lemos; ‎Paola Inverardi
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    • 1st Edition
    • Alwyn Goodloe; ‎Suzette Person
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    • Zhe Ma; Pol Marchal; Daniele Paolo Scarpazza; Peng Yang; Chun Wong; José Ignacio Gómez; Stefaan Himp
    • Springer
    • Fixed Layout

    Starting at:S$41.44 SGDPrice includes GST

    View Details