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 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 Artho, Cyrille, szerk.(1976-) 1 Battiti, Roberto, szerk 1 többet ... Bertrand, Nathalie, szerk 1 Bortolussi, Luca, szerk 1 Bouajjani, Ahmed, szerk 1 Bowen, Jonathan P., szerk 1 Câmpeanu, Cezar, szerk 1 Day, Adam, szerk 1 Esparza, Javier, szerk 1 European Joint Conferences on Theory and Practice of Software20.(2017) (Uppsala, Sweden) 1 European Symposium on Programming26.(2017) (Uppsala, Sweden) 1 Hague, Matthew, szerk 1 IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems19.(2017) (Milano, Olaszország) 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 Learning and Intelligent Optimization11.(2017) (Nizhny Novgorod, Russia) 1 International Conference on Membrane Computing17.(2016) (Milan, Olaszország) 1 International Conference on Quantitative Evaluation of Systems14.(2017) (Berlin, Németország) 1 International Conference on Verification, Model Checking, and Abstract Interpretation18.(2017) (Paris, France) 1 International Symposium on Fundamentals of Computation Theory21.(2017) (Bordeaux, France) 1 International Symposium on Unifying Theories of Programming6.(2016) (Reykjavik, Iceland) 1 International Workshop on Formal Techniques for Safety-Critical Systems5.(2016) (Tokyo, Japan) 1 International Workshop on Reachability Problems11.(2017) (London, Egyesült Királyság) 1 Klasing, Ralf, szerk 1 Kvasov, Dmitri E., szerk 1 Leporati, Alberto, szerk 1 többet mutat ... kevesebbet ...

Computation by Abstract Devices Computer science 15 Logic design 15 Logics and Meanings of Programs 15 elektronikus könyv 15 Software engineering 11 többet ... konferencia 10 konferenciakötet 10 tanulmányok 10 Algorithm Analysis and Problem Complexity 9 Computer software 9 Mathematical Logic and Formal Languages 9 Software Engineering 9 Programming Languages, Compilers, Interpreters 8 szoftverfejlesztés 7 logikai tervezés 6 logikai tervezés -- konferencia 6 számítástudomány 6 szoftverfejlesztés -- konferencia 5 programozási nyelvek 4 programozási nyelvek -- konferencia 4 szoftver 4 Computer simulation 3 Simulation and Modeling 3 modell ellenőrzés 3 modell ellenőrzés -- szoftvertesztelés -- konferencia 3 szoftvertesztelés 3 számítógépes szimuláció 3 Artificial intelligence 2 Computational complexity 2 többet mutat ... kevesebbet ...