ELTE összesen 142 IK Kari Könyvtár 113 Egyetemi Könyvtár és Levéltár 25 TTK Kari Könyvtár 11

e-book 138

könyv 142

angol 142

SpringerLink (Online service), közreadó testület 138 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 Alam, Mehwish, szerk 2 CCF Conference on Natural Language Processing and Chinese Computing8.(2019) (Dunhuang, China) 2 Ghidini, Chiara, szerk 2 többet ... Harth, Andreas (1976-), szerk 2 Herzig, Andreas, szerk 2 Hitzler, Pascal, 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 Margaria, Tiziana, szerk 2 Peltier, Nicolas (1972-), szerk 2 Popescu, Andrei, szerk 2 Rojas, Ignacio, szerk 2 Sofronie-Stokkermans, Viorica, szerk 2 Tang, Jie, szerk 2 Vojnar, Tomáš, szerk 2 Zhang, Lijun, szerk 2 Adamowicz, Zofia, szerkesztő 1 Agassi, Joseph, szerző 1 Alemi, Mario 1 Alexandru, Andrei 1 Ali Abam, Mohammad, szerk 1 Alviano, Mario, szerk 1 André, Étienne, szerk 1 Annual Conference on Theory and Applications of Models of Computation16.(2020) (Changsha, China) 1 Anselmo, Marcella, szerk 1 Artho, Cyrille, szerk.(1976-) 1 többet mutat ... kevesebbet ...

Mathematical logic elektronikus könyv 138 matematikai logika 129 tanulmányok 99 konferenciakötet 89 Artificial intelligence 68 többet ... konferencia 51 matematikai logika -- konferencia 50 mesterséges intelligencia 50 Computer logic 48 számítógépes logika 45 Software engineering 43 szoftverfejlesztés 36 Algorithms 32 Application software 27 informatika 25 számítógépes logika -- konferencia 25 Database management 24 adatbáziskezelés 24 Logic 23 programozási nyelvek 21 Computer science—Mathematics 20 Computers 20 logika 19 Programming languages (Electronic computers) 18 Philosophy 17 mesterséges intelligencia -- konferencia 17 természetes nyelvek feldolgozása 15 Matematika 13 szoftverfejlesztés -- konferencia 13 többet mutat ... kevesebbet ...