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

e-book 11

könyv 11

angol 11

SpringerLink (Online service), közreadó testület 11 International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden) 2 Legay, Axel, szerk 2 Margaria, Tiziana, szerk 2 Abate, Alessandro, szerk 1 Bogomolov, Sergiy, szerk 1 többet ... Boldo, Sylvie, szerk 1 Bouajjani, Ahmed, szerk 1 Duan, Zhenhua, szerk 1 Hung, Dang Van., editor 1 IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK) 1 International Colloquium on Theoretical Aspects of Computing14.(2017) (Hanoi, Vietnam) 1 International Conference on Computer Aided Verification29.(2017) (Heidelberg, Germany) 1 International Conference on Formal Engineering Methods19(2017) (Xi'an, China) 1 International Conference on Verification, Model Checking, and Abstract Interpretation18.(2017) (Paris, France) 1 International Symposium on Dependable Software Engineering: Theories, Tools, and Applications 1 International Workshop on Numerical Software Verification10.(2017) (Heidelberg, Németország) 1 International Workshop on Numerical Software Verification9.(2016) (Toronto, ON, Canada) 1 International Haifa Verification Conference13.(2017) (Haifa, Israel) 1 James, Phillip, szerk 1 Kapur, Deepak., editor 1 Kunčak, Viktor, szerk.(1977-) 1 Larsen, Kim Guldstrand, szerk 1 Majumdar, Rupak, szerk 1 Martel, Matthieu, szerk 1 Monniaux, David, szerk 1 Ong, Luke, szerk 1 Prabhakar, Pavithra, szerk 1 Roggenbach, Markus, szerk 1 Sokolsky, Oleg, szerk 1 többet mutat ... kevesebbet ...

Computer science 11 Logic design 11 Logics and Meanings of Programs 11 Mathematical Logic and Formal Languages 11 Software Engineering Software engineering 11 többet ... elektronikus könyv 11 konferencia 11 konferenciakötet 11 logikai tervezés 11 logikai tervezés -- konferencia tanulmányok 11 szoftverfejlesztés 10 szoftverfejlesztés -- konferencia 10 Programming Languages, Compilers, Interpreters 8 Computer Communication Networks 4 Algorithm Analysis and Problem Complexity 3 Artificial intelligence 3 Computation by Abstract Devices 3 Computer simulation 3 Computer software 3 Simulation and Modeling 3 modell ellenőrzés 3 modell ellenőrzés -- szoftvertesztelés -- konferencia 3 szoftvertesztelés 3 Artificial Intelligence (incl. Robotics) 2 Programming Techniques 2 programozási nyelvek 2 programozási nyelvek -- konferencia 2 verifikáció 2 többet mutat ... kevesebbet ...