ELTE összesen 140 IK Kari Könyvtár 100 TTK Kari Könyvtár 42 Egyetemi Könyvtár és Levéltár 4

e-book 72

könyv 141

angol 138 francia 2 német 2 magyar 1 olasz 1 orosz 1

SpringerLink (Online service), közreadó testület 72 Börger, Egon (1946-) 5 Bolyai János Matematikai Társulat (Budapest) 3 Dalen, Dirk van (1932-) 3 European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic) 3 International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic) 3 többet ... Pacholski, Leszek 3 Arruda, Ayda Ignez 2 CCF Conference on Natural Language Processing and Chinese Computing8.(2019) (Dunhuang, China) 2 Hospodár, Michal, szerk 2 International Work-Conference on Bioinformatics and Biomedical Engineering7.(2019) (Granada, Spain) 2 Jirásková, Galina, szerk.(1963-) 2 Kechris, Alexander S. 2 Kleine Büning, Hans 2 Lascar, Daniel (1942-) 2 Makowsky, Johann A. (1948-) 2 Mathias, A. R. D. 2 McAloon, Kenneth 2 Mints, Grigori 2 Popescu, Andrei, szerk 2 Queiroz, Ruy J. G. B. de, szerk.(1958-) 2 Richter, Michael M. (1938-) 2 Rojas, Ignacio, szerk 2 Srebrny, Marian 2 Tang, Jie, szerk 2 Vojnar, Tomáš, szerk 2 Wansing, Heinrich 2 Zarach, Andrzej 2 Zhang, Lijun, szerk 2 Alam, Mehwish, szerk 1 többet mutat ... kevesebbet ...

konferencia 141 konferenciakötet 141 tanulmányok 141 matematikai logika 109 matematikai logika -- konferencia 101 elektronikus könyv 72 többet ... Artificial intelligence 54 számítógépes logika 52 számítógépes logika -- konferencia 52 Mathematical logic 51 Computer logic 44 mesterséges intelligencia 37 Software engineering 35 szoftverfejlesztés 28 mesterséges intelligencia -- konferencia 26 szoftverfejlesztés -- konferencia 25 Algorithms 21 Congresses 18 Computers 16 Application software 15 formális logika 14 formális logika -- konferencia 14 programozási nyelvek 14 programozási nyelvek -- konferencia 14 Computer science—Mathematics 13 informatika 12 Computer system failures 11 Database management 11 Programming languages (Electronic computers) 11 adatbáziskezelés 11 többet mutat ... kevesebbet ...