ELTE összesen 19 IK Kari Könyvtár 18 TTK Kari Könyvtár 1

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 Barkaoui, Kamel, szerk.(1954-) 1 többet ... Barrett, Clark, szerk 1 Brunie, Nicolas., szerző 1 Cabaleiro, José C., szerk 1 Dastani, Mehdi, szerk 1 Davies, Misty, szerk 1 De Lara, Juan, szerk 1 Dou, Yong, szerk 1 Dupont de Dinechin, Florent (1970-), szerző 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 Graph Transformation10.(2017) (Marburg, Németország) 1 International Conference on Hybrid Artificial Intelligence Systems12.(2017) (La Rioja, Spanyolország) 1 International Conference on Parallel and Distributed Computing23.(2017) (Santiago de Compostela, Spain) 1 International Conference on Smart Card Research and Advanced Applications15.(2016) (Cannes, France) 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 International Workshop on Advanced Parallel Processing Technologies12.(2017) (Santiago de Compostela, Spanyolország) 1 Jeannerod, Claude-Pierre., szerző 1 Joldes, Mioara., szerző 1 többet mutat ... kevesebbet ...

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