Home Advanced Search

Advanced Search - Page 1

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alexandre Miquel (auth.), Luke Ong (eds.)
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alexandre Miquel (auth.), Luke Ong (eds.)
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
  • PDF
  • English
  • Year: 2010
  • Author: Colin Stirling (auth.), Luke Ong (eds.)
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Zhenhua Duan, Luke Ong (eds.)
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Adam Brandenburger, H. Jerome Keisler (auth.), Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008
  • PDF
  • English
  • Year: 2008
  • Author: D. Giammarresi, A. Restivo (auth.), Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong (eds.)
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Adam Brandenburger, H. Jerome Keisler (auth.), Bob Coecke, Luke Ong, Prakash Panangaden (eds.)
Plant Respiration: From Cell to Ecosystem
  • PDF
  • English
  • Year: 2005
  • Author: Hans Lambers, Sharon A. Robinson, Miquel Ribas-Carbo (auth.), Hans Lambers, Miquel Ribas-Carbo (eds.)
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Anthony Bonner (auth.), Miquel Bertran, Teodor Rus (eds.)
search