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

e-book 19

könyv 19

angol 19

SpringerLink (Online service), közreadó testület 19 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 Antonucci, Alessandro, szerk 1 többet ... Ayala-Rincón, Mauricio 1 Bogomolov, Sergiy, szerk 1 Boldo, Sylvie, szerk 1 Bouajjani, Ahmed, szerk 1 Charlier, Émilie, szerk 1 Cholvy, Laurence, szerk 1 Duan, Zhenhua, szerk 1 European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty14 1 Gibson-Robinson, Thomas, szerk 1 Hameurlain, Abdelkader, szerk 1 Hopcroft, Philippa, 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 Developments in Language Theory21.(2017) (Liège, Belgium) 1 International Conference on Formal Engineering Methods19(2017) (Xi'an, China) 1 International Conference on Scalable Uncertainty Management11.(2017) (Granada, Spain) 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 Consistency and Inconsistency (2016) (Porto, Portugal) 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 többet mutat ... kevesebbet ...

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