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

e-book 4

könyv 4

angol 4

SpringerLink (Online service), közreadó testület 4 Artho, Cyrille, szerk.(1976-) 1 Cabello, Enrique, szerk 1 Geuvers, Herman, szerk 1 International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság) 1 International Conference on Software Technologies11.(2016) (Lisbon, Portugália) 1 többet ... International Workshop on Formal Techniques for Safety-Critical Systems5.(2016) (Tokyo, Japan) 1 Katoen, Joost-Pieter (1964-), szerk 1 Langerak, Rom, szerk 1 Rensink, Arend, szerk 1 Ölveczky, Peter Csaba, szerk 1 többet mutat ... kevesebbet ...

Computer science 4 Computer simulation 4 Programming Languages, Compilers, Interpreters Simulation and Modeling 4 Software Engineering Software engineering 4 többet ... elektronikus könyv 4 szoftverfejlesztés 4 számítógépes szimuláció 4 Logic design 3 Logics and Meanings of Programs 3 számítástudomány 3 Mathematical Logic and Formal Languages 2 logikai tervezés 2 Algorithm Analysis and Problem Complexity 1 Artificial Intelligence (incl. Robotics) 1 Artificial intelligence 1 Computation by Abstract Devices 1 Computer software 1 Information Systems 1 Management of Computing and Information Systems 1 formális módszerek 1 formális módszerek -- számítástudomány 1 információs rendszerek 1 konferencia 1 konferenciakötet 1 logikai tervezés -- konferencia 1 mesterséges intelligencia 1 szoftverfejlesztés -- konferencia 1 számítógépes szimuláció -- konferencia 1 többet mutat ... kevesebbet ...