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

e-book 13

könyv 13

angol 13

SpringerLink (Online service), közreadó testület 13 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 Tonetta, Stefano, szerk 2 Artho, Cyrille, szerk.(1976-) 1 többet ... Bouajjani, Ahmed, szerk 1 Cavalli, Ana Rosa, 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 IFIP WG 6.1 International Conference on Testing Software and Systems29.(2017) (St. Petersburg, Russia) 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 Computer Safety, Reliability, and Security36.(2017) (Trento, Italy) 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 Workshop on Formal Techniques for Safety-Critical Systems5.(2016) (Tokyo, Japan) 1 International Haifa Verification Conference13.(2017) (Haifa, Israel) 1 James, Phillip, szerk 1 Kapur, Deepak., editor 1 Kunčak, Viktor, szerk.(1977-) 1 Majumdar, Rupak, szerk 1 Monniaux, David, szerk 1 Mousavi, Mohammad Reza, szerk 1 Ong, Luke, szerk 1 Roggenbach, Markus, szerk 1 Sgall, Jiří, szerk 1 Strichman, Ofer, szerk 1 Tzoref-Brill, Rachel, szerk 1 többet mutat ... kevesebbet ...

Computer science 13 Logic design 13 Logics and Meanings of Programs 13 Programming Languages, Compilers, Interpreters 13 elektronikus könyv 13 konferencia 13 többet ... konferenciakötet 13 logikai tervezés 13 logikai tervezés -- konferencia tanulmányok 13 Software Engineering 12 Software engineering 12 szoftverfejlesztés 11 szoftverfejlesztés -- konferencia 11 Mathematical Logic and Formal Languages 9 Computation by Abstract Devices 5 Computer Communication Networks 4 Algorithm Analysis and Problem Complexity 3 Computer software 3 Programming Techniques 3 modell ellenőrzés 3 modell ellenőrzés -- szoftvertesztelés -- konferencia 3 programozási nyelvek 3 programozási nyelvek -- konferencia 3 szoftvertesztelés 3 Artificial intelligence 2 Computer Applications 2 Computer Systems Organization and Communication Networks 2 Computer network architectures 2 Computer simulation 2 többet mutat ... kevesebbet ...