A P4 nyelv programtulajdonságainak axióma alapú verifikációja

Szerző: Tóth, Gabriella
Megjelenés: 2018-05-31

Az Erlang nyelv párhuzamos programozást támogató

Szerző: Palenik, Mihály
Megjelenés: 2018-05-15

Formális szemantika megadása a P4 programozási nyelvhez

Szerző: Brunner, Márton
Megjelenés: 2017-12-15

Az SQL nyelv formális szemantikája és validációja

Szerző: Horváth Ádám
Megjelenés: 2020-12-15

Sémakönyvtár Java forráskódok refaktorálásához

Szerző: Kanyó, Kristóf
Megjelenés: 2019-05-15

Computational methods in semantics

Szerző: Recski Gábor András (1986-)
Megjelenés: 2016

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

A zene szemantikai kutatásának kísérleti implementációi

Szerző: Ilyés Alex Roland
Megjelenés: 2020-05-15

Características semánticas de las unidades fraseológicas del Español : metáfora, metonimia y cambio semántico en las unidades fraseológicas somáticas Españolas = Spanyol frazeológi...

Szerző: Balázs-Piri Péter
Megjelenés: 2011

A mai magyar neologizmusok szemantikája

Szerző: Sólyom Réka
Megjelenés: 2012

Vallási nyelvhasználat katolikus sajtótermékek tükrében : öt lexikai egység vizsgálata = Linguaggio religioso nella riflessione della stampa cattolica : analisi di cinque unità les...

Szerző: Hardiné Magyar Tamara
Megjelenés: 2016
Kapcsolódó cím: Vallási nyelvhasználat katolikus sajtótermékek tükrében öt lexikai egység vizsgálata : melléklet

Formalisation of Applicative Matching Logic in the Coq Proof Assistant

Szerző: Piszkor Balázs
Megjelenés: 2020-06-04

A Natural Semantics for Core Erlang Formalised in the Coq Proof Assistant

Szerző: Bereczky Péter
Megjelenés: 2020-06-04

Az erkölcsfogalom metaforikus konceptualizációja a magyar és a német nyelvben

Szerző: Lechner Ilona
Megjelenés: 2020

Egy kognitív poétikai rímelmélet megalapozása

Szerző: Simon Gábor
Megjelenés: 2012

Az érzelemkifejezés kulturális sajátosságai az orosz, a magyar és az angol nyelv tükrében : a "lelkiismeret" fogalmának kognitív nyelvészeti vizsgálata

Szerző: Fábián Krisztina
Megjelenés: 2014

Az irányhármasságot mutató határozóragok jelentésrendszere. Problémavázlat.

Szerző: Kothencz, Gabriella
Megjelenés: 2006

Fordításstilisztika kognitív keretben

Szerző: Cs. Jónás, Erzsébet
Megjelenés: 2010

Az európai frazeológiai univerzálék konceptualizációja és fordítási megfeleltetései

Szerző: Kovács, Marietta
Megjelenés: 2012

Gyenge műfajok: a költői versmérték és a jelentés közötti kapcsolat modellálása az orosz költészetben

Szerző: Šeļa, Artjoms
Megjelenés: 2021