English

Szczegóły obiektu: Inevitability in diamond-discrete systems

tile.noImage
Instytucja dostarczająca:Repozytorium Biblioteka Cyfrowa - Instytut Podstaw Informatyki PAN

Opis

Podobne obiekty

tile.noImage
Inevitability in diamond-discrete systems
Twórca:Penczek, Wojciech
Rodzaj zawartości:teksty
Czy mogę z tego skorzystać?:tak
tile.noImage
Sposób wytwarzania biodegradowalnych i bioresorbowalnych materiałów poliestrowych
Twórca:Jedliński, Zbigniew | Kurcok, Piotr | Wałach, Wojciech | Penczek, Jan
Rodzaj zawartości:teksty
Czy mogę z tego skorzystać?:tak
tile.noImage
Computer Science vs. COVID-19
Twórca:Afelt, Aneta | Byrski, Aleksander | Calo, Victor | Krüger, Tyll | Madeyski, Lech | Penczek, Wojciech
Data:2021.08.31
Rodzaj zawartości:teksty
tile.noImage
Model Checking Temporal Properties of Reaction Systems
Twórca:Męski, Artur | Penczek, Wojciech | Rozenberg, Grzegorz
Rodzaj zawartości:teksty
Czy mogę z tego skorzystać?:poproś o pozwolenie
tile.noImage
Towards Partial Order Reductions for Fragments of Alternating-Time Temporal Logic.
Twórca:Dembiński, Piotr | Jamroga, Wojciech | Mazurkiewicz, Antoni | Penczek, Wojciech
Rodzaj zawartości:teksty
Czy mogę z tego skorzystać?:poproś o pozwolenie

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa
Rzeczpospolita Polska
FBC - Federacja Bibliotek Cyfrowych
Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Copyright 2022 - FBC zostało stworzone przez PCSS

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności