Fundamenta Informaticae - Tom Vol. 143, nr 1/2 (2016) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 143, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2016

Identyfikatory

Zawartość wolumenu

Vol. 143, nr 1/2
- artykuł: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems (Woźna-Szcześniak B.), s. 173--205
- artykuł: Programming Self-Assembly of DNA Tiles (Bellia M., Occhiuto M. E.), s. 35--49
- artykuł: Controlling Petri Net Behavior using Priorities for Transitions (Lomazova I. A., Popova-Zeugmann L.), s. 101--112

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.