Subject: Sieci Petriego - Wspólny katalog bibliotek Konsorcjum Akademickiego

Go to position 1.

Full title:: Timed Petri nets : theory and application / by Jiacun Wang
Publisher:: Boston : Kluwer Academic Publishers
Publication Year:: cop. 1998
Publication series:: Discrete Event Dynamic Systems ; 9
Subject:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 2.

Full title:: Fuzziness in Petri nets / ed. Janette Cardoso, Heloisa Camargo
Publisher:: Heidelberg : Physica-Verlag
Publication Year:: 1999
Publication series:: Studies in Fuzziness and Soft Computing ; vol. 22
Subject:: Sieci Petriego
Fuzzy Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 3.

Full title:: Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: 2001
Publication series:: Monographs in Theoretical Computer Science
Subject:: Sieci Petriego
Parallel processing (Electronic computers)
Computer science - mathematics
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 4.

Full title:: Application of Petri nets to communication networks / ed. Jonathan Billington, Michael Diaz, Grzegorz Rozenberg
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: 1999
Publication series:: Lecture Notes in Computer Science, 0302-9743 ; 1605
Subject:: Sieci Petriego
Electronic data processing - distributed processing
Computer networks
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 5.

Full title:: Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings / Jose-Manuel Colom, Maciej Koutny (eds.)
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: cop. 2001
Publication series:: Lecture Notes in Computer Science, 0302-9743 ; 2075
Subject:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 6.

Full title:: Discrete, continuous and hybrid Petri nets / Rene David, Hassane Alla
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: cop. 2005
Subject:: Sieci Petriego
Applications of Mathematics
Computational Methods of Engineering
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 7.

Full title:: Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / Gianfranco Ciardo, Philippe Darondeau (eds.)
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: copyright 2005
Publication series:: Lecture Notes in Computer Science, 0302-9743 ; 3536
Subject:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki
Publikacje naukowe

Books

in the bookshelf

Go to position 8.

Full title:: Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21 - 25, 2004 : proceedings / Jordi Cortadella, Wolfgang Reising (eds.)
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: copyright 2004
Publication series:: Lecture Notes in Computer Science, 0302-9743 ; 3099
Subject:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki
Publikacje naukowe

Books

in the bookshelf

Go to position 9.

Full title:: Lectures on concurrency and Petri nets : advanced in Petri Nets / Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: copyright 2004
Publication series:: Lecture Notes in Computer Science, 0302-9743 ; 3098 : Tutorial
Subject:: Sieci Petriego
Parallel processing Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki
Publikacje naukowe

Books

in the bookshelf

Go to position 10.

Full title:: Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girauld, Rüdiger Valk
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: cop. 2003
Subject:: Sieci Petriego
Inżynieria systemów
Formal methods (Computer science)
Systems engineering
Petri nets
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 11.

Full title:: Sieci Petriego i PN-TOOLS : narzędzia do modelowania i analizy systemów współbieżnych / Zbigniew Suraj, Marcin Szpyrka
Publisher:: Rzeszów : Wydaw. Wyższej Szkoły Pedagogicznej
Publication Year:: 1999
Subject:: Sieci Petriego
Systemy informatyczne
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 12.

Full title:: Concurrent object-oriented programming and Petri nets : advances in Petri nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg
Publisher:: Berlin ; Heidelberg : Springer Verlag
Publication Year:: 2001
Publication series:: Lecture Notes in Computer Science, 0302-9743 ; 2001
Subject:: Programowanie obiektowe
Sieci Petriego
Programowanie współbieżne
Object-oriented programming (Computer science)
Parallel processing (Electronic computers)
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 13.

Full title:: Sieci Petriego w modelowaniu i analizie systemów współbieżnych / Marcin Szpyrka
Publisher:: Warszawa : Wydawnictwa Naukowo-Techniczne
Publication Year:: 2008
Publication series:: Inżynieria Oprogramowania
Subject:: Sieci Petriego
Systemy informatyczne
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 14.

Full title:: GRAF : system graficznej konstrukcji i analizy sieci Petriego / Zbigniew Suraj, Bogumił Komarek
Publisher:: Warszawa : Akademicka Oficyna Wydawnicza PLJ
Publication Year:: 1994
Publication series:: Problemy Współczesnej Nauki : teoria i zastosowania. Informatyka
Subject:: Sieci Petriego
Programy komputerowe
Informatyka i technologie informacyjne
Genere / Form:: Książki

Books

in the bookshelf

Go to position 15.

Full title:: Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig
Publisher:: Berlin : Springer Verlag
Publication Year:: copyright 1998
Subject:: Algorytmy
Dane
Przetwarzanie danych
Sieci Petriego
Computer algorithms
Computer software
Data structures (computer science)
Electronic data processing
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki
Publikacje naukowe

