Home Advanced Search

Advanced Search - Page 1

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
  • PDF
  • English
  • Year: 2006
  • Author: Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)
Music and Genocide
  • PDF
  • English
  • Year: 2015
  • Author: Wojciech Klimczyk, Agata Świerzowska
Transactions on Petri Nets and Other Models of Concurrency XII
  • PDF
  • English
  • Year: 2017
  • Author: Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.)
Modification and Blending of Synthetic and Natural Macromolecules
  • PDF
  • English
  • Year: 2004
  • Author: Stanislaw Penczek (auth.), Francesco Ciardelli, Stanislaw Penczek (eds.)
Modification and Blending of Synthetic and Natural Macromolecules
  • PDF
  • English
  • Year: 2004
  • Author: Stanislaw Penczek (auth.), Francesco Ciardelli, Stanislaw Penczek (eds.)
Cityscape in the Era of Information and Communication Technologies
  • PDF
  • English
  • Year: 2018
  • Author: Agata Bonenberg (auth.)
Hydrogen Storage Technologies, New Materials, Transport and Infrastructure
  • PDF
  • English
  • Year: 2012
  • Author: Dr.?Ing. Agata Godula?Jopek, Walter Jehle, Prof. Jorg Wellnitz(auth.)
Cationic Ring-Opening Polymerization of Heterocyclic Monomers
  • PDF
  • English
  • Year: 1980
  • Author: Stanisław Penczek, Przemysław Kubisa, Krzysztof Matyjaszewski (auth.)
search