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

Temat

Rok publikacji

Okres powstania

Dziedzina

Język

Lokalizacja

Przeznaczenie egzemplarza

Wyrównaj
    Wyświetlanie 1-4 z 4
    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 1: 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. 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
    Pozycja nr 2: Workshop Concurrency, specification and programming : CS&P ’2004, Caputh, September 24-26. Vol. 3, Multiagent systems and applications / 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. 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 3: 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 4: 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-4 z 4

      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