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

e-book 5

könyv 5

angol 5

SpringerLink (Online service), közreadó testület 5 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 Bouajjani, Ahmed, szerk 1 Bowen, Jonathan P., szerk 1 többet ... Esparza, Javier, szerk 1 International Conference on Foundations of Software Science and Computation Structures20.(2017) (Uppsala, Svédország) 1 International Conference on Integrated Formal Methods12.(2016) (Reykjavik, Iceland) 1 International Conference on Verification, Model Checking, and Abstract Interpretation18.(2017) (Paris, France) 1 International Symposium on Unifying Theories of Programming6.(2016) (Reykjavik, Iceland) 1 Monniaux, David, szerk 1 Murawski, Andrzej S., szerk 1 Zhu, Huibiao, szerk 1 többet mutat ... kevesebbet ...

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