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

e-book 10

könyv 10

angol 10

SpringerLink (Online service), közreadó testület 10 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 ... Bouajjani, Ahmed, szerk 1 Bowen, Jonathan P., szerk 1 European Joint Conferences on Theory and Practice of Software20.(2017) (Uppsala, Sweden) 1 European Symposium on Programming26.(2017) (Uppsala, Sweden) 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 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 Klasing, Ralf, szerk 1 Kvasov, Dmitri E., szerk 1 Leporati, Alberto, szerk 1 Monniaux, David, szerk 1 Mousavi, Mohammad Reza, szerk 1 Sergeyev, Yaroslav D., szerk 1 Sgall, Jiří, szerk 1 Yang, Hongseok, szerk 1 Zeitoun, Marc, szerk 1 Zhu, Huibiao, szerk 1 Ölveczky, Peter Csaba, szerk 1 többet mutat ... kevesebbet ...

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