Wojciech Penczek – författare
Visar alla böcker från författaren Wojciech Penczek. Handla med fri frakt och snabb leverans.
13 produkter
Challenging Problems and Solutions in Intelligent Systems
Av Guy de Trė, Przemysław Grzegorzewski m. fl.
Inbunden, 2016
1129 kr
Lägg i varukorg
This volume presents recent research, challenging problems and solutionsin Intelligent Systems– covering the following disciplines: artificial andcomputational intelligence, fuzzy logic and other non-classic logics,intelligent database systems, information retrieval, information fusion,intelligent …
Challenging Problems and Solutions in Intelligent Systems
Av Slawomir Zadrozny, Wojciech Penczek m. fl.
E-bok, 2016
1470 kr
Lägg i varukorg
This volume presents recent research, challenging problems and solutionsin Intelligent Systems– covering the following disciplines: artificial andcomputational intelligence, fuzzy logic and other non-classic logics,intelligent database systems, information retrieval, information fusion,intelligent …
Challenging Problems and Solutions in Intelligent Systems
Av Guy de Trė, Przemysław Grzegorzewski m. fl.
Häftad, 2018
1129 kr
Lägg i varukorg
This volume presents recent research, challenging problems and solutionsin Intelligent Systems– covering the following disciplines: artificial andcomputational intelligence, fuzzy logic and other non-classic logics,intelligent database systems, information retrieval, information fusion,intelligent …
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Av Wojciech Penczek, Agata Pólrola
Inbunden, 2006
1641 kr
Lägg i varukorg
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that …
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Av Agata Polrola, Wojciech Penczek
E-bok, 2007
2111 kr
Lägg i varukorg
Mathematical Foundations of Computer Science 1996
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
Av Wojciech Penczek, Andrzej Szalas
Häftad, 1996
1129 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers …
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Av Wojciech Penczek, Agata Pólrola
Häftad, 2010
1641 kr
Lägg i varukorg
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that …
Applications and Theory of Petri Nets
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
Av Johan Lilius, Wojciech Penczek
Häftad, 2010
568 kr
Lägg i varukorg
This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of …
Applications and Theory of Petri Nets
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
Av Wojciech Penczek, Johan Lilius
E-bok, 2010
755 kr
Lägg i varukorg
Transactions on Petri Nets and Other Models of Concurrency XII
Av Maciej Koutny, Jetty Kleijn m. fl.
Häftad, 2017
568 kr
Lägg i varukorg
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to …
Transactions on Petri Nets and Other Models of Concurrency XII
Av Mingmin Zhang, Wojciech Penczek m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to …
Transactions on Petri Nets and Other Models of Concurrency XIII
Av Maciej Koutny, Lars Michael Kristensen m. fl.
Häftad, 2018
552 kr
Lägg i varukorg
The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to …
Transactions on Petri Nets and Other Models of Concurrency XIII
Av Wojciech Penczek, Lars Michael Kristensen m. fl.
E-bok, 2018
734 kr
Lägg i varukorg
The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to …
