Showing
1 - 7
results of
7
for search '
Penczek, Wojciech
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Penczek, Wojciech
Showing
1 - 7
results of
7
for search '
Penczek, Wojciech
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
by
Penczek
,
Wojciech
Published 2006
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach /
by
Penczek
,
Wojciech
,
Pólrola, Agata
Published 2006
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
by
Lilius, Johan
Published 2010
Other Authors:
“…
Penczek
,
Wojciech
…”
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
4
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
Published 2010
Other Authors:
“…
Penczek
,
Wojciech
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Transactions on Petri Nets and Other Models of Concurrency XII
Published 2017
Other Authors:
“…
Penczek
,
Wojciech
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
6
Transactions on Petri Nets and Other Models of Concurrency XIII
Published 2018
Other Authors:
“…
Penczek
,
Wojciech
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
7
Challenging Problems and Solutions in Intelligent Systems
Published 2016
Other Authors:
“…
Penczek
,
Wojciech
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Artificial Intelligence (incl. Robotics)
Computer Science
Computer science
Engineering
Logics and Meanings of Programs
Software Engineering
Software engineering
Appl.Mathematics/Computational Methods of Engineering
Artificial intelligence
Computation by Abstract Devices
Computer logic
Computers
Data Structures
Data structures (Computer science)
Engineering mathematics
Programming Languages, Compilers, Interpreters
Programming Techniques
Algorithm Analysis and Problem Complexity
Algorithms
Applied mathematics
Computational Intelligence
Computational intelligence
Computer programming
Computer science-Mathematics
Data Mining and Knowledge Discovery
Data mining
Discrete Mathematics in Computer Science
Engineering, general
Logic design
Mathematical Logic and Formal Languages
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών