Megjelenítés: 1 - 15 / 15 - kulcsszavak: '"szemantika"', keresési idő: 0.02mp Találatok szűrése
1
A P4 nyelv programtulajdonságainak axióma alapú verifikációja
Szerző: Tóth, Gabriella
Megjelenés: 2018-05-31
Tárgyszavak: “...szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
2
Quelques mots sur la modalité. La notion de l'obligation et de la possibilité en français et en hongrois. = Néhány szó a modalitásról. A szükségszerű és a lehetséges fogalma a magyar és a francia nyelvben.
Szerző: Kósa Mónika Erzsébet
Megjelenés: 2003
Tárgyszavak: “...szemantika -- modalitás -- magyar...”
szakdolgozat
Mentés a listára
Mentés helye:
3
Semantik im Lichte nicht repräsentationaler Ansätze : (Am Beispiel eines radikal konstruktivistischen Modells) = (A szemantika kérdése a nem reprezentációkra épülő elméletekben: egy radikális konstruktivista modell)
Szerző: Fekete István
Megjelenés: 2006
Tárgyszavak: “...szemantika...”
szakdolgozat
Mentés a listára
Mentés helye:
4
Az Erlang nyelv párhuzamos programozást támogató
Szerző: Palenik, Mihály
Megjelenés: 2018-05-15
Tárgyszavak: “...formális szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
5
Formális szemantika megadása a P4 programozási nyelvhez
Szerző: Brunner, Márton
Megjelenés: 2017-12-15
Tárgyszavak: “...szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
6
Az SQL nyelv formális szemantikája és validációja
Szerző: Horváth Ádám
Megjelenés: 2020-12-15
Tárgyszavak: “...formális szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
7
Sémakönyvtár Java forráskódok refaktorálásához
Szerző: Kanyó, Kristóf
Megjelenés: 2019-05-15
Tárgyszavak: “...formális szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
8
Séma alapú refaktoráló DSL adaptálása objektumorientált programozási nyelvre
Szerző: Németh, Dávid János
Megjelenés: 2018-06-01
Tárgyszavak: “...formális szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
9
A zene szemantikai kutatásának kísérleti implementációi
Szerző: Ilyés Alex Roland
Megjelenés: 2020-05-15
Tárgyszavak: “...szemantika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
10
L'analyse morphosémantique des adjectifs français = A francia melléknevek szemantikájának vizsgálata morfoszintaktikai megközelítésben.
Szerző: Téringer Éva
Megjelenés: 2002
Tárgyszavak: “...szemantika -- francia melléknevek...”
szakdolgozat
Mentés a listára
Mentés helye:
11
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Piszkor Balázs
Megjelenés: 2020-06-04
Tárgyszavak: “...szemantika - programozási nyelvek...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
12
La cognizione dello spazio e la semantica delle espressioni locative morfologicamente semplici italiane e ungheresi = A tér kogníciója valamint az olasz és magyar morfológiailag egyszerű lokatív kifejezések szemantikája
Szerző: Véges Katalin
Megjelenés: 2016
Tárgyszavak: “...szemantika -- szakdolgozat -- olasz -- magyar...”
szakdolgozat
Mentés a listára
Mentés helye:
13
Difficultés dans l'usage des unités phrasélogiques françaises - approche sémantique, pragmatique = Nehézségek a francia frazeológiai egységek használatában - szemantikai, szintatkiai,pragmatikai megközelítésben
Szerző: Balogh Péter
Megjelenés: 1996
Tárgyszavak: “...francia frazeológia -- szemantika...”
szakdolgozat
Mentés a listára
Mentés helye:
14
A Natural Semantics for Core Erlang Formalised in the Coq Proof Assistant
Szerző: Bereczky Péter
Megjelenés: 2020-06-04
Tárgyszavak: “...formális szemantika - Informatika...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
15
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző: Boros Attila Péter
Megjelenés: 2020-06-05
Tárgyszavak: “...szemantika - programozási nyelvek...”
Ugrás a forráshoz
szakdolgozat
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése