Luke Ongの本 - BookPine

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ... Notes in Computer Science Book 10610)

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings ... Notes in Computer Science Book 10610)

Zhenhua Duan

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

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Ruy de Queiroz

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European ... Cyprus, March 20-28, 2010, Proce

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European ... Cyprus, March 20-28, 2010, Proce

Luke Ong

Theoretical aspects of software engineering; proceedings.

Theoretical aspects of software engineering; proceedings.

Zhenhua Duan

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology, 273)

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology, 273)

Giorgio Ausiello

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European ...

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European ...

Luke Ong

Computer Science Logic

Computer Science Logic

Luke Ong

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology, 273)

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology, 273)

Giorgio Ausiello

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Luke Ong