Books

in the bookshelf

Go to position 16.

Full title:: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 3, Multiagent systems and applications / edited by Gabriela Lindemann
Publisher:: Berlin : Humboldt-Universität
Publication Year:: 2004
Publication series:: Informatik Berichte, 0863-095X ; Nr 170
Subject:: Przetwarzanie danych
Sieci Petriego
Systemy informatyczne
Informatyka i technologie informacyjne
Genere / Form:: Książki
Materiały konferencyjne

Books

in the bookshelf

Go to position 17.

Full title:: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 2, Specification and verification / edited by Gabriela Lindemann
Publisher:: Berlin : Humboldt-Universität
Publication Year:: 2004
Publication series:: Informatik Berichte, 0863-095X ; Nr 170
Subject:: Przetwarzanie danych
Sieci Petriego
Systemy informatyczne
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki
Materiały konferencyjne

Books

in the bookshelf

Go to position 18.

Full title:: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 1, Petri nets and automata / edited by Gabriela Lindemann
Publisher:: Berlin : Humboldt-Universität
Publication Year:: 2004
Publication series:: Informatik Berichte, 0863-095X ; Nr 170
Subject:: Przetwarzanie danych
Sieci Petriego
Systemy informatyczne
Petri nets
Informatyka i technologie informacyjne
Genere / Form:: Książki
Materiały konferencyjne

Books

in the bookshelf

Go to position 19.

Full title:: Wprowadzenie do teorii grafów / Robin J. Wilson ; [z ang. tł. Marek Kubale]
Publisher:: [Warszawa] : Państ. Wydaw. Naukowe
Publication Year:: 1985
Subject:: Grafy
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 20.

Full title:: Random graphs / Svante Janson, Tomasz Łuczak, Andrzej Ruciński
Publisher:: New York : John Wiley & Sons
Publication Year:: copyright 2000
Publication series:: Wiley-Interscience Series in Discrete Mathematics and Optimization
Subject:: Grafy
Random graphs
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 21.

Full title:: Introductory graph theory / Gary Chartrand
Publisher:: New York : Dover
Publication Year:: 1985
Subject:: Grafy
Graph theory
Matematyka
Genere / Form:: Książki
Publikacje naukowe
Content:: Zawiera: Mathematical models, Elementary concepts of graph theory, Transportation problems, Connection problems, Party problems, Games and puzzles, Digraphs and mathematical models, Graphs and social psychology, Planar graphs and coloring problems, Graphs and other mathematics, Appendix Sets, Relations, Functions, Proofs

Books

in the bookshelf

Go to position 22.

Full title:: Introduction to graph theory / Richard J. Trudeau
Publisher:: New York : Dover Publications
Publication Year:: copyright 1993
Publication series:: Dover Books on Advanced Mathematics
Subject:: Grafy
Graph theory
Matematyka
Genere / Form:: Książki
Publikacje naukowe

Books

in the bookshelf

Go to position 23.

Full title:: Random graphs / Béla Bollobás
Publisher:: Cambridge : Cambridge University Press
Publication:: 2nd ed
Publication Year:: cop. 2001
Publication series:: Cambridge Studies in Advanced Mathematics ; 73
Subject:: Grafy
Random graphs
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 24.

Full title:: Erdős on graphs : his legacy of unsolved problems / Fan Chung, Ron Graham
Publisher:: Wellesley : AK Peters
Publication Year:: copyright 1998
Subject:: Erdős, Paul (1913-1996)
Grafy
Graph theory
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 25.

Full title:: Small worlds : the dynamics of networks between order and randomness / Duncan J. Watts
Publisher:: Princeton : Princeton University Press
Publication Year:: copyright 1999
Publication series:: Princeton Studies in Complexity
Subject:: Grafy
Modele matematyczne
Graph theory
Network analysis (planning)
Social networks - mathematical models
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 26.

Full title:: Silnie i symbole Newtona / Andrzej Nowicki
Publisher:: Toruń ; Olsztyn : Olsztyńska Wyższa Szkoła Informatyki i Zarządzania im. prof. T. Kotarbińskiego
Publication Year:: 2011
Publication series:: Podróże po imperium liczb / Andrzej Nowicki ; cz. 11
Subject:: Kombinatoryka
Symbol Newtona
Teoria liczb
Silnia
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 27.

Full title:: Discussiones Mathematicae. Graph Theory / [Institute of Mathematics Technical University ; ed. in chief Mieczysław Borowiecki]
Publisher:: Zielona Góra : Technical University Press
Publication Year:: 1995-
Subject:: Grafy
Matematyka
Genere / Form:: Czasopisma
Publikacje naukowe
Czasopismo matematyczne
Czasopismo naukowe
Czasopismo polskie

