Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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 / Luke Ong (Ed.). by Series: Lecture notes in computer science ; 6014. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / Luke Ong (ed.). by Series: Lecture notes in computer science ; 6690. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2011
Other title:
  • TLCA 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.). by Series: Lecture notes in computer science ; 7456. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • WoLLIC 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday / Bob Coecke, Luke Ong, Prakash Panangaden (eds.). by Series: Lecture notes in computer science ; 7860. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / Zhenhua Duan, Luke Ong (eds.). by Series: Lecture notes in computer science ; 10610. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Other title:
  • ICFEM 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha