luke ong

Grid   List

  1. Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    Giorgio Ausiello
    Springer New York
    Ebook
    Sofort lieferbar
    International Federation for Information Processing
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Typed Lambda Calculi and Applications
    Typed Lambda Calculi and Applications
    Luke Ong
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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, ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Bob Coecke
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Foundations of Software Science and Computational Structures
    Foundations of Software Science and Computational Structures
    Luke Ong
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandn...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Logic, Language, Information, and Computation
    Logic, Language, Information, and Computation
    Luke Ong
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 Commun...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Zhenhua Duan
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Computer Science Logic
    Computer Science Logic
    Luke Ong
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Computer Science Logic
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Foundations of Software Science and Computational Structures
    Foundations of Software Science and Computational Structures
    Luke Ong
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandn...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Logic, Language, Information, and Computation
    Logic, Language, Information, and Computation
    Ruy De Queiroz
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 Commun...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Fifth Ifip International Conference on Theoretical Computer Science - Tcs 2008
    Fifth Ifip International Conference on Theoretical Computer Science - Tcs 2008
    Giorgio Ausiello
    Springer Us
    Buch
    Bezug 11-15
    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 inc...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    Giorgio Ausiello
    Springer US, Springer US
    Taschenbuch
    Bezug 11-15
    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 inc...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Computer Science Logic
    Computer Science Logic
    Luke Ong
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    TheAnnualConferenceoftheEuropeanAssociationforComputerScienceLogic (EACSL), CSL 2005, was held at the University of Oxford on 22 25 August 2005. The conference series started as a programme of Inte...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>