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 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 Vojnar, Tomáš, szerk 2 Zhang, Lijun, szerk 2 Artho, Cyrille, szerk.(1976-) 1 többet ... Badger, Julia M., szerk 1 Balduccini, Marcello, szerk 1 Beyer, Dirk, szerk 1 Blackburn, Patrick (1959-), szerk 1 Bojańczyk, Mikołaj, szerk 1 Chang, Bor-Yuh Evan, szerk 1 Collart-Dutilleul, Simon, szerk 1 Dongol, Brijesh, szerk 1 European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty15.(2019) (Belgrade) 1 Guo, Meiyun, szerk 1 IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems39.(2019) (Copenhagen, Denmark) 1 International Conference on Logic Programming and Nonmonotonic Reasoning15.(2019) (Philadelphia, PA, USA) 1 International Conference on Reliability, Safety and Security of Railway Systems3.(2019) (Lille, France) 1 International Static Analysis Symposium26.(2019) (Porto, Portugal) 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 Lecomte, Thierry, szerk 1 Lierler, Yuliya, szerk 1 Lorini, Emiliano, szerk 1 Mesnard, Fred, szerk 1 Ognjanović, Zoran, szerk 1 Petre, Luigia (1974-), szerk 1 Pérez, Jorge A., szerk 1 többet mutat ... kevesebbet ...

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