Home Advanced Search

Advanced Search - Page 1

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Thierry Coquand (auth.), Paweł Urzyczyn (eds.)
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky (auth.), Rastislav Královič, Paweł Urzyczyn (eds.)
Lectures on the Curry-Howard Isomorphism
  • PDF
  • English
  • Year: ?
  • Author: Morten Heine Sørensen, Paweł Urzyczyn
The Euro: Consequences for the Consumer and the Citizen
  • PDF
  • English
  • Year: 1999
  • Author: Thierry Vissol (auth.), Thierry Vissol (eds.)
Symplasmic Transport in Vascular Plants
  • PDF
  • English
  • Year: 2013
  • Author: Paweł Sowiński Ph.D., D.Sc. (auth.), Katarzyna Sokołowska, Paweł Sowiński (eds.)
Experimental and Computational Solutions of Hydraulic Problems: 32nd International School of Hydraulics
  • PDF
  • English
  • Year: 2013
  • Author: Paweł M. Rowiński, Monika B. Kalinowska (auth.), Paweł Rowiński (eds.)
Electron Transport in Nanostructures and Mesoscopic Devices: An Introduction
  • PDF
  • English
  • Year: 2008
  • Author: Thierry Ouisse(auth.), Mireille Mouis(eds.)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Thierry Denœux (auth.), Khaled Mellouli (eds.)
Combinatorial and Algorithmic Aspects of Networking: 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
  • PDF
  • English
  • Year: 2007
  • Author: Peter Winkler (auth.), Jeannette Janssen, Paweł Prałat (eds.)
Three-phase AC-AC Power Converters Based on Matrix Converter Topology: Matrix-reactance frequency converters concept
  • PDF
  • English
  • Year: 2013
  • Author: Paweł Szcześniak (auth.)
search