PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
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ł:
Efficient Rough Set Theory Merging
(
Grabowski A.
), s. 371--385
artykuł:
Identification of Formal Fallacies in a Natural Dialogue
(
Kacprzak M.
,
Sawicka A.
), s. 403--417
artykuł:
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
(
Nguyen L. A.
,
Golińska-Pilarek J.
), s. 433--449
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ł:
About New Version of RSDS System
(
Suraj Z.
,
Grochowalski P.
), s. 503--519
artykuł:
Preprocessing for Network Reconstruction : Feasibility Test and Handling Infeasibility
(
Wagler A. K.
,
Wegener J.-T.
), s. 521--535
artykuł:
Query Rewriting Based on Meta-Granular Aggregation
(
Wiśniewski P.
,
Stencel K.
), s. 537--551
artykuł:
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
(
Woźna-Szcześniak B.
,
Zbrzezny A.
), s. 553--568
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ć.