Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.)
Dynamic Logic
  • PDF
  • English
  • Year: 2000
  • Author: David Harel, Dexter Kozen, Jerzy Tiuryn
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979
  • PDF
  • English-French
  • Year: 1980
  • Author: J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979
  • DJVU
  • English-French
  • Year: 1980
  • Author: J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979
  • PDF
  • English-French
  • Year: 1980
  • Author: J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part I
  • PDF
  • English
  • Year: 2016
  • Author: Leszek Borzemski, Adam Grzech, Jerzy Świątek, Zofia Wilimowska (eds.)
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part IV
  • PDF
  • English
  • Year: 2016
  • Author: Zofia Wilimowska, Leszek Borzemski, Adam Grzech, Jerzy Świątek (eds.)
Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II
  • PDF
  • English
  • Year: 2017
  • Author: Adam Grzech, Jerzy Świątek, Zofia Wilimowska, Leszek Borzemski (eds.)
Aging of the Organs and Systems
  • PDF
  • English
  • Year: 2003
  • Author: Richard G. A. Faragher (auth.), Richard Aspinall (eds.)
Management in Neuro-Oncology
  • PDF
  • English
  • Year: 1992
  • Author: Jerzy Hildebrand (auth.), Jerzy Hildebrand (eds.)
search