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

Skocz do pozycji 1.

Tytuł pełny:: Timed Petri nets : theory and application / by Jiacun Wang
Wydawca:: Boston : Kluwer Academic Publishers
Rok wydania:: cop. 1998
Seria:: Discrete Event Dynamic Systems ; 9
Temat:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 2.

Tytuł pełny:: Fuzziness in Petri nets / ed. Janette Cardoso, Heloisa Camargo
Wydawca:: Heidelberg : Physica-Verlag
Rok wydania:: 1999
Seria:: Studies in Fuzziness and Soft Computing ; vol. 22
Temat:: Sieci Petriego
Fuzzy Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 3.

Tytuł pełny:: Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: 2001
Seria:: Monographs in Theoretical Computer Science
Temat:: Sieci Petriego
Parallel processing (Electronic computers)
Computer science - mathematics
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 4.

Tytuł pełny:: Application of Petri nets to communication networks / ed. Jonathan Billington, Michael Diaz, Grzegorz Rozenberg
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: 1999
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 1605
Temat:: Sieci Petriego
Electronic data processing - distributed processing
Computer networks
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 5.

Tytuł pełny:: 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.)
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: cop. 2001
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 2075
Temat:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 6.

Tytuł pełny:: Discrete, continuous and hybrid Petri nets / Rene David, Hassane Alla
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: cop. 2005
Temat:: Sieci Petriego
Applications of Mathematics
Computational Methods of Engineering
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 7.

Tytuł pełny:: Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / Gianfranco Ciardo, Philippe Darondeau (eds.)
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: copyright 2005
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 3536
Temat:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Publikacje naukowe

Książka

na półce

Skocz do pozycji 8.

Tytuł pełny:: Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21 - 25, 2004 : proceedings / Jordi Cortadella, Wolfgang Reising (eds.)
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: copyright 2004
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 3099
Temat:: Sieci Petriego
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Publikacje naukowe

Książka

na półce

Skocz do pozycji 9.

Tytuł pełny:: Lectures on concurrency and Petri nets : advanced in Petri Nets / Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: copyright 2004
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 3098 : Tutorial
Temat:: Sieci Petriego
Parallel processing Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Publikacje naukowe

Książka

na półce

Skocz do pozycji 10.

Tytuł pełny:: Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girauld, Rüdiger Valk
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: cop. 2003
Temat:: Sieci Petriego
Inżynieria systemów
Formal methods (Computer science)
Systems engineering
Petri nets
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 11.

Tytuł pełny:: Sieci Petriego i PN-TOOLS : narzędzia do modelowania i analizy systemów współbieżnych / Zbigniew Suraj, Marcin Szpyrka
Wydawca:: Rzeszów : Wydaw. Wyższej Szkoły Pedagogicznej
Rok wydania:: 1999
Temat:: Sieci Petriego
Systemy informatyczne
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 12.

Tytuł pełny:: Concurrent object-oriented programming and Petri nets : advances in Petri nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg
Wydawca:: Berlin ; Heidelberg : Springer Verlag
Rok wydania:: 2001
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 2001
Temat:: Programowanie obiektowe
Sieci Petriego
Programowanie współbieżne
Object-oriented programming (Computer science)
Parallel processing (Electronic computers)
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 13.

Tytuł pełny:: Sieci Petriego w modelowaniu i analizie systemów współbieżnych / Marcin Szpyrka
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:: 2008
Seria:: Inżynieria Oprogramowania
Temat:: Sieci Petriego
Systemy informatyczne
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 14.

Tytuł pełny:: GRAF : system graficznej konstrukcji i analizy sieci Petriego / Zbigniew Suraj, Bogumił Komarek
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza PLJ
Rok wydania:: 1994
Seria:: Problemy Współczesnej Nauki : teoria i zastosowania. Informatyka
Temat:: Sieci Petriego
Programy komputerowe
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 15.

Tytuł pełny:: Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig
Wydawca:: Berlin : Springer Verlag
Rok wydania:: copyright 1998
Temat:: Algorytmy
Dane
Przetwarzanie danych
Sieci Petriego
Computer algorithms
Computer software
Data structures (computer science)
Electronic data processing
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Publikacje naukowe

Książka

na półce

Skocz do pozycji 16.

Tytuł pełny:: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 3, Multiagent systems and applications / edited by Gabriela Lindemann
Wydawca:: Berlin : Humboldt-Universität
Rok wydania:: 2004
Seria:: Informatik Berichte, 0863-095X ; Nr 170
Temat:: Przetwarzanie danych
Sieci Petriego
Systemy informatyczne
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Materiały konferencyjne

Książka

na półce

Skocz do pozycji 17.

Tytuł pełny:: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 2, Specification and verification / edited by Gabriela Lindemann
Wydawca:: Berlin : Humboldt-Universität
Rok wydania:: 2004
Seria:: Informatik Berichte, 0863-095X ; Nr 170
Temat:: Przetwarzanie danych
Sieci Petriego
Systemy informatyczne
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Materiały konferencyjne

Książka

na półce

Skocz do pozycji 18.