Periodicals and journals

in the bookshelf

Go to position 28.

Full title:: Wprowadzenie do teorii grafów / Robin J. Wilson ; z ang. tł. Wojciech Guzicki
Publisher:: Warszawa : Wydaw. Naukowe PWN
Publication:: Wyd. 2 (2 dodr.)
Publication Year:: 2004
Subject:: Grafy
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 29.

Full title:: Matematyka dyskretna : niezbędnik dla informatyków / Harry Lewis, Rachel Zax ; [przekład: Piotr Fabijańczyk, Tomasz Lewandowski]
Publisher:: Warszawa : PWN
Publication:: Wydanie I
Publication Year:: 2021
Subject:: Matematyka dyskretna
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Publikacje fachowe
Podręcznik

Books

in the bookshelf

Go to position 30.

Full title:: Wykłady z matematyki dyskretnej. Cz. 1, Kombinatoryka / Marek Libura, Jarosław Sikorski ; Wyższa Szkoła Informatyki Stosowanej i Zarządzania
Publisher:: Warszawa : WSISiZ
Publication:: Wyd. 3
Publication Year:: 2003
Publication series:: Skrypty WSISiZ
Subject:: Kombinatoryka
Matematyka dyskretna
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 31.

Full title:: Wykłady z matematyki dyskretnej. Cz. 1, Kombinatoryka / Marek Libura, Jarosław Sikorski ; Wyższa Szkoła Informatyki Stosowanej i Zarządzania
Publisher:: Warszawa : WSISiZ
Publication:: Wyd. 4 popr
Publication Year:: 2005
Publication series:: Skrypty WSISiZ
Subject:: Kombinatoryka
Matematyka dyskretna
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 32.

Full title:: Matematyka dyskretna dla informatyków. Cz. 1, Elementy kombinatoryki / Jerzy Jaworski, Zbigniew Palka, Jerzy Szymański ; Uniwersytet im. Adama Mickiewicza w Poznaniu
Publisher:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Publication Year:: 2007
Subject:: Kombinatoryka
Matematyka dyskretna
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 33.

Full title:: Wykłady z matematyki dyskretnej. Cz. 2, Teoria grafów / Marek Libura, Jarosław Sikorski ; Wyższa Szkoła Informatyki Stosowanej i Zarządzania
Publisher:: Warszawa : WSISiZ
Publication:: Wyd. 2
Publication Year:: 2003
Publication series:: Skrypty WSISiZ
Subject:: Grafy
Matematyka dyskretna
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 34.

Full title:: Graph-based knowledge representation : computational foundations of conceptual graphs / Michel Chein, Marie-Laure Mugnier
Publisher:: New York ; London : Springer Verlag
Publication Year:: 2009
Publication series:: Advanced Information and Knowledge Processing, 1610-3947
Subject:: Grafy
Teoria informacji
Artificial intelligence
Conceptual structures (Information theory)
Data mining
Graph theory
Information storage and retrieval systems
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 35.

Full title:: Kombinatoryka dla programistów / Witold Lipski ; [dodatek "Algorytmy w języku C++ i przykłady ich użycia" oprac. Tomasz Czajka]
Publisher:: Warszawa : Wydawnictwa Naukowo-Techniczne
Publication:: Wyd. 3 rozsz
Publication Year:: 2004
Publication series:: Klasyka Informatyki
Subject:: Grafy
Kombinatoryka
Programowanie (informatyka)
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 36.

Full title:: Optymalizacja dyskretna : modele i metody kolorowania grafów / pod. red. Marka Kubale ; [aut.] Jakub Białogrodzki [et al.]
Publisher:: Warszawa : Wydawnictwa Naukowo-Techniczne
Publication Year:: 2002
Subject:: Kolorowanie grafów
Optymalizacja dyskretna
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 37.

Full title:: Algebra stosowana dla matematyków i informatyków : grupy, grafy, kombinatoryka / M. Ch. Klin, R. Pöschel, K. Rosenbaum ; z niem. przeł. Jerzy Browkin
Publisher:: Warszawa : Wydawnictwa Naukowo-Techniczne
Publication:: Wyd. 2
Publication Year:: 1993
Publication series:: Biblioteka Inżynierii Oprogramowania
Subject:: Grafy
Kombinatoryka
Teoria grup
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 38.

Full title:: Algorytmy w C++. Cz. 5, Grafy / Robert Sedgewick [oraz Christopher J. Van Wyk ; tł. Paweł Rzechonek et al.]
Publisher:: Warszawa : "RM"
Publication Year:: 2003
Subject:: Algorytmy
C++ (język programowania)
Programowanie (informatyka)
Grafy
Informatyka i technologie informacyjne
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 39.

