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

e-book 12

könyv 12

angol 12

SpringerLink (Online service), közreadó testület 12 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 Barkaoui, Kamel, szerk.(1954-) 1 többet ... Barrett, Clark, szerk 1 Cabaleiro, José C., szerk 1 Dastani, Mehdi, szerk 1 Davies, Misty, szerk 1 Geeraerts, Gilles, szerk 1 Hermenegildo, Manuel V., szerk 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 Conference on Fundamentals of Software Engineering11(2017) (Teherán) 1 International Conference on Parallel and Distributed Computing23.(2017) (Santiago de Compostela, Spain) 1 International Conference on Verification and Evaluation of Computer and Communication Systems11.(2017) (Montreal, QC, Kanada) 1 International Symposium on Logic-Based Program Synthesis and Transformation26.(2016) (Edinburgh, Egyesült Királyság) 1 International Symposium on NASA Formal Methods9.(2017) (Moffett Field, CA, Egyesült Államok) 1 International Symposium on Search Based Software Engineering9.(2017) (Paderborn, Németország) 1 Kahsai, Temesghen, szerk 1 Katoen, Joost-Pieter (1964-), szerk 1 Langerak, Rom, szerk 1 Lopez-Garcia, Pedro, szerk 1 Lumpe, Markus, szerk 1 Menzies, Tim, szerk 1 Pena, Tomás F., szerk 1 Petke, Justyna, szerk 1 Proença, José, szerk 1 Rensink, Arend, szerk 1 többet mutat ... kevesebbet ...

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