Fundamenta Informaticae - Tom Vol. 135, nr 4 (2014) - 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. 135, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2014

Identyfikatory

Zawartość wolumenu

Vol. 135, nr 4
- artykuł: Engineering MAS – A Device Integration Framework for Smart Home Environments (Betts J., Müller B.), s. 341--353
- artykuł: A Specification Format for Rooted Branching Bisimulation (Castiglioni V., Lanotte R., Tini S.), s. 355--369
- artykuł: SMT Versus Genetic and OpenOpt Algorithms : Concrete Planning in the PlanICS Framework (Niewiadomski A., Skaruz J., Penczek W., Szreter M., Jarocki M.), s. 451--466
- artykuł: SMT-Based Reachability Checking for Bounded Time Petri Nets (Półrola A., Cybula P., Męski A.), s. 467--482
- artykuł: A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans (Przymus P., Kaczmarski K., Stencel K.), s. 483--501
- artykuł: Query Rewriting Based on Meta-Granular Aggregation (Wiśniewski P., Stencel K.), s. 537--551

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ć.