14 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
14 results

Your search for Luke Ong

  1. Cover: Formal Methods and Software Engineering - Springer
    Zhenhua Duan | Luke Ong
    Formal Methods and Software Engineering
    19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
    10/2017
    Springer
    9783319686905 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky - Springer
    Bob Coecke | Luke Ong | Prakash Panangaden
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    11/2013
    Springer
    9783642381645 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Typed Lambda Calculi and Applications - Springer
    Luke Ong
    Typed Lambda Calculi and Applications
    10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
    06/2011
    Springer
    9783642216916 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Logic, Language, Information, and Computation - Springer
    Luke Ong | Ruy de Queiroz
    Logic, Language, Information, and Computation
    08/2012
    2nd EDN2nd Edition
    Springer
    9783642326219 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Foundations of Software Science and Computational Structures - Springer
    Luke Ong
    Foundations of Software Science and Computational Structures
    13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
    03/2010
    Springer
    9783642120329 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Typed Lambda Calculi and Applications - Springer
    Luke Ong
    Typed Lambda Calculi and Applications
    10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
    05/2011
    1st EDN1st Edition
    Springer
    9783642216909 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky - Springer
    Bob Coecke | Luke Ong | Prakash Panangaden
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    05/2013
    Springer
    9783642381638 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Logic, Language, Information, and Computation - Springer
    Luke Ong | Ruy de Queiroz
    Logic, Language, Information, and Computation
    19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings
    07/2012
    2nd EDN2nd Edition
    Springer
    9783642326202 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Foundations of Software Science and Computational Structures - Springer
    Luke Ong
    Foundations of Software Science and Computational Structures
    13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
    03/2010
    1st EDN1st Edition
    Springer
    9783642120312 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 - Springer
    Giorgio Ausiello | Juhani Karhumäki | Giancarlo Mauri
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
    07/2008
    Springer
    9780387096797 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 7-9 days
  11. Cover: Formal Methods and Software Engineering - Springer
    Zhenhua Duan | Luke Ong
    Formal Methods and Software Engineering
    19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
    10/2017
    Springer
    9783319686899 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 - Springer
    Giorgio Ausiello | Juhani Karhumäki | Giancarlo Mauri
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
    11/2010
    Springer
    9781441935144 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  13. Cover: Computer Science Logic - Springer
    Luke Ong
    Computer Science Logic
    19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    08/2005
    Springer
    9783540282310 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. This image is currently not available.
    Zhenhua Duan | Luke Ong
    Theoretical Aspects of Software Engineering; Proceedings
    Int'l Symposium on Theoretical Aspects of Software Engineering (5th: 2011: Xi'an, Shaanxi, China)
    IEEE Computer Society Press
    9780769545066 (ISBN)
    Book
    Paperback/Softback
    €223.00
    Article not available