21.
Gábor, Kusper (szerk.) ; Gergely, Kovásznai (szerk.) ; Roland, Kunkli (szerk.) ; Sándor, Király (szerk.) ; Tibor, Tómács (szerk.)
Proceedings of the 10th International Conference on Applied Informatics
Eger, Magyarország : Eszterházy Károly Egyetem (2018)
ISBN: 9786155621727 Egyéb URL Teljes dokumentum
Közlemény:30307120 Nyilvános Forrás Könyv (Konferenciakötet ) Tudományos
Konferenciakötet (Könyv) | Tudományos[30307120] [Nyilvános]
22.
Gergely, Kovásznai ; Csaba, Biró ; Balázs, Erdélyi
Puli – A Problem-Specific OMT solver
In: 16th International Workshop on Satisfiability Modulo Theories (SMT 2018)
(2018) Paper: 362 , 10 p.
Teljes dokumentum
Közlemény:27690617 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 12 | Független: 9 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 4 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[27690617] [Admin láttamozott]
Nyilvános idéző összesen: 12, Független: 9, Függő: 3, Nem jelölt: 0
23.
Gergely, Kovásznai ; Balázs, Erdélyi ; Csaba, Biró
Investigations of graph properties in terms of wireless sensor network optimization
In: IEEE (szerk.) 2018 IEEE International Conference on Future IoT Technologies, Future IoT 2018
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2018) pp. 1-8. , 8 p.
DOI Scopus
Közlemény:3357076 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 12 | Független: 8 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 6
Konferenciaközlemény (Könyvrészlet) | Tudományos[3357076] [Nyilvános]
Nyilvános idéző összesen: 12, Független: 8, Függő: 4, Nem jelölt: 0
24.
Kovásznai, Gergely ; Troll, Ede ; Balla, Tamás
Az objektum orientált programozás alapjai
Budapest, Magyarország : Óbudai Egyetem (2017)
Teljes dokumentum
Közlemény:3270984 Nyilvános Forrás Könyv (Felsőoktatási tankönyv ) Oktatási
Felsőoktatási tankönyv (Könyv) | Oktatási[3270984] [Nyilvános]
25.
Csaba, Szugyiczki ; Viktória, Kurják ; Gergely, Kovásznai ; Miklós, Bán
Cross-platform Mobile Development for Spatial Biological Databases
In: Kovásznai, Gergely; Terdik, György (szerk.) ICAI 2017 : 10th International Conference on Applied Informatics (http://icai.uni-eszterhazy.hu/abstracts)
Eger, Magyarország : Eszterházy Károly Egyetem (2017) p. 58 , 1 p.
Teljes dokumentum
Közlemény:3257299 Admin láttamozott Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[3257299] [Admin láttamozott]
26.
Gergely, Kovásznai ; Csaba, Biró ; Balázs, Erdélyi
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers
CEUR WORKSHOP PROCEEDINGS 1889 pp. 15-27. , 12 p. (2017)
Scopus Teljes dokumentum
Közlemény:3257296 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 13 | Független: 7 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 4 | DOI jelölt: 6
Konferenciaközlemény (Folyóiratcikk) | Tudományos[3257296] [Nyilvános]
Nyilvános idéző összesen: 13, Független: 7, Függő: 6, Nem jelölt: 0
27.
Gergely, Kovásznai
How Hard is Bit-Precise Reasoning?
In: Kovásznai, Gergely; Terdik, György (szerk.) ICAI 2017 : 10th International Conference on Applied Informatics (http://icai.uni-eszterhazy.hu/abstracts)
Eger, Magyarország : Eszterházy Károly Egyetem (2017) p. 91 , 1 p.
Teljes dokumentum
Közlemény:3257139 Admin láttamozott Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[3257139] [Admin láttamozott]
28.
Kovásznai, Gergely (szerk.) ; Terdik, György (szerk.)
ICAI 2017: 10th International Conference on Applied Informatics (http://icai.uni-eszterhazy.hu/abstracts)
Eger, Magyarország : Eszterházy Károly Egyetem (2017)
Közlemény:3190382 Nyilvános Forrás Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[3190382] [Nyilvános]
29.
Gergely, Kovásznai
What is the State-of-the-Art in DQBF solving?
In: Emil, Vatai (szerk.) 11th Joint Conference on Mathematics and Computer Science
CEUR Workshop Proceedings (2016) 278 p. pp. 185-196. , 12 p.
Közlemény:3357031 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[3357031] [Nyilvános]
Nyilvános idéző összesen: 6, Független: 6, Függő: 0, Nem jelölt: 0
30.
Kovásznai, Gergely ; Kusper, Gábor ; Biró, Csaba
Az informatika logikai alapjai
Budapest, Magyarország : Óbudai Egyetem (2016)
Teljes dokumentum
Közlemény:3270959 Admin láttamozott Forrás Könyv (Felsőoktatási tankönyv ) Oktatási
Felsőoktatási tankönyv (Könyv) | Oktatási[3270959] [Admin láttamozott]
2024-05-25 14:50