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

e-book 15

könyv 15

angol 15

SpringerLink (Online service), közreadó testület 15 Abate, Alessandro, szerk 2 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 Barrett, Clark, szerk 1 többet ... Boldo, Sylvie, szerk 1 Bozzano, Marco, szerk 1 Carmona, Josep, szerk 1 Criado Pacheco, Natalia, sszerk 1 Davies, Misty, szerk 1 Dixon, Clare, szerk 1 Engels, Gregor, szerk 1 Finger, Marcelo, szerk 1 Geeraerts, Gilles, szerk 1 Ghosh, Sujata, szerk 1 Hermenegildo, Manuel V., szerk 1 Indian Conference on Logic and Its Applications7.(2017) (Kanpur, India) 1 International Conference on Automated Deduction26.(2017) (Gothenburg, Svédország) 1 International Conference on Business Process Management15.(2017) (Barcelona, Spanyolország) 1 International Conference on Formal Aspects of Component Software14(2014) (Braga, Portugal) 1 International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország) 1 International Symposium on Frontiers of Combining Systems11.(2017) (Brasília,Brazília) 1 International Symposium on Logic-Based Program Synthesis and Transformation26.(2016) (Edinburgh, Egyesült Királyság) 1 International Symposium on Model-Based Safety and Assessment5.(2017) (Trento, Olaszország) 1 International Symposium on NASA Formal Methods9.(2017) (Moffett Field, CA, Egyesült Államok) 1 International Workshop on Numerical Software Verification10.(2017) (Heidelberg, Németország) 1 Kahsai, Temesghen, szerk 1 Katoen, Joost-Pieter (1964-), szerk 1 Kumar, Akhil, szerk 1 többet mutat ... kevesebbet ...

Algorithm Analysis and Problem Complexity 15 Computer science 15 Computer software Mathematical Logic and Formal Languages 15 Software Engineering Software engineering 15 többet ... elektronikus könyv 15 Logic design 14 Logics and Meanings of Programs 14 szoftverfejlesztés 12 Programming Languages, Compilers, Interpreters 8 szoftver 7 számítástudomány 7 Computer simulation 5 Simulation and Modeling 5 konferencia 5 konferenciakötet 5 tanulmányok 5 Artificial intelligence 4 logikai tervezés 4 szoftverfejlesztés -- konferencia 4 Artificial Intelligence (incl. Robotics) 3 Programming Techniques 3 logikai tervezés -- konferencia 3 mesterséges intelligencia 3 Computation by Abstract Devices 2 modell ellenőrzés 2 modell ellenőrzés -- szoftvertesztelés -- konferencia 2 programozási nyelvek 2 programozási nyelvek -- konferencia 2 többet mutat ... kevesebbet ...