Number of hits: 3
Source type
journals (3)
Journals - titles
Informatica (Ljubljana) (3)odstrani
Journals - form
articles (3)
Language
english (3)odstrani
Date
1995 (3)odstrani
Location
Slovensko društvo Informatika (3)
Content
Cybernetics (1)
Industry, Craft, Handicraft (1)
Mathematics (1)
Publisher
Slovensko društvo Informatika (3)
Rights
In Copyright (3)
Access
Public (3)
Search in (3)
Sort by:
Supporting high integrity and behavioural predictability of hard real-time systems
Contibutors: Colnarič, Matjaž (author) / Verber, Domen (author) / Halang, Wolfgang A. (author)
Source: Informatica (Ljubljana)
Numbering: 1995, volume 19, issue 1
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (1015 kB)
1. TXT document (43 kB)
Principles of a formal axiomatic structure of the informational
Contibutors: Železnikar, Anton P. (author)
Source: Informatica (Ljubljana)
Numbering: 1995, volume 19, issue 1
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (2396 kB)
1. TXT document (102 kB)
Elements of metamathematical and informational calculus
Contibutors: Železnikar, Anton P. (author)
Source: Informatica (Ljubljana)
Numbering: 1995, volume 19, issue 3
Provider: Slovensko društvo Informatika
(Obvezni izvod spletne publikacije)
1. PDF document (1955 kB)
1. TXT document (83 kB)
Realization, property and rights 2024 Narodna in univerzitetna knjižnica, Turjaška 1, 1000 Ljubljana