Reguláris modellvizsgálat

QR kód

Reguláris modellvizsgálat

Elmentve itt :

Bibliográfiai részletek
Szerző:	Redler Sándor
További közreműködők:	Fülöp Zoltán (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	2008
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/3273

Hasonló tételek

Szimbolikus modellvizsgálat
Szerző: Bertók Zoltán
Megjelent: (2006)

Automaták és reguláris kifejezések
Szerző: Tuduka Erika
Megjelent: (1995)

Reguláris erdők racionális reprezentációi
Szerző: Juhász György
Megjelent: (1979)

Reguláris és környezetfüggetlen nyelvek inferenciája
Szerző: Dányi Gábor
Megjelent: (1992)

Reguláris kifejezéshez véges automata megadása
Szerző: Simon Viktória
Megjelent: (2005)

Reguláris egyenletrendszerek és alkalmazásuk automataelméleti eldönthetőségi problémákra
Szerző: Fülöp Zoltán
Megjelent: (1979)

Reguláris automata generátor megvalósítása C programozási nyelvben
Szerző: Tóth Egon
Megjelent: (1994)

Reguláris nyelvek egy részosztályának Kleene-típusú jellemzése
Szerző: Pató Ferenc
Megjelent: (1981)

Reguláris kifejezések ekvivalenciája
Szerző: Hajagos Károly
Megjelent: (2017)

Reguláris kifejezések optimalizálása
Szerző: Dudás Dávid
Megjelent: (2015)

WebKit böngésző motor reguláris kifejezés kiértékelő motorjának fejlesztése
Szerző: Varga Péter
Megjelent: (2012)

Thompson algoritmus alapú reguláris kifejezés kiértékelő motor implementálása WebKit-be
Szerző: Hodován Renáta
Megjelent: (2011)

Faautomaták és reguláris erdők osztályai
Szerző: Maróti György
Megjelent: (1980)

Reguláris szűkítésű determinisztikus top-down fatranszformátorok Egyetemi doktori fokozatának PhD fokozattá történő átminősítésére benyújtott tézis /
Szerző: Vágvölgyi Sándor
Megjelent: (1995)

Molekulák háromdimenziós megjelenítése
Szerző: Redler Sándor
Megjelent: (2006)

Reguláris változású másodrendű bevándorlásos Galton-Watson folyamatok vizsgálata [absztrakt] /
Szerző: Bősze Zsuzsanna
Megjelent: (2017)

Genetikus algoritmus minimális átlagos távolsággal rendelkező reguláris gráfok keresésére
Szerző: Szalaji Natália
Megjelent: (2023)

Észrevételek az 1101. évi második reguláris hullám eredményeiről, illetve az anatóliai muszlim megosztottságról
Szerző: Pozsár Dániel
Megjelent: (2017)

Szabó Magda Kiálts, város! (drámaelemzés) /
Szerző: Redler Marianna
Megjelent: (1981)

Jászberény földrajza
Szerző: Redler Anna
Megjelent: (1942)

Sejtautomaták (Cellas sejttérprogramok és a cella sejttérszimulációs nyelv felhasználói leírása)
Szerző: Spiák Sándor
Megjelent: (1978)

Elosztott adatbázisok vizsgálata
Szerző: Szabó Sándor
Megjelent: (1984)

Felszálló fatranszformátorok kompozíciói
Szerző: Vágvölgyi Sándor
Megjelent: (1984)

Konvex testek rekonstrukciója
Szerző: Birkás Sándor
Megjelent: (1986)

Egyszerű PASCAL programok fordítása C-re
Szerző: Nagy Sándor
Megjelent: (1989)

Az inkrementális képszintézis alapvető módszereinek gyakorlati megvalósítása
Szerző: Dobra Sándor
Megjelent: (2003)

Jackson-féle programtervezési módszer
Szerző: Erdei Sándor
Megjelent: (1988)

Félig-online ütemezési problémák
Szerző: Bolyós Sándor
Megjelent: (2005)

Soros porttal rendelkező eszközök közös távoli menedzsmentje
Szerző: Fehér Sándor
Megjelent: (2005)

3D-s effektek OpenGL-ben
Szerző: Flórián Sándor
Megjelent: (2005)

Képjavító eljárás számítógépes megvalósítása és vizsgálata
Szerző: Szalai Sándor
Megjelent: (1989)

Mozgástervezés C+/4-en
Szerző: Bartha Sándor
Megjelent: (1990)

Háromszögszerkesztés. Oktató program Commodore plusz/4 számítógépre
Szerző: Horváth Sándor
Megjelent: (1990)

Object Modul Editor
Szerző: Sándor Attila
Megjelent: (1990)

MIX assembler és szimulátorprogram II. MIXSIM szimulátorprogram
Szerző: Farkas Sándor
Megjelent: (1991)

Minimális út meghatározása irányított gráf csúcspontjai között
Szerző: Görög Sándor
Megjelent: (1991)

Folytonos függvények egyenletes közelítése polinomokkal
Szerző: Laskai Sándor
Megjelent: (1991)

Iterált függvényrendszerek alkalmazásai
Szerző: Nagy Sándor
Megjelent: (1991)

MIX assembler és szimulátorprogram I. MAXIASM fordítóprogram
Szerző: Sándor Imre
Megjelent: (1991)

Eljáráskészlet a HP 7475-ös plotter vezérléséhez
Szerző: Czagány Sándor
Megjelent: (1992)