1.
Csörnyei, Zoltán
Pi-kalkulus: A mobil rendszerek elmélete
Budapest, Magyarország : ELTE Eötvös József Collegium (2017) , 201 p.
ISBN: 9786155371745
Közlemény:3257890 Admin láttamozott Forrás Könyv (Szakkönyv ) Tudományos
Szakkönyv (Könyv) | Tudományos[3257890] [Admin láttamozott]
2.
Csörnyei, Zoltán
Az Informatikai Műhely első tíz éve
In: Csörnyei, Zoltán (szerk.) Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye : 2004-2014
Budapest, Magyarország : ELTE Eötvös József Collegium (2014) 414 p. pp. 9-17. , 9 p.
Közlemény:2747470 Admin láttamozott Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[2747470] [Admin láttamozott]
3.
Csörnyei, Zoltán (szerk.)
Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye: 2004-2014
Budapest, Magyarország : ELTE Eötvös József Collegium (2014) , 414 p.
ISBN: 9786155371301 OSZK Teljes dokumentum Egyéb URL
Közlemény:2739712 Egyeztetett Forrás Könyv (Konferenciakötet ) Tudományos
Konferenciakötet (Könyv) | Tudományos[2739712] [Egyeztetett]
4.
Csörnyei, Zoltán ; Németh, Boldizsár
Stackless programming in Miller
ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 5 : 2 pp. 167-183. , 17 p. (2013)
DOI EDIT Teljes dokumentum zbMATH
Közlemény:2534314 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2534314] [Admin láttamozott]
5.
Csörnyei, Zoltán
The progress of the theory of type systems
In: Csörnyei, Zoltán (szerk.) 9th Joint Conference on Mathematics and Computer Science, MaCS’12 : Abstracts
Budapest, Magyarország : Eötvös Loránd Tudományegyetem (ELTE) (2012) 104 p. p. 31
Teljes dokumentum
Közlemény:2396754 Egyeztetett Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[2396754] [Egyeztetett]
6.
Csörnyei, Zoltán
Bevezetés a típusrendszerek elméletébe
Budapest, Magyarország : ELTE Eötvös Kiadó (2012) , 323 p.
ISBN: 9789633121344 OSZK
Közlemény:2396715 Admin láttamozott Forrás Könyv (Szakkönyv ) Tudományos
Szakkönyv (Könyv) | Tudományos[2396715] [Admin láttamozott]
7.
Csörnyei, Zoltán (szerk.)
9th Joint Conference on Mathematics and Computer Science, MaCS’12: Abstracts
Budapest, Magyarország : Eötvös Loránd Tudományegyetem (ELTE) (2012) , 104 p.
Teljes dokumentum
Közlemény:2345306 Nyilvános Forrás Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[2345306] [Nyilvános]
8.
Csörnyei, Zoltán
Funkcionális programnyelvek implementációja
Budapest, Magyarország : ELTE Informatikai Kar (2010) , 138 p.
Teljes dokumentum Egyéb URL
Közlemény:2398505 Egyeztetett Forrás Könyv (Felsőoktatási tankönyv ) Oktatási
Felsőoktatási tankönyv (Könyv) | Oktatási[2398505] [Egyeztetett]
9.
Ádám, Balogh ; Zoltán, Csörnyei
Orthogonal subclasses and multiple inheritance of system predicate classes
PURE MATHEMATICS AND APPLICATIONS 17 : 3-4 pp. 205-227. , 23 p. (2009)
Teljes dokumentum
Közlemény:2396799 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2396799] [Admin láttamozott]
10.
Ádám, Balogh ; Zoltán, Csörnyei
Subject-oriented operating system development based on system predicate classes
ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 30 pp. 117-139. , 23 p. (2009)
Teljes dokumentum
Közlemény:2396785 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2396785] [Admin láttamozott]
2024-04-25 22:40