polski

Object's details: Inevitability in diamond-discrete systems

tile.noImage
Provider:Repozytorium Biblioteka Cyfrowa - Instytut Podstaw Informatyki PAN

Description

Similar objects

tile.noImage
Inevitability in diamond-discrete systems
Creator:Penczek, Wojciech
Type:text
Can I use it?:yes
tile.noImage
Sposób wytwarzania biodegradowalnych i bioresorbowalnych materiałów poliestrowych
Creator:Jedliński, Zbigniew | Kurcok, Piotr | Wałach, Wojciech | Penczek, Jan
Type:text
Can I use it?:yes
tile.noImage
Computer Science vs. COVID-19
Creator:Afelt, Aneta | Byrski, Aleksander | Calo, Victor | Krüger, Tyll | Madeyski, Lech | Penczek, Wojciech
Date:2021.08.31
Type:text
tile.noImage
Model Checking Temporal Properties of Reaction Systems
Creator:Męski, Artur | Penczek, Wojciech | Rozenberg, Grzegorz
Type:text
Can I use it?:seek permission
tile.noImage
Towards Partial Order Reductions for Fragments of Alternating-Time Temporal Logic.
Creator:Dembiński, Piotr | Jamroga, Wojciech | Mazurkiewicz, Antoni | Penczek, Wojciech
Type:text
Can I use it?:seek permission

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland
Republic of Poland
Digital Libraries Federation
European Union - European Regional Development Fund

Copyright 2022 - The FBC was created by PSNC

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy