Simulátor formálnych výpočtových strojov

Saved in:
Bibliographic Details
Main Author: Gašpar, Martin (Author)
Other Authors: Chudá, Daniela (Thesis advisor)
Format: Manuscript Book
Language:Slovak
Published: 2017
Subjects:
Online Access:http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=106392
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000ntm a22000003a 4500
001 stuzp64397
003 SK-STU
005 20180130150508.0
007 ta
008 150427s2015----xo-----f-mn---000-0-slo-d
040 |a STU  |b slo 
041 0 |a slo 
100 1 |a Gašpar, Martin  |u 070200  |4 aut  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav informatiky, informačných systémov a softvérového inžinierstva  |X 46081  |U I200  |Y 179  |7 46081 
242 0 1 |a Simulator of formal models of computation  |y eng 
245 1 0 |a Simulátor formálnych výpočtových strojov 
260 |c 2017 
650 4 |a Automat  |2 slo 
650 4 |a Turing  |2 slo 
650 4 |a Výpočtový stroj  |2 slo 
650 4 |a Automat  |2 eng 
650 4 |a Turing  |2 eng 
650 4 |a Computing machine  |2 eng 
700 1 |a Chudá, Daniela  |u 070200  |k Z1  |4 ths  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav informatiky, informačných systémov a softvérového inžinierstva  |X 38061  |U I200  |Y 179  |7 000038061 
856 4 |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=106392 
996 |b 11376  |c I* BAP151/17  |l II680  |s P  |a 0  |w stuzp64397_0001