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 Abate, Alessandro, szerk 1 Barrett, Clark, szerk 1 Bozzano, Marco, szerk 1 Câmpeanu, Cezar, szerk 1 Davies, Misty, szerk 1 többet ... Dixon, Clare, szerk 1 Finger, Marcelo, szerk 1 Fürnkranz, Johannes, szerk 1 Geeraerts, Gilles, 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 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 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 Reachability Problems11.(2017) (London, Egyesült Királyság) 1 Joint German/Austrian Conference on Artificial Intelligence40.(2017) (Dortmund, Németország) 1 Kahsai, Temesghen, szerk 1 Kern-Isberner, Gabriele, szerk 1 Lopez-Garcia, Pedro, szerk 1 Papadopoulos, Yiannis, szerk 1 Pighizzini, Giovanni, szerk 1 Potapov, Igor, szerk 1 Thimm, Matthias, szerk 1 Zeume, Thomas 1 de Moura, Leonardo, szerk 1 többet mutat ... kevesebbet ...

Algorithm Analysis and Problem Complexity 10 Computer science 10 Computer software 10 Mathematical Logic and Formal Languages Software engineering 10 elektronikus könyv 10 többet ... szoftver 10 szoftverfejlesztés Logic design 9 Logics and Meanings of Programs 9 számítástudomány 9 Software Engineering 7 Artificial intelligence 4 Programming Languages, Compilers, Interpreters 4 mesterséges intelligencia 4 Programming Techniques 3 Artificial Intelligence 2 Artificial Intelligence (incl. Robotics) 2 Computation by Abstract Devices 2 Computer Appl. in Administrative Data Processing 2 Information systems 2 Software Engineering/Programming and Operating Systems 2 Special Purpose and Application-Based Systems 2 Computer Communication Networks 1 Computer simulation 1 Simulation and Modeling 1 számítástechnika 1 többet mutat ... kevesebbet ...