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

e-book 11

könyv 11

angol 11

SpringerLink (Online service), közreadó testület 11 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 El Abbadi, Amr, szerk 1 Finger, Marcelo, szerk 1 Garbinato, Benoît, 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 Conference on Membrane Computing17.(2016) (Milan, Olaszország) 1 International Conference on Networked Systems5.(2017) (Marrakech, Marokkó) 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 Kahsai, Temesghen, szerk 1 Leporati, Alberto, szerk 1 Lopez-Garcia, Pedro, szerk 1 Papadopoulos, Yiannis, szerk 1 Pighizzini, Giovanni, szerk 1 Potapov, Igor, szerk 1 Zeume, Thomas 1 többet mutat ... kevesebbet ...

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