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

e-book 23

könyv 23

angol 23

SpringerLink (Online service), közreadó testület 23 International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden) 2 Kunčak, Viktor, szerk.(1977-) 2 Legay, Axel, szerk 2 Majumdar, Rupak, szerk 2 Margaria, Tiziana, szerk 2 többet ... Tonetta, Stefano, szerk 2 Abate, Alessandro, szerk 1 Artho, Cyrille, szerk.(1976-) 1 Bogomolov, Sergiy, szerk 1 Boldo, Sylvie, szerk 1 Bouajjani, Ahmed, szerk 1 Cavalli, Ana Rosa, szerk 1 Csöndes Tibor, szerk 1 Di Marco, Antinisca, szerk 1 Duan, Zhenhua, szerk 1 European Workshop on Computer Performance Engineering14.(2017) (Berlin, Germany) 1 Gerdt, V. P., szerk 1 Gibson-Robinson, Thomas, szerk 1 Hopcroft, Philippa, szerk 1 Hung, Dang Van., editor 1 IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK) 1 IFIP WG 6.1 International Conference on Testing Software and Systems29.(2017) (St. Petersburg, Russia) 1 International Colloquium on Theoretical Aspects of Computing14.(2017) (Hanoi, Vietnam) 1 International Conference on Computer Aided Verification29.(2017) (Heidelberg, Germany) 1 International Conference on Computer Aided Verification29.2017Heidelberg, Germany 1 International Conference on Computer Safety, Reliability, and Security36.(2017) (Trento, Italy) 1 International Conference on Formal Engineering Methods19(2017) (Xi'an, China) 1 International Conference on Reversible Computation9.(2017) (Kolkata, India) 1 International Conference on Unconventional Computation and Natural Computation16.(2017) (Fayetteville, AR, USA) 1 többet mutat ... kevesebbet ...

Logic design Software Engineering Software engineering 23 elektronikus könyv 23 logikai tervezés 23 Logics and Meanings of Programs 22 többet ... konferencia 21 konferenciakötet 21 szoftverfejlesztés 21 tanulmányok 21 Computer science 20 logikai tervezés -- konferencia 20 szoftverfejlesztés -- konferencia 19 Programming Languages, Compilers, Interpreters 15 Mathematical Logic and Formal Languages 13 Artificial intelligence 7 Computer Communication Networks 7 Computer simulation 7 Simulation and Modeling 7 Artificial Intelligence (incl. Robotics) 6 Algorithm Analysis and Problem Complexity 5 Computer software 5 számítógépes szimuláció 5 Computation by Abstract Devices 4 Information Systems 4 Management of Computing and Information Systems 4 információs rendszerek 4 mesterséges intelligencia 4 mesterséges intelligencia -- konferencia 4 számítógépes szimuláció -- konferencia 4 többet mutat ... kevesebbet ...