ELTE összesen 15 IK Kari Könyvtár 15

e-book 15

könyv 15

angol 15

SpringerLink (Online service), közreadó testület 15 European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic) 2 International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic) 2 International Joint Conference on Automated Reasoning10.(2020) (Paris) 2 Peltier, Nicolas (1972-), szerk 2 Sofronie-Stokkermans, Viorica, szerk 2 többet ... Vojnar, Tomáš, szerk 2 Zhang, Lijun, szerk 2 Alviano, Mario, szerk 1 Badger, Julia M., szerk 1 Blackburn, Patrick (1959-), szerk 1 Bojańczyk, Mikołaj, szerk 1 Deshmukh, Jyotirmoy, szerk 1 Dongol, Brijesh, szerk 1 European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty15.(2019) (Belgrade) 1 Fantechi, Alessandro, szerk 1 Greco, Gianluigi, szerk 1 Guo, Meiyun, szerk 1 Hofstedt, Petra, szerk 1 International Conference on Runtime Verification20.(2020) (Los Angeles) 1 International Symposium on Logic-Based Program Synthesis and Transformation28.(2018) (Frankfurt/Main, Germany) 1 International Symposium on NASA Formal Methods11.(2019) (Houston, TX, USA) 1 Kern-Isberner, Gabriele, szerk 1 Lorini, Emiliano, szerk 1 Mesnard, Fred, szerk 1 Nakano, Keisuke, szerk 1 Ničković, Dejan (1981-), szerk 1 Ognjanović, Zoran, szerk 1 Petre, Luigia (1974-), szerk 1 Rozier, Kristin Yvonne, szerk 1 többet mutat ... kevesebbet ...

Artificial intelligence elektronikus könyv 15 matematikai logika 15 programozási nyelvek tanulmányok 15 konferenciakötet 14 többet ... Mathematical logic 13 Programming languages (Electronic computers) 12 Computer logic 11 számítógépes logika 11 Software engineering 10 szoftverfejlesztés 9 konferencia 8 matematikai logika -- konferencia 8 programozási nyelvek -- konferencia 8 számítógépes logika -- konferencia 7 Computer programming 6 Algorithms 4 Computers 4 mesterséges intelligencia 4 programozás 4 Application software 3 szoftverfejlesztés -- konferencia 3 modell-ellenőrzés 2 modell-ellenőrzés -- szoftvertesztelés -- konferencia 2 szoftvertesztelés 2 verifikáció 2 verifikáció -- szoftverfejlesztés -- konferencia 2 Computer communication systems 1 Computer organization 1 többet mutat ... kevesebbet ...