Interaktív tételbizonyítás

QR kód

Interaktív tételbizonyítás

Elmentve itt :

Bibliográfiai részletek
Szerző:	Pauló Tamás
További közreműködők:	Fülöp Zoltán (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	2011
Tárgyszavak:	Informatika Computer and information sciences
Online Access:	http://diploma.bibl.u-szeged.hu/31661

Hasonló tételek

Automatikus tételbizonyítás
Szerző: Győrbíró Norbert
Megjelent: (2003)

Interaktív utas tájékoztatás.
Szerző: Lőrincz Erika
Megjelent: (1983)

Deduktív tételbizonyítás Lukasiewicz N-értékű logikájában
Szerző: Kertész Éva
Megjelent: (1981)

Interaktív anyagnyilvántartási rendszer lekérdezése
Szerző: Barna Erzsébet
Megjelent: (1985)

Interaktív anyagnyilvántartási rendszer időszerűsítése
Szerző: Szeleczki János
Megjelent: (1985)

Interaktív menütervező QNX Windows menükezelőjéhez
Szerző: Bősze Katalin
Megjelent: (1989)

Interaktív feldolgozási lehetőségek távadatfeldolgozási környezetben
Szerző: Solymossy Piroska
Megjelent: (1982)

WebEA - Interaktív evolúció a World Wide Weben
Szerző: Kovács Gábor
Megjelent: (2003)

A személyforgalmi irányítási rendszer stratégiai tervezési blokkjának interaktív programozása
Szerző: Marosvári Éva
Megjelent: (1982)

Interaktív tábla az ábrázolási rendszerek oktatásában
Szerző: Oroszné Kopányi Katalin
Megjelent: (2008)

Interaktív személyi nyilvántartó rendszer felépítése és program VT-30 számítógépen
Szerző: Vadainé Czékus Mária
Megjelent: (1985)

Interaktív feladatcsalád készítése Rozgonyi-Borus Ferenc - Informatika 7. című tankönyvéhez
Szerző: Zsigovics Péter
Megjelent: (2012)

Interaktív oktatóprogram készítése Unity-ben
Szerző: Bűn Tamás
Megjelent: (2020)

Interaktív öltözőszoba Kinect vezérlő segítségével
Szerző: Herbut Csaba
Megjelent: (2017)

Interaktív oktatói rendszer programozóknak
Szerző: Nagy Ádám Richárd
Megjelent: (2018)

Interaktív méhészeti térkép fejlesztése
Szerző: Somogyi Attila
Megjelent: (2023)

Interaktív gyerekjátékok készítése androidra
Szerző: Béres Gergő
Megjelent: (2021)

Ipari robotok interaktív vezérlése
Szerző: Jaksa Zoltán
Megjelent: (2018)

Interaktív határidőnapló
Szerző: Szabó Ferenc
Megjelent: (2002)

Az MMT2 monitor ismertetése Interaktív szövegszerkesztő rendszerterve /
Szerző: Sonkoly Pál
Megjelent: (1978)

Interaktív elektronika Arduinoval - A szabadulódoboz rejtélye
Szerző: Ambrus Orsolya
Megjelent: (2020)

Led mátrix alapú, interaktív, moduláris eredménykijelző rekreációs sporttevékenységekhez
Szerző: Gál Gábor
Megjelent: (2020)

Interaktív file-kezelés
Szerző: Tóth László
Megjelent: (1980)

Interaktív 3D áttekintő vadaspark térkép megvalósítása Three.js-ben
Szerző: Bálind Bettina
Megjelent: (2018)

Interaktív matematikai példatár tervezése és fejlesztése
Szerző: Péter Roland
Megjelent: (2019)

Kiszámítógéppel megvalósított interaktív utastájékoztatás
Szerző: Kórusné Perizs Erika
Megjelent: (1983)

Interaktív software elemek kisszámítógépen
Szerző: Bessenyei István
Megjelent: (1984)

FORTH Interaktív Menütervező rendszer
Szerző: Solti Csaba
Megjelent: (1988)

Háromdimenziós testek interaktív ábrázolása
Szerző: Mészáros László
Megjelent: (1990)

Interaktív 2D képdeformáció
Szerző: Lázár Zoltán
Megjelent: (2009)

Tömegközlekedési rendszer interaktív modellezése
Szerző: Mónus Péter
Megjelent: (2009)

Koordinátageometria tanítás interaktív táblán
Szerző: Szemes Ildikó
Megjelent: (2009)

Interaktív digitális technika példatár
Szerző: Zajti Gábor
Megjelent: (2010)

Interaktív tesztek a matematikaoktatásban
Szerző: Kopasz Ágnes
Megjelent: (2002)

Interaktív digitális technika példatár
Szerző: Bodnár Péter
Megjelent: (2011)

Interaktív lekérdező rendszer az UNISYShez.
Szerző: Romero Isidro Luis Alemán
Megjelent: (1983)

B-Vision Interaktív Grafikus Rendszer
Szerző: Batha Levente Péter
Megjelent: (1994)

Interaktív tábla a technika órán
Szerző: Vígh Zoltán
Megjelent: (2008)

IGLES általános interaktív nyelvoktató program
Szerző: Sasvári Gábor
Megjelent: (1997)

Excel oktatása interaktív tábla segítségével
Szerző: Pribelszki Éva
Megjelent: (2011)