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

Browsing General 261 - 280 of 9695 results

  • eBook
    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    • 1st Edition
    • Ganesh Gopalakrishnan; ‎Shaz Qadeer
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Stamatis Vassiliadis; ‎Dimitrios Soudris
    • Springer
    • Fixed Layout

    Starting at:S$41.43 SGDPrice includes GST

    View Details
  • eBook
    Efficient Formal Verification of Finite Non-Terminating Programs
    • Vladimir Herdt
    • Springer Vieweg
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
    • 1st Edition
    • Charles Consel; Mario Südholt
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
    • Leite J; Torroni P; Agotnes Th
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings
    • 1st Edition
    • Juan Carlos FigueroaGarcia; Fabian Steven GarayRairan; German Jairo HernandezPerez
    • Springer
    • Reflowable Layout

    Starting at:S$41.43 SGDPrice includes GST

    View Details
  • eBook
    Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4–6 February 2003
    • 1st Edition
    • Felix Redmill; ‎Tom Anderson
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I
    • Springer
    • Reflowable Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings
    • 1st Edition
    • Minli Dai
    • Springer
    • Fixed Layout

    Starting at:S$41.43 SGDPrice includes GST

    View Details
  • eBook
    MVVM patterns for conventional and single-page websites
    • Ralph Steyer
    • Springer
    • Reflowable Layout

    Starting at:S$33.48 SGDPrice includes GST

    View Details
  • eBook
    • Philipp Weitershausen
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings
    • Karell Bertet, Daniel Borchmann, Peggy Cellier and Sébastien Ferré
    • Springer
    • Reflowable Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V
    • Author
    • Springer
    • Reflowable Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
    • 1st Edition
    • Rudolf Berghammer; ‎Bernhard Möller; ‎Georg Struth
    • Springer
    • Fixed Layout

    Starting at:S$41.43 SGDPrice includes GST

    View Details
  • eBook
    A Tcl-based Toolkit for Automating Interactive Programs
    • 1st Edition
    • Don Libes
    • O'Reilly Media
    • Fixed Layout

    S$39.04 SGDPrice includes GST

    View Details
  • eBook
    Embedded Systems Foundations of Cyber-Physical Systems
    • 2nd Edition
    • Peter Marwedel
    • Springer
    • Fixed Layout

    Starting at:S$49.80 SGDPrice includes GST

    View Details
  • eBook
    First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
    • 1st Edition
    • Mehdi Dastani; ‎Juergen Dix; ‎Amal EL FallahSeghrouchni
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details
  • eBook
    Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
    • 1st Edition
    • Alexandre Petrenko; Andreas Ulrich
    • Springer
    • Fixed Layout

    Starting at:S$23.02 SGDPrice includes GST

    View Details