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

e-book 13

könyv 13

angol 13

SpringerLink (Online service), közreadó testület 13 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 Martín-Vide, Carlos, szerk 2 Bouajjani, Ahmed, szerk 1 többet ... Bowen, Jonathan P., szerk 1 Camelin, Nathalie, szerk 1 Conference on Computability in Europe13.(2017) (Turku, Finnország) 1 Câmpeanu, Cezar, szerk 1 Day, Adam, szerk 1 Dennunzio, Alberto, szerk 1 Drewes, Frank, szerk 1 Esparza, Javier, szerk 1 Estève, Yannick, szerk 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 Language and Automata Theory and Applications11.(2017) (Umeå, Svédország) 1 International Conference on Statistical Language and Speech Processing5.(2017) (Le Mans, France) 1 International Conference on Verification, Model Checking, and Abstract Interpretation18.(2017) (Paris, France) 1 International Symposium on Unifying Theories of Programming6.(2016) (Reykjavik, Iceland) 1 International Workshop on Cellular Automata and Discrete Complex Systems23.(2017) (Milan, Olaszország) 1 International Workshop on Reachability Problems11.(2017) (London, Egyesült Királyság) 1 Kari, Jarkko, szerk 1 Manea, Florin, szerk 1 Monniaux, David, szerk 1 Mousavi, Mohammad Reza, szerk 1 Murawski, Andrzej S., szerk 1 többet mutat ... kevesebbet ...

Computation by Abstract Devices Computer science 13 Mathematical Logic and Formal Languages 13 elektronikus könyv 13 Algorithm Analysis and Problem Complexity 9 Computer software 9 többet ... Logic design 9 Logics and Meanings of Programs 9 Software engineering 7 Programming Languages, Compilers, Interpreters 6 konferencia 6 konferenciakötet 6 szoftver 6 számítástudomány 6 tanulmányok 6 Software Engineering 5 szoftverfejlesztés 5 Artificial intelligence 4 logikai tervezés 4 logikai tervezés -- konferencia 4 mesterséges intelligencia 4 Artificial Intelligence (incl. Robotics) 3 programozási nyelvek 3 programozási nyelvek -- konferencia 3 szoftverfejlesztés -- konferencia 3 Computational complexity 2 Computer Communication Networks 2 Discrete Mathematics in Computer Science 2 Optical pattern recognition 2 Pattern Recognition 2 többet mutat ... kevesebbet ...