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

e-book 14

könyv 14

angol 14

SpringerLink (Online service), közreadó testület 14 Popescu, Andrei, szerk 2 André, Étienne, szerk 1 Badger, Julia M., szerk 1 Biondi, Fabrizio, szerk 1 Bowen, Jonathan P., szerk 1 többet ... Cerrito, Serenella, szerk 1 Chang, Bor-Yuh Evan, szerk 1 Dongol, Brijesh, szerk 1 Fodor, Paul, szerk 1 Fontaine, Pascal, szerk 1 Giorgini, Paolo, szerk 1 Given-Wilson, Thomas, szerk 1 Herzig, Andreas, szerk 1 International Conference on Automated Deduction27.(2019) (Natal, Brazil) 1 International Conference on Automated Reasoning with Analytic Tableaux and Related Methods28.(2019) (London) 1 International Conference on Formal Modeling and Analysis of Timed Systems17.(2019) (Amsterdam) 1 International Joint Conference on Rules and Reasoning (2019) (Bolzano) 1 International School on Engineering Trustworthy Software Systems4.(2018) (Chongqing, China) 1 International Static Analysis Symposium26.(2019) (Porto, Portugal) 1 International Symposium on Frontiers of Combining Systems12.(2019) (London) 1 International Symposium on Logic-Based Program Synthesis and Transformation28.(2018) (Frankfurt/Main, Germany) 1 International Symposium on Model Checking Software26.(2019) (Beijing, China) 1 International Symposium on NASA Formal Methods11.(2019) (Houston, TX, USA) 1 Legay, Axel, szerk 1 Li, Zheng, szerk 1 Liu, Zhiming, szerk 1 Mesnard, Fred, szerk 1 National Software Application Conference16.(2017) (Harbin, China) 1 National Software Application Conference17.(2018) (Shenzhen, China) 1 többet mutat ... kevesebbet ...

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