Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Prolib Integro - strona głównaBiblioteka Akademicka WSIiZ

Wyszukujesz frazę "Sieci Petriego" wg kryterium: Temat

  Lista filtrów

Agenda

Forma dzieła

Autor

Pokaż wszystkie »

Temat

Pokaż wszystkie »

Rok publikacji

Okres powstania

Dziedzina

Język

Lokalizacja

Przeznaczenie egzemplarza

Wyrównaj
    Wyświetlanie 1-12 z 12
    propozycja biblioteki
    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
    Pozycja nr 1: Timed Petri nets : theory and application / by Jiacun Wang. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 2: Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 3: Application of Petri nets to communication networks / ed. Jonathan Billington, Michael Diaz, Grzegorz Rozenberg. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 4: 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.). Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 5: Discrete, continuous and hybrid Petri nets / Rene David, Hassane Alla. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 6: Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / Gianfranco Ciardo, Philippe Darondeau (eds.). Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 7: Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21 - 25, 2004 : proceedings / Jordi Cortadella, Wolfgang Reising (eds.). Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 8: Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girauld, Rüdiger Valk. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 9: Concurrent object-oriented programming and Petri nets : advances in Petri nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 10: Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 11: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 2, Specification and verification / edited by Gabriela Lindemann. Przejdź do szczegółów egzemplarza
    Książka
    propozycja biblioteki
    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
    Pozycja nr 12: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 1, Petri nets and automata / edited by Gabriela Lindemann. Przejdź do szczegółów egzemplarza
    Książka
      Wyświetlanie 1-12 z 12

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies