Federacja Bibliotek Cyfrowych

Homepage
Czasopisma PAN
Translation of probabilistic games in J2TADD

Object's details: Translation of probabilistic games in J2TADD

tile.noImage

Provider:Czasopisma PAN

Description

Title:
Translation of probabilistic games in J2TADD
Creator:
Rataj, Artur
Description:
The Theoretical and Applied Informatics ceased publication with the 2017 issue (Volume 29, Number 1-2). Founded in 1989 as Archiwum Informatyki Teoretycznej i Stosowanej, Theoretical and Applied Informatics (TAAI) was a scientific, peer-reviewed and open access journal. TAAI published features high-quality research results in the full scope of computer science, including: foundations of computer science, software engineering, computer graphics, image processing, computer networks, quantum information theory, and bioinformatics. The journal was published using Open Access formula. Coverage: 2006-2017 (Vol. 17, No. 1 - Vol. 29, No. 1-2) Publication of this title ceased in 2017.;
Editor-in-Chief: Prof. dr hab. inż. Jerzy Klamka Managing Editor: dr hab. Jarosław Miszczak
Object availability:
free access
Date:
2013.12.31;
2013
Type:
Article
Source:
Theoretical and Applied Informatics; 2013; vol. 25; No 3-4; 157-182
Coverage:
157-182
Publisher:
Committee of Informatics of Polish Academy of Science;
Institute of Theoretical and Applied Informatics of Polish Academy of Science
Subject:
model checking;
Java;
probabilistic game
Identifier:
ISSN 1896-5334
Data provider:
Czasopisma PAN

Similar objects

tile.noImage

Translation of probabilistic games in J2TADD

Creator:Rataj, Artur

Date:2013.12.31 | 2013

Type:image

tile.noImage

Procesy konstrukcji automatów powielających się w środowiskach ze zdarzeniami losowymi

Creator:Rataj, Artur

Date:2000.12.31 | 2000

Type:image

tile.noImage

Ekstrakcja cech tekstur poprzez analizę widma

Creator:Rataj, Artur

Date:2000.12.31 | 2000

Type:image

tile.noImage

Modelling CTMC with a standard programming language and using conventions from computer networking Modelowanie łańcuchów Markowa z czasem ciągłym przy użyciu standardowego języka programowania i z zastosowaniem konwencji z dziedziny sieci komputerowych

Creator:Rataj, Artur | Nowak, Mateusz | Pecka, Piotr

Type:other

Can I use it?:seek permission

tile.noImage

A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC

Creator:Copik, Marcin | Rataj, Artur | Woźna-Szcześniak, Bożena

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