Full title:: Discrete mathematics for computer scientists / J. K. Truss
Publisher:: Harlow : Addison-Wesley
Publication:: 2nd edition
Subject:: Matematyka dyskretna
Computer science
Mathematics
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 40.

Full title:: Topological analysis and diagnosis of analog circuits / Janusz A. Starzyk
Publisher:: Gliwice : Wydawn. Politechniki Śląskiej
Publication Year:: 2007
Publication series:: Zeszyty Naukowe / Politechnika Śląska ; nr 1771. Elektronika, 1231-1596 ; z. 15
Subject:: Analogowy układ elektroniczny
Grafy
Obwód elektryczny
Topologia
Topology
Linear integrated circuits
Electronic circuit design
Inżynieria i technika
Genere / Form:: Książki

Books

in the bookshelf

Go to position 41.

Full title:: Metody akumulacji danych w analizie obrazów cyfrowych / Leszek J. Chmielewski
Publisher:: Warszawa : Akademicka Oficyna Wydawnicza Exit
Publication Year:: 2006
Publication series:: Problemy Współczesnej Nauki : teoria i zastosowania. Informatyka
Subject:: Przetwarzanie obrazów
Przekształcenie Hougha
Teoria estymacji
Informatyka i technologie informacyjne
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 42.

Full title:: Matematyka dyskretna dla informatyków / Wojciech Kordecki, Anna Łyczkowska-Hanćkowiak
Publisher:: Gliwice : Helion
Subject:: Matematyka dyskretna
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 43.

Full title:: Weryfikacja modelowa specyfikacji sterowników logicznych / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki
Publisher:: Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
Publication Year:: cop. 2012
Subject:: Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Weryfikacja modelowa
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 44.

Full title:: Szeregowanie zadań metodami kolorowania grafów / Krzysztof Giaro
Publisher:: Gdańsk : Wydaw. PG
Publication Year:: 2003
Publication series:: Monografie / Politechnika Gdańska ; 37
Subject:: Algorytmy
Badania operacyjne
Kolorowanie grafów
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 45.

Full title:: Świat sieci złożonych : od fizyki do Internetu / Agata Fronczak, Piotr Fronczak
Publisher:: Warszawa : Wydawnictwo Naukowe PWN
Publication Year:: 2009
Subject:: Fizyka statystyczna
Grafy
Rachunek prawdopodobieństwa
Teoria systemów
Fizyka i astronomia
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 46.

Full title:: Sieci : analiza i optymalizacja / Konrad Kaczmarek, Andrzej Nowak
Publisher:: Gliwice : Wydawnictwo Politechniki Śląskiej
Publication Year:: 2007
Subject:: Algorytmy
Grafy
Optymalizacja
Sztuczna sieć neuronowa
Informatyka i technologie informacyjne
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Go to position 47.

Full title:: Grafy : algorytmy w Pascalu / Bronisław Jankowski
Publisher:: Warszawa : "Mikom"
Publication Year:: 1998
Subject:: Algorytmy
Badania operacyjne
Grafy
PASCAL (język programowania)
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki

Books

in the bookshelf

Go to position 48.

Full title:: Przeżywalność sieci teleinformatycznych i telekomunikacyjnych / Wojciech Molisz
Publisher:: Gdańsk : Wydaw. PG
Publication Year:: 2002
Publication series:: Monografie / Politechnika Gdańska ; 31
Subject:: Grafy
Niezawodność urządzeń
Optymalizacja
Symulacja
Transmisja danych
Inżynieria i technika
Genere / Form:: Książki

Books

in the bookshelf

Go to position 49.

Full title:: Grafy : algorytmy w Pascalu / Bronisław Jankowski
Publisher:: Warszawa : Mikom
Publication Year:: 1998
Subject:: Algorytmy
Badania operacyjne
Grafy
PASCAL (język programowania)
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Pliki i bazy danych
Dokumenty elektroniczne

Computer files

in the bookshelf

Go to position 50.

Full title:: Algorytmy aproksymacyjne / Vijay V. Vazirani ; z ang. przeł. Marcin Mucha
Publisher:: Warszawa : Wydawnictwa Naukowo-Techniczne
Publication Year:: 2005
Publication series:: Klasyka Informatyki
Subject:: Algorytmy
Aproksymacja
Kombinatoryka
Optymalizacja
Programowanie liniowe
Informatyka i technologie informacyjne
Matematyka
Genere / Form:: Książki
Publikacje dydaktyczne
Podręcznik

Books

in the bookshelf

Information

You search for a phrase "Sieci Petriego" according to the criterion: Subject

Data source

Department

Genre

Author

Subject

Publication Year

Period of creation

Domain

Target group

Language

Country

Shelving location

Item destination

Media type

Carrier type

Content type