Tytuł pełny:: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 1, Petri nets and automata / edited by Gabriela Lindemann
Wydawca:: Berlin : Humboldt-Universität
Rok wydania:: 2004
Seria:: Informatik Berichte, 0863-095X ; Nr 170
Temat:: Przetwarzanie danych
Sieci Petriego
Systemy informatyczne
Petri nets
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Materiały konferencyjne

Książka

na półce

Skocz do pozycji 19.

Tytuł pełny:: Matematyka dyskretna : niezbędnik dla informatyków / Harry Lewis, Rachel Zax ; [przekład: Piotr Fabijańczyk, Tomasz Lewandowski]
Wydawca:: Warszawa : PWN
Wydanie:: Wydanie I
Rok wydania:: 2021
Temat:: Matematyka dyskretna
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Publikacje fachowe
Podręcznik

Książka

na półce

Skocz do pozycji 20.

Tytuł pełny:: Graph-based knowledge representation : computational foundations of conceptual graphs / Michel Chein, Marie-Laure Mugnier
Wydawca:: New York ; London : Springer Verlag
Rok wydania:: 2009
Seria:: Advanced Information and Knowledge Processing, 1610-3947
Temat:: Grafy
Teoria informacji
Artificial intelligence
Conceptual structures (Information theory)
Data mining
Graph theory
Information storage and retrieval systems
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 21.

Tytuł pełny:: Kombinatoryka dla programistów / Witold Lipski ; [dodatek "Algorytmy w języku C++ i przykłady ich użycia" oprac. Tomasz Czajka]
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wyd. 3 rozsz
Rok wydania:: 2004
Seria:: Klasyka Informatyki
Temat:: Grafy
Kombinatoryka
Programowanie (informatyka)
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik

Książka

na półce

Skocz do pozycji 22.

Tytuł pełny:: Algorytmy w C++. Cz. 5, Grafy / Robert Sedgewick [oraz Christopher J. Van Wyk ; tł. Paweł Rzechonek et al.]
Wydawca:: Warszawa : "RM"
Rok wydania:: 2003
Temat:: Algorytmy
C++ (język programowania)
Programowanie (informatyka)
Grafy
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik

Książka

na półce

Skocz do pozycji 23.

Tytuł pełny:: Discrete mathematics for computer scientists / J. K. Truss
Wydawca:: Harlow : Addison-Wesley
Wydanie:: 2nd edition
Temat:: Matematyka dyskretna
Computer science
Mathematics
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 24.

Tytuł pełny:: Metody akumulacji danych w analizie obrazów cyfrowych / Leszek J. Chmielewski
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza Exit
Rok wydania:: 2006
Seria:: Problemy Współczesnej Nauki : teoria i zastosowania. Informatyka
Temat:: Przetwarzanie obrazów
Przekształcenie Hougha
Teoria estymacji
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik

Książka

na półce

Skocz do pozycji 25.

Tytuł pełny:: Weryfikacja modelowa specyfikacji sterowników logicznych / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki
Wydawca:: Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
Rok wydania:: cop. 2012
Temat:: Logika temporalna
Sterowniki programowalne
Systemy informatyczne
Weryfikacja modelowa
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik

Książka

na półce

Skocz do pozycji 26.

Tytuł pełny:: Sieci : analiza i optymalizacja / Konrad Kaczmarek, Andrzej Nowak
Wydawca:: Gliwice : Wydawnictwo Politechniki Śląskiej
Rok wydania:: 2007
Temat:: Algorytmy
Grafy
Optymalizacja
Sztuczna sieć neuronowa
Informatyka i technologie informacyjne
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik

Książka

na półce

Skocz do pozycji 27.

Tytuł pełny:: Grafy : algorytmy w Pascalu / Bronisław Jankowski
Wydawca:: Warszawa : "Mikom"
Rok wydania:: 1998
Temat:: Algorytmy
Badania operacyjne
Grafy
PASCAL (język programowania)
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki

Książka

na półce

Skocz do pozycji 28.

Tytuł pełny:: Grafy : algorytmy w Pascalu / Bronisław Jankowski
Wydawca:: Warszawa : Mikom
Rok wydania:: 1998
Temat:: Algorytmy
Badania operacyjne
Grafy
PASCAL (język programowania)
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Pliki i bazy danych
Dokumenty elektroniczne

Dokument elektroniczny

na półce

Skocz do pozycji 29.

Tytuł pełny:: Algorytmy aproksymacyjne / Vijay V. Vazirani ; z ang. przeł. Marcin Mucha
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:: 2005
Seria:: Klasyka Informatyki
Temat:: Algorytmy
Aproksymacja
Kombinatoryka
Optymalizacja
Programowanie liniowe
Informatyka i technologie informacyjne
Matematyka
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik

Książka

na półce

Informacja

Wyszukujesz frazę "Sieci Petriego" wg kryterium: Temat

Źródło danych

Agenda

Forma dzieła

Autor

Temat

Rok publikacji

Okres powstania

Dziedzina

Odbiorca

Język

Kraj

Lokalizacja

Przeznaczenie egzemplarza

Typ mediów

Typ nośnika

Typ zawartości