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

e-book 17

könyv 17

angol 17

SpringerLink (Online service), közreadó testület 17 Abate, Alessandro, szerk 1 Barrett, Clark, szerk 1 Beck, J. Christopher, szerk 1 Bozzano, Marco, szerk 1 Conference on Computability in Europe13.(2017) (Turku, Finnország) 1 többet ... Câmpeanu, Cezar, szerk 1 Davies, Misty, szerk 1 Day, Adam, szerk 1 Dennunzio, Alberto, szerk 1 Dixon, Clare, szerk 1 Drewes, Frank, szerk 1 Finger, Marcelo, szerk 1 Fürnkranz, Johannes, szerk 1 Geeraerts, Gilles, szerk 1 Gopal, T.V., szerk 1 Hague, Matthew, szerk 1 Hermenegildo, Manuel V., szerk 1 IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems19.(2017) (Milano, Olaszország) 1 International Computer Science Symposium in Russia12.(2017) (Kazan, Oroszország) 1 International Conference on Automated Deduction26.(2017) (Gothenburg, Svédország) 1 International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország) 1 International Conference on Language and Automata Theory and Applications11.(2017) (Umeå, Svédország) 1 International Conference on Principles and Practice of Constraint Programming23.(2017) (Melbourne, VIC, Ausztrália) 1 International Conference on Theory and Applications of Models of Computation14.(2017) (Bern, Svájc) 1 International Symposium on Frontiers of Combining Systems11.(2017) (Brasília,Brazília) 1 International Symposium on Logic-Based Program Synthesis and Transformation26.(2016) (Edinburgh, Egyesült Királyság) 1 International Symposium on Model-Based Safety and Assessment5.(2017) (Trento, Olaszország) 1 International Symposium on NASA Formal Methods9.(2017) (Moffett Field, CA, Egyesült Államok) 1 International Workshop on Cellular Automata and Discrete Complex Systems23.(2017) (Milan, Olaszország) 1 többet mutat ... kevesebbet ...

Algorithm Analysis and Problem Complexity 17 Computer science 17 Computer software 17 Mathematical Logic and Formal Languages 17 elektronikus könyv 17 szoftver többet ... számítástudomány 16 Logic design 12 Logics and Meanings of Programs 12 Software engineering 10 szoftverfejlesztés 10 Artificial intelligence 8 mesterséges intelligencia 8 Software Engineering 7 Artificial Intelligence (incl. Robotics) 6 Computation by Abstract Devices 6 Programming Languages, Compilers, Interpreters 4 Programming Techniques 4 Computational complexity 3 Data structures (Computer scienc 3 Discrete Mathematics in Computer Science 3 Artificial Intelligence 2 Computer Appl. in Administrative Data Processing 2 Computer Communication Networks 2 Computer simulation 2 Data Structures 2 Information systems 2 Mathematics of Computing 2 Simulation and Modeling 2 Software Engineering/Programming and Operating Systems 2 többet mutat ... kevesebbet ...