Luke Ong – författare
Visar alla böcker från författaren Luke Ong. Handla med fri frakt och snabb leverans.
15 produkter
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
Av Giorgio Ausiello, Juhani Karhumäki m. fl.
Inbunden, 2008
1641 kr
Lägg i varukorg
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 theory and practice; education; computer applications …
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
Av Luke Ong, Giancarlo Mauri m. fl.
E-bok, 2008
2111 kr
Lägg i varukorg
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 theory and practice; education; computer applications …
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
Av Giorgio Ausiello, Juhani Karhumäki m. fl.
Häftad, 2010
1641 kr
Lägg i varukorg
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 theory and practice; education; computer applications …
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Av Zhenhua Duan, Luke Ong
Häftad, 2017
568 kr
Lägg i varukorg
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 abstracts of invited talks were carefully reviewed and …
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi''an, China, November 13-17, 2017, Proceedings
Av Luke Ong, Zhenhua Duan
E-bok, 2017
739 kr
Lägg i varukorg
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 abstracts of invited talks were carefully reviewed and …
Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Av Luke Ong
Häftad, 2005
568 kr
Lägg i varukorg
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,andtheninits6thmeetingbecametheAnnualC- ference of the …
Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Av Luke Ong
E-bok, 2005
718 kr
Lägg i varukorg
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
Av Luke Ong
Häftad, 2010
568 kr
Lägg i varukorg
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?vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 …
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
Av Luke Ong
E-bok, 2010
755 kr
Lägg i varukorg
Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Av Luke Ong
Häftad, 2011
552 kr
Lägg i varukorg
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, Deduction, and Programming.The 15 revised full papers …
Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Av Luke Ong
E-bok, 2011
712 kr
Lägg i varukorg
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, Deduction, and Programming.The 15 revised full papers …
Logic, Language, Information, and Computation
Häftad, 2012
552 kr
Lägg i varukorg
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, Argentina, in September 2012. The papers accompanying 8 …
Logic, Language, Information, and Computation
E-bok, 2012
734 kr
Lägg i varukorg
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, Argentina, in September 2012. The papers accompanying 8 …
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
Av Bob Coecke, Luke Ong m. fl.
Häftad, 2013
552 kr
Lägg i varukorg
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, during May 28-30, 2010. The papers in this volume …
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
Av Prakash Panangaden, Luke Ong m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
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, during May 28-30, 2010. The papers in this volume …
