Search

You searched for: Auteur Ong, Luke Remove constraint Auteur: Ong, Luke
1 - 5 of 5
Number of results to display per page

Search Results

1. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Duan; Ong, Luke
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Foundations of Software Science and Computational Structures
thumbnail
Full text!
Author:
Ong, Luke; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
3. Typed Lambda Calculi and Applications
thumbnail
Full text!
Author:
Ong, Luke; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
4. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Ong, Luke; Panangaden, Prakash
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
5. Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
thumbnail
Full text!
Author:
Ausiello, Giorgio; Forsyth, Isabel A.; Hart, Ian Christopher; Karhumäki, Juhani; Karhumäki, Juhani; Mauri, Giancarlo; Ong, Luke; Schipperges, Heinrich
Publisher:
Springer US 2008
Format:
e-book