Logikai programok szeletelése

QR kód

Logikai programok szeletelése

Elmentve itt :

Bibliográfiai részletek
Szerző:	Pere László
További közreműködők:	Szilágyi Gyöngyi (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	2000
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/1940

Hasonló tételek

C programok dinamikus szeletelése
Szerző: Gergely Tamás
Megjelent: (2000)

Bináris programok statikus szeletelése
Szerző: Jász Judit
Megjelent: (2004)

C programok dinamikus szeletelése
Szerző: Faragó Csaba
Megjelent: (2001)

Objektum orientált programok kifejezéseinek szeletelése
Szerző: Havasi Ferenc
Megjelent: (1999)

Logikai programok statikus analízise
Szerző: Harmath László
Megjelent: (1996)

Logikai programok párhuzamos végrehajtása
Szerző: Tóth Márton
Megjelent: (1999)

Logikai adatelemzés
Szerző: Farkas Mónika
Megjelent: (2007)

Logikai formulák
Szerző: Boros Béla
Megjelent: (1998)

Korrelációs programok
Szerző: Nagy László
Megjelent: (1975)

Logikai formulák tanulása
Szerző: Palkovics Ferenc
Megjelent: (1997)

Logikai formulák átalakításai
Szerző: Kuklis Krisztián
Megjelent: (1999)

PROLOG programok tanulása
Szerző: Harmath László
Megjelent: (1994)

C++ programok obfuszkálása
Szerző: László Tímea
Megjelent: (2007)

Felismerhető nyelvek logikai jellemzése
Szerző: Danyi András
Megjelent: (1996)

Logikai feladatgyűjtemény középiskolások számára
Szerző: Ott Andrea
Megjelent: (2001)

Egyes logikai formulák tanulása
Szerző: Szász Péter
Megjelent: (1994)

PLIOPT (PL/1 Optimizer) forrásnyelvű programok formai szerkesztése (tagolás, tabulálás) a logikai struktúrának megfelelően
Szerző: Molnár Csaba
Megjelent: (1987)

Prolog programok tesztelése
Szerző: Kevei Attila
Megjelent: (1993)

Gráf értékelő programok
Szerző: Nagy Elemér

Java programok analízise
Szerző: Fábián Zoltán
Megjelent: (2002)

Logikai formulák tanulása a Tiling algoritmussal
Szerző: Nemes László
Megjelent: (1992)

Aritmetikai és logikai kifejezések kiértékelése
Szerző: Róka Zsuzsanna
Megjelent: (1988)

Java programok analízise metrikaszámításhoz
Szerző: Mészáros Judit
Megjelent: (2007)

Java programok statikus analízise
Szerző: Tóth Gabriella
Megjelent: (2007)

Objektum orientált programok analízise
Szerző: Pető Hunor
Megjelent: (2003)

C++ programok statikus analízise
Szerző: Dósa Rácz Ferenc
Megjelent: (1998)

Görbeanalízissel kapcsolatos programok kidolgozása
Szerző: Salamon Klára
Megjelent: (1975)

Segédprogram logikai függvények minimalizálásához és oktatásához
Szerző: Miklósi József
Megjelent: (2000)

Többértékű logikai függvények optimalizálása fagráfok segítségével
Szerző: Péhl Katalin
Megjelent: (1989)

Programozási nyelvek szemantikájának megadása logikai úton
Szerző: Gombás Éva
Megjelent: (1979)

Logikai táblás játékok Palm OS operációsrendszerre
Szerző: Földi Róbert
Megjelent: (2007)

Logikai táblás játék készítése kézi számítógépre
Szerző: Somlai Judit
Megjelent: (2007)

A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok
Szerző: Gáncs István
Megjelent: (1981)

Az Othello logikai játék számítógépes megvalósítása
Szerző: Hárai Tibor
Megjelent: (2001)

Logikai játék CLEAN funkcionális programozási nyelven
Szerző: Kállai Péter
Megjelent: (2001)

Logikai következtetések és azok kiterjesztése optimalizálással
Szerző: Szarvas György
Megjelent: (2001)

Az amőba logikai játék számítógépes megvalósítása
Szerző: Majer Péter
Megjelent: (1998)

Az AM-TRIS logikai játék elemzése
Szerző: Paulik Attila
Megjelent: (1998)

Ötös malom logikai játék mobil eszközön
Szerző: Balog Szabolcs
Megjelent: (2011)

Java programok szerkezeti függőségeinek vizsgálata
Szerző: Kiss Ákos
Megjelent: (2000)