ELTE összesen 250 IK Kari Könyvtár 200 Egyetemi Könyvtár és Levéltár 43 TTK Kari Könyvtár 11 BGGYK Könyvtára 3

e-book 250

könyv 250

angol 250

SpringerLink (Online service), közreadó testület Margaria, Tiziana, szerk 4 European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic) 3 Galbraith, Steven D. (1968-), szerk 3 International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic) 3 International Conference on the Theory and Applications of Cryptology and Information Security25.(2019) (Kobe, Japan) 3 többet ... International Symposium on Leveraging Applications of Formal Methods9.(2020) (Rhodes, Greece) 3 Moriai, Shiho, szerk 3 Steffen, Bernhard, szerk 3 Zhang, Lijun, szerk 3 Ahrendt, Wolfgang, szerk 2 Alam, Mehwish, szerk 2 Benzmüller, Christoph, szerk 2 Beyer, Dirk, szerk 2 CCF Conference on Natural Language Processing and Chinese Computing8.(2019) (Dunhuang, China) 2 Dongol, Brijesh, szerk 2 Ghidini, Chiara, szerk 2 Harth, Andreas (1976-), szerk 2 Herzig, Andreas, szerk 2 Hitzler, Pascal, szerk 2 Hospodár, Michal, szerk 2 International Joint Conference on Automated Reasoning10.(2020) (Paris) 2 International Semantic Web Conference18.(2019) (Auckland, New Zealand) 2 International Work-Conference on Bioinformatics and Biomedical Engineering7.(2019) (Granada, Spain) 2 Jirásková, Galina, szerk.(1963-) 2 Lesot, Marie-Jeanne (1978-), szerk 2 Park, Woosuk, szerző 2 Peltier, Nicolas (1972-), szerk 2 Popescu, Andrei, szerk 2 Queiroz, Ruy J. G. B. de, szerk.(1958-) 2 többet mutat ... kevesebbet ...

elektronikus könyv 250 tanulmányok 171 konferenciakötet 155 Mathematical logic 138 matematikai logika 136 Artificial intelligence 132 többet ... Computer logic 106 számítógépes logika 104 mesterséges intelligencia 89 Software engineering 87 szoftverfejlesztés 74 konferencia 73 informatika 58 Computers 53 matematikai logika -- konferencia 53 Application software 44 Logic 43 logika 42 számítógépes logika -- konferencia 42 Algorithms 38 programozási nyelvek 34 Computer science—Mathematics 33 Database management 32 adatbáziskezelés 32 Philosophy 31 Computer organization 29 Programming languages (Electronic computers) 29 természetes nyelvek feldolgozása 25 mesterséges intelligencia -- konferencia 24 szoftverfejlesztés -- konferencia 24 többet mutat ... kevesebbet ...