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

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Gašpar, Martin (Verfasst von)
Weitere Verfasser: Chudá, Daniela (Betreuung Doktorarbeit)
Format: Manuskript Buch
Sprache:Slowakisch
Veröffentlicht: 2017
Schlagworte:
Online-Zugang:http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=106392
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

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