- Title :
- Timed Petri nets : theory and application
- Authors :
- Wang, Jiacun (1963- )
- Publication Year :
- cop. 1998
- Publisher :
- Boston : Kluwer Academic Publishers
- Co-authors :
- Kluwer Academic Publishers. Wydawca, nakładca (publisher)
- Books
You search for a phrase "Sieci Petriego" according to the criterion: Subject
Showing 1-47 from 47 results
- Title :
- Discrete, continuous and hybrid Petri nets
- Authors :
- David, Rene (1939- )
Alla, Hassane - Publication Year :
- cop. 2005
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Springer. Wydawca, nakładca (publisher)
- Books
- Title :
- Lectures on concurrency and Petri nets : advanced in Petri Nets
- Publication Year :
- cop. 2004
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Desel, Joerg (1959- ). Redakcja
Reisig, Wolfgang (1950- ). Redakcja
Rozenberg, Grzegorz. Redakcja
Springer. Wydawca, nakładca (publisher) - Books
- Title :
- Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings
- Publication Year :
- cop. 2001
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Colom, Jose-Manuel. Redakcja
Koutny, Maciej (1958- ). Redakcja
Springer. Wydawca, nakładca (publisher) - Books
- Title :
- Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21 - 25, 2004 : proceedings
- Publication Year :
- cop. 2004
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Cortadella, Jordi. Redakcja
Reisig, Wolfgang (1950- ). Redakcja
Springer. Wydawca, nakładca (publisher) - Books
- Title :
- Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings
- Publication Year :
- cop. 2005
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Ciardo, Gianfranco. Redakcja
Darondeau, Philippe. Redakcja
Springer. Wydawca, nakładca (publisher) - Books
- Title :
- Application of Petri nets to communication networks
- Publication Year :
- 1999
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Billington, Jonathan. Redakcja
Diaz, Michael. Redakcja
Rozenberg, Grzegorz. Redakcja
Springer. Wydawca, nakładca (publisher) - Books
- Title :
- Fuzziness in Petri nets
- Publication Year :
- 1999
- Publisher :
- Heidelberg : Physica-Verlag
- Co-authors :
- Cardoso, Janette. Redakcja
Camargo, Heloisa. Redakcja - Books
- Title :
- Petri net algebra
- Authors :
- Best, Eike
Devillers, Raymond
Koutny, Maciej (1958- ) - Publication Year :
- 2001
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Springer. Wydawca, nakładca (publisher)
- Books
- Title :
- GRAF : system graficznej konstrukcji i analizy sieci Petriego
- Authors :
- Suraj, Zbigniew
Komarek, Bogumił - Publication Year :
- 1994
- Publisher :
- Warszawa : Akademicka Oficyna Wydawnicza PLJ
- Co-authors :
- Wydawnictwo PLJ, Leszek Reinisch. Wydawca, nakładca (publisher)
- Books
- Title :
- Sieci Petriego i PN-TOOLS : narzędzia do modelowania i analizy systemów współbieżnych
- Authors :
- Suraj, Zbigniew
Szpyrka, Marcin - Publication Year :
- 1999
- Publisher :
- Rzeszów : Wydaw. Wyższej Szkoły Pedagogicznej
- Books
- Title :
- Sieci Petriego w modelowaniu i analizie systemów współbieżnych
- Authors :
- Szpyrka, Marcin
- Publication Year :
- 2008
- Publisher :
- Warszawa : Wydawnictwa Naukowo-Techniczne
- Co-authors :
- Wydawnictwa Naukowo-Techniczne. Wydawca, nakładca (publisher)
- Books
- Title :
- Petri nets for systems engineering : a guide to modeling, verification, and applications
- Authors :
- Girauld, Claude
Valk, Rüdiger - Publication Year :
- cop. 2003
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Springer. Wydawca, nakładca (publisher)
- Books
- Title :
- Elements of distributed algorithms : modeling and analysis with Petri nets
- Authors :
- Reisig, Wolfgang (1950- )
- Publication Year :
- cop. 1998
- Publisher :
- Berlin : Springer Verlag
- Co-authors :
- Springer. Wydawca, nakładca (publisher)
- Books
- Title :
- Concurrent object-oriented programming and Petri nets : advances in Petri nets
- Authors :
- Agha, Gul A
De Cindio, Fiorella
Rozenberg, Grzegorz - Publication Year :
- 2001
- Publisher :
- Berlin ; Heidelberg : Springer Verlag
- Co-authors :
- Springer. Wydawca, nakładca (publisher)
- Books
- Title :
- Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 1, Petri nets and automata
- Publication Year :
- 2004
- Publisher :
- Berlin : Humboldt-Universiteat
- Co-authors :
- Lindemann, Gabriela. Redakcja
- Books
- Title :
- Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 2, Specification and verification
- Publication Year :
- 2004
- Publisher :
- Berlin : Humboldt-Universiteat
- Co-authors :
- Lindemann, Gabriela. Redakcja
- Books
- Title :
- Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 3, Multiagent systems and applications
- Publication Year :
- 2004
- Publisher :
- Berlin : Humboldt-Universiteat
- Co-authors :
- Lindemann, Gabriela. Redakcja
- Books
- Title :
- Random graphs
- Authors :
- Bollobás, Béla
- Publication Year :
- cop. 2001
- Publisher :
- Cambridge : Cambridge University Press
- Publication :
- 2nd ed
- Co-authors :
- Cambridge University Press. Wydawca, nakładca (publisher)
- Books
- Title :
- Random graphs
- Authors :
- Janson, Svante
Łuczak, Tomasz
Ruciński, Andrzej (1945- ) - Publication Year :
- cop. 2000
- Publisher :
- New York : John Wiley & Sons
- Co-authors :
- John Wiley & Sons. Wydawca, nakładca (publisher)
- Books
- Title :
- Introductory graph theory
- Authors :
- Chartrand, Gary
- Publication Year :
- 1985
- Publisher :
- New York : Dover
- Books
- Title :
- Wprowadzenie do teorii grafów
- Authors :
- Wilson, Robin J. (1943- )
- Publication Year :
- 1985
- Publisher :
- [Warszawa] : Państ. Wydaw. Naukowe
- Co-authors :
- Kubale, Marek (1946- ). Tłumaczenie
Państwowe Wydawnictwo Naukowe. Wydawca, nakładca (publisher) - Books
- Title :
- Introduction to graph theory
- Authors :
- Trudeau, Richard J
- Publication Year :
- cop. 1993
- Publisher :
- New York : Dover Publications
- Books
- Title :
- Small worlds : the dynamics of networks between order and randomness
- Authors :
- Watts, Duncan J. (1971- )
- Publication Year :
- cop. 1999
- Publisher :
- Princeton, N.J : Princeton University Press
- Co-authors :
- Princeton University Press. Wydawca, nakładca (publisher)
- Books
- Title :
- Silnie i symbole Newtona
- Authors :
- Nowicki, Andrzej (1949- )
- Publication Year :
- 2011
- Publisher :
- Toruń ; Olsztyn : Olsztyńska Wyższa Szkoła Informatyki i Zarządzania im. prof. T. Kotarbińskiego
- Co-authors :
- Olsztyńska Wyższa Szkoła Informatyki i Zarządzania im. prof. Tadeusza Kotarbińskiego Wydawca, nakładca (publisher)
- Books
- Title :
- Discussiones Mathematicae. Graph Theory
- Authors :
- Politechnika Zielonogórska. Instytut Matematyki
- Publication Year :
- 1995-
- Publisher :
- Zielona Góra : Technical University Press
- Co-authors :
- Borowiecki, Mieczysław (1941- ). Redakcja
- 02. Wydawnictwo ciągłe
- Title :
- Wprowadzenie do teorii grafów
- Authors :
- Wilson, Robin J. (1943- )
- Publication Year :
- 2004
- Publisher :
- Warszawa : Wydaw. Naukowe PWN
- Publication :
- Wyd. 2 (2 dodr.)
- Co-authors :
- Guzicki, Wojciech. Tłumaczenie
Wydawnictwo Naukowe PWN. Wydawca, nakładca (publisher) - Books
- Title :
- Wykłady z matematyki dyskretnej. Cz. 1, Kombinatoryka
- Authors :
- Libura, Marek
Sikorski, Jarosław - Publication Year :
- 2003
- Publisher :
- Warszawa : WSISiZ
- Publication :
- Wyd. 3
- Books
- Title :
- Wykłady z matematyki dyskretnej. Cz. 1, Kombinatoryka
- Authors :
- Libura, Marek
Sikorski, Jarosław - Publication Year :
- 2005
- Publisher :
- Warszawa : WSISiZ
- Publication :
- Wyd. 4 popr
- Books
- Title :
- Wykłady z matematyki dyskretnej. Cz. 2, Teoria grafów
- Authors :
- Libura, Marek
Sikorski, Jarosław - Publication Year :
- 2003
- Publisher :
- Warszawa : WSISiZ
- Publication :
- Wyd. 2
- Books
- Title :
- Erdős on graphs : his legacy of unsolved problems
- Authors :
- Chung, Fan R. K. (1949- )
Graham, Ronald L. (1935- ) - Publication Year :
- cop. 1998
- Publisher :
- Wellesley, Mass : AK Peters
- Books
- Title :
- Matematyka dyskretna dla informatyków. Cz. 1, Elementy kombinatoryki
- Authors :
- Jaworski, Jerzy (1955- )
Palka, Zbigniew
Szymański, Jerzy (matematyk) - Publication Year :
- 2007
- Publisher :
- Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
- Co-authors :
- Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza (Poznań). Wydawca, nakładca (publisher)
- Books
- Title :
- Discrete mathematics for computer scientists
- Authors :
- Truss, John K
- Publication Year :
- copyright 1999
- Publisher :
- Harlow : Addison-Wesley
- Publication :
- 2nd edition
- Co-authors :
- Addison-Wesley Publishing Company. Wydawca, nakładca (publisher)
- Books
- Title :
- Algebra stosowana dla matematyków i informatyków : grupy, grafy, kombinatoryka
- Authors :
- Klin, Mihail Haimovič
Pöschel, Reinhard (1947- )
Rosenbaum, K - Publication Year :
- 1993
- Publisher :
- Warszawa : Wydawnictwa Naukowo-Techniczne
- Publication :
- Wyd. 2
- Co-authors :
- Browkin, Jerzy (1934-2015). Tłumaczenie
Wydawnictwa Naukowo-Techniczne. Wydawca, nakładca (publisher) - Books
- Title :
- Optymalizacja dyskretna : modele i metody kolorowania grafów
- Authors :
- Białogrodzki, Jakub
- Publication Year :
- 2002
- Publisher :
- Warszawa : Wydawnictwa Naukowo-Techniczne
- Co-authors :
- Kubale, Marek (1946- ). Redakcja
Wydawnictwa Naukowo-Techniczne. Wydawca, nakładca (publisher) - Books
- Title :
- Algorytmy w C++. Cz. 5, Grafy
- Authors :
- Sedgewick, Robert (1946- )
Van Wyk, Christopher J - Publication Year :
- 2003
- Publisher :
- Warszawa : "RM"
- Co-authors :
- Rzechonek, Paweł. Tłumaczenie
Wydawnictwo RM. Wydawca, nakładca (publisher) - Books
- Title :
- Matematyka dyskretna dla informatyków
- Authors :
- Kordecki, Wojciech
Łyczkowska-Hanćkowiak, Anna - Publication Year :
- copyright 2018
- Publisher :
- Gliwice : Helion
- Co-authors :
- Helion. Wydawca, nakładca (publisher)
- Books
- Title :
- Kombinatoryka dla programistów
- Authors :
- Lipski, Witold (1949-1985)
- Publication Year :
- 2004
- Publisher :
- Warszawa : Wydawnictwa Naukowo-Techniczne
- Added entry :
- Czajka, Tomasz. Algorytmy w języku C++ i przykłady ich użycia
- Publication :
- Wyd. 3 rozsz
- Co-authors :
- Wydawnictwa Naukowo-Techniczne. Wydawca, nakładca (publisher)
- Books
- Title :
- Szeregowanie zadań metodami kolorowania grafów
- Authors :
- Giaro, Krzysztof
- Publication Year :
- 2003
- Publisher :
- Gdańsk : Wydaw. PG
- Co-authors :
- Wydawnictwo Politechniki Gdańskiej. Wydawca, nakładca (publisher)
- Books
- Title :
- Topological analysis and diagnosis of analog circuits
- Authors :
- Starzyk, Janusz
- Publication Year :
- 2007
- Publisher :
- Gliwice : Wydawn. Politechniki Śląskiej
- Co-authors :
- Wydawnictwo Politechniki Śląskiej. Wydawca, nakładca (publisher)
- Books
- Title :
- Sieci : analiza i optymalizacja
- Authors :
- Kaczmarek, Konrad (matematyk)
Nowak, Andrzej (matematyk) - Publication Year :
- 2007
- Publisher :
- Gliwice : Wydawnictwo Politechniki Śląskiej
- Co-authors :
- Wydawnictwo Politechniki Śląskiej. Wydawca, nakładca (publisher)
- Books
- Title :
- Weryfikacja modelowa specyfikacji sterowników logicznych
- Authors :
- Grobelna, Iwona
- Publication Year :
- cop. 2012
- Publisher :
- Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
- Co-authors :
- Oficyna Wydawnicza Uniwersytetu Zielonogórskiego Wydawca, nakładca (publisher)
- Books
- Title :
- Grafy : algorytmy w Pascalu
- Authors :
- Jankowski, Bronisław
- Publication Year :
- 1998
- Publisher :
- Warszawa : Mikom
- Co-authors :
- Wydawnictwo Mikom. Wydawca, nakładca (publisher)
- Books
- Title :
- Świat sieci złożonych : od fizyki do Internetu
- Authors :
- Fronczak, Agata
Fronczak, Piotr - Publication Year :
- 2009
- Publisher :
- Warszawa : Wydawnictwo Naukowe PWN
- Co-authors :
- Wydawnictwo Naukowe PWN. Wydawca, nakładca (publisher)
- Books
- Title :
- Grafy [Dokument elektroniczny] : algorytmy w Pascalu
- Authors :
- Jankowski, Bronisław
- Publication Year :
- 1998
- Publisher :
- Warszawa : Mikom
- Co-authors :
- Wydawnictwo Mikom. Wydawca, nakładca (publisher)
- Computer files
- Title :
- Algorytmy aproksymacyjne
- Authors :
- Vazirani, Vijay V
- Publication Year :
- 2005
- Publisher :
- Warszawa : Wydawnictwa Naukowo-Techniczne
- Co-authors :
- Mucha, Marcin. Tłumaczenie
Wydawnictwa Naukowo-Techniczne. Wydawca, nakładca (publisher) - Books
- Title :
- Przeżywalność sieci teleinformatycznych i telekomunikacyjnych
- Authors :
- Molisz, Wojciech
- Publication Year :
- 2002
- Publisher :
- Gdańsk : Wydaw. PG
- Co-authors :
- Wydawnictwo Politechniki Gdańskiej. Wydawca, nakładca (publisher)
- Books
Showing 1-47 from 47 results