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 Aceto, Luca, szerk.(1961-) 1 Artho, Cyrille, szerk.(1976-) 1 Cabello, Enrique, szerk 1 Geeraerts, Gilles, szerk 1 többet ... Geuvers, Herman, szerk 1 Hammoudi, Slimane, szerk 1 IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK) 1 International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország) 1 International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság) 1 International Conference on Model-Driven Engineering and Software Development4.(2016) (Rome, Italy) 1 International Conference on Software Technologies11.(2016) (Lisbon, Portugália) 1 International Conference on Verified Software: Theories, Tools, and Experiments9.(2017) (Heidelberg, Germany) 1 International Workshop on Formal Techniques for Safety-Critical Systems5.(2016) (Tokyo, Japan) 1 James, Phillip, szerk 1 Katoen, Joost-Pieter (1964-), szerk 1 Langerak, Rom, szerk 1 Paskevich, Andrei, szerk 1 Pitt-Francis, Joe 1 Rensink, Arend, szerk 1 Roggenbach, Markus, szerk 1 Whiteley, Jonathan., Tft 1 Wies, Thomas, szerk 1 Ölveczky, Peter Csaba, szerk 1 többet mutat ... kevesebbet ...

Computer science 10 Computer simulation 10 Programming Languages, Compilers, Interpreters Simulation and Modeling 10 Software Engineering 10 Software engineering 10 többet ... elektronikus könyv 10 szoftverfejlesztés 7 számítástudomány 6 Logic design 5 Logics and Meanings of Programs 5 Artificial Intelligence (incl. Robotics) 4 Artificial intelligence 4 Mathematical Logic and Formal Languages 4 konferencia 4 konferenciakötet 4 számítógépes szimuláció 4 tanulmányok 4 logikai tervezés 3 Algorithm Analysis and Problem Complexity 2 Computer software 2 Information theory 2 Theory of Computation 2 formális módszerek 2 logikai tervezés -- konferencia 2 matematikai logika 2 mesterséges intelligencia 2 modell ellenőrzés 2 modell ellenőrzés -- szoftvertesztelés -- konferencia 2 szoftvertesztelés 2 többet mutat ... kevesebbet ...