Megjelenítés:
1 - 2
/
2
- kulcsszavak: '
Boros, Attila Péter
'
Skip to content
Előző online katalógus
Gimikatalógus
Saját polc
Kijelentkezés
Bejelentkezés
English
magyar
A könyvtárakban
Külső adatbázisokban
EBSCO adatbázisokban
Egyéb adatbázisokban
Bármely mező
Cím
Szerző
Tárgyszó
ISBN/ISSN
Címke
Böngészés betűrendben: Témakör szerint
Böngészés betűrendben: Szerző szerint
Böngészés betűrendben: Cím szerint
Bármely mező
Cím
Szerző
Tárgyszó
Bármely mező
Cím
Szerző
Tárgyszó
Folyóirat címe
Bármely mező
Cím
Szerző
Tárgyszó
Jelzet
ISBN/ISSN
Címke
Keresés
Összetett
Böngészés
Szerző
Boros, Attila Péter
Megjelenítés:
1 - 2
/
2
- kulcsszavak: '
Boros, Attila Péter
'
, keresési idő: 0.01mp
Találatok szűrése
Rendezés
Relevancia szerint csökkenő
Megjelenési év szerint csökkenő
Megjelenési év szerint növekvő
Jelzet szerint növekvő
Szerző szerint növekvő
Szerző szerint csökkenő
Cím szerint növekvő
Cím szerint csökkenő
1
L4 és L7 hálózati rétegek válogatott protokolljainak implementálása egy valós idejű operációs rendszer hálózati kommunikációs alrendszeréhez
Szerző:
Boros
,
Attila
Péter
Megjelenés: 2018-05-22
Ugrás a forráshoz
szakdolgozat
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Formalisation of Applicative Matching Logic in the Coq Proof Assistant
Szerző:
Boros
Attila
Péter
Megjelenés: 2020-06-05
Ugrás a forráshoz
szakdolgozat
QR-kód megjelenítése
Mentés a listára
Mentés helye:
Keresőeszközök:
RSS-hírfolyam
—
Keresés küldése emailben
—
Kapcsolódó kulcsszavak
AML
Coq
HARP
HTTP
Programozási nyelv - AML
TCP
UDP
denotational semantics
fcormal semantics
implementáció
machine-checked formalisation
operational semantics
szakdolgozat
szemantika - programozási nyelvek
×
Betöltés...