Filtrera

Ämne
  • (15)
  • (3)
  • (11)
Format
  • (1)
  • (7)
  • (7)
Leveranstid
  • (7)

Luke Ong - Böcker

Visar alla böcker av Luke Ong. Handla med fri frakt och snabb leverans!

Sortering:

  1. Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

    av Giorgio Ausiello, Juhani Karhumki, Giancarlo Mauri, Luke Ong

    Inbunden, Engelska, 2008-07-01
    1712
    Köp
    Skickas från oss inom 7-10 vardagar.
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

    International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software t...

    Läs mer »

  2. Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 E-bok

    av Giorgio Ausiello, Juhani Karhumaki, Giancarlo Mauri, Luke Ong

    E-bok (PDF, LCP), Engelska, 2008-07-22
    2204
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

    International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software t...

    Läs mer »

  3. Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

    av Giorgio Ausiello, Juhani Karhumki, Giancarlo Mauri, Luke Ong

    Häftad, Engelska, 2010-11-19
    1712
    Köp
    Skickas från oss inom 7-10 vardagar.
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

    International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software t...

    Läs mer »

  4. Formal Methods and Software Engineering

    av Zhenhua Duan, Luke Ong

    Häftad, Engelska, 2017-10-14
    584
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods and Software Engineering

    This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two...

    Läs mer »

  5. Formal Methods and Software Engineering E-bok

    av Zhenhua Duan, Luke Ong

    E-bok (LCP), Engelska, 2017-10-13
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods and Software Engineering

    This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abst...

    Läs mer »

  6. Computer Science Logic

    av Luke Ong

    Häftad, Engelska, 2005-08-01
    584
    Köp
    Skickas från oss inom 7-10 vardagar.
    Computer Science Logic

    TheAnnualConferenceoftheEuropeanAssociationforComputerScienceLogic (EACSL), CSL 2005, was held at the University of Oxford on 22-25 August 2005. The conference series started as a programme of International Workshops onComputerScienceLogic,andthen...

    Läs mer »

  7. Computer Science Logic E-bok

    av Luke Ong

    E-bok (PDF, LCP), Engelska, 2005-09-07
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Computer Science Logic

  8. Foundations of Software Science and Computational Structures

    av Luke Ong

    Häftad, Engelska, 2010-03-16
    584
    Köp
    Skickas från oss inom 7-10 vardagar.
    Foundations of Software Science and Computational Structures

    ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual?vesist...

    Läs mer »

  9. Foundations of Software Science and Computational Structures E-bok

    av Luke Ong

    E-bok (PDF, LCP), Engelska, 2010-03-10
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Foundations of Software Science and Computational Structures

  10. Typed Lambda Calculi and Applications

    av Luke Ong

    Häftad, Engelska, 2011-05-23
    584
    Köp
    Skickas från oss inom 7-10 vardagar.
    Typed Lambda Calculi and Applications

    This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deducti...

    Läs mer »

  11. Typed Lambda Calculi and Applications E-bok

    av Luke Ong

    E-bok (PDF, LCP), Engelska, 2011-06-12
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Typed Lambda Calculi and Applications

    This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deducti...

    Läs mer »

  12. Logic, Language, Information, and Computation

    av Luke Ong, Ruy De Queiroz

    Häftad, Engelska, 2012-07-16
    584
    Köp
    Skickas från oss inom 7-10 vardagar.
    Logic, Language, Information, and Computation

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argent...

    Läs mer »

  13. Logic, Language, Information, and Computation E-bok

    av Luke Ong, Ruy De Queiroz

    E-bok (PDF, LCP), Engelska, 2012-08-18
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Logic, Language, Information, and Computation

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argent...

    Läs mer »

  14. Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

    av Bob Coecke, Luke Ong, Prakash Panangaden

    Häftad, Engelska, 2013-05-16
    584
    Köp
    Skickas från oss inom 7-10 vardagar.
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

    This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, du...

    Läs mer »

  15. Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky E-bok

    av Bob Coecke, Luke Ong, Prakash Panangaden

    E-bok (PDF, LCP), Engelska, 2013-11-18
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

    This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, du...

    Läs mer »