Federacja Bibliotek Cyfrowych

Homepage
Polona
On the SAT-based verification of communicative commitments

Object's details: On the SAT-based verification of communicative commitments

tile.noImage

Provider:Polona

Description

Title:
On the SAT-based verification of communicative commitments
Creator:
Woźna-Szcześniak, Bożena
Description:
Bibliogr. s. 185-186.;
dokumenty elektroniczne
Object availability:
free access
Rights:
Domena Publiczna. Wolno zwielokrotniać, zmieniać i rozpowszechniać oraz wykonywać utwór, nawet w celach komercyjnych, bez konieczności pytania o zgodę. Wykorzystując utwór należy pamiętać o poszanowaniu autorskich praw osobistych Twórcy.
Date:
2014
Language:
English;
eng
Source:
Biblioteka Narodowa
Publisher:
2014.
Relation:
Trends in contemporary computer science
Subject:
Data mining DBN
Identifier:
991033611799705066;
b0000003326324
Data provider:
Polona

Can I use it?:
yes
Type:
other

Similar objects

tile.noImage

On the SAT-based verification of communicative commitments

Creator:Woźna-Szcześniak, Bożena

Date:2014

Type:other

tile.noImage

Similarity-based searching in structured spaces of music information

Creator:Rybnik, Mariusz

Date:2014

Type:other

tile.noImage

Action rules mining in laryngological disorders

Creator:Dardzińska, Agnieszka

Date:2014

Type:other

tile.noImage

Wybrane zagadnienia informatyki technicznej : o niektórych rozwiązaniach w dziedzinie eksploracji danych inspirowanych teorią zbiorów przybliżonych

Date:2020

Type:other

Can I use it?:seek permission

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Michała Senika pt. Ontology adaptation for the distributed control systems management and integration purposes

Creator:Woźna-Szcześniak, Bożena

Date:2018.12.31 | 2018

Type:other

tile.noImage

On the SMT-based Verification of Communicative Commitments

Creator:Szcześniak, Ireneusz | Woźna-Szcześniak, Bożena

Type:image

Can I use it?:check license

tile.noImage

SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

Creator:Szczesniak, Ireneusz | Woźna-Szcześniak, Bożena

Type:image

Can I use it?:seek permission

tile.noImage

SAT-based searching for k-quasi-optimal runs in weighted timed automata

Creator:Woźna-Szcześniak, Bożena | Zbrzezny, Andrzej

Type:image

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

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