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

e-book 14

könyv 14

angol 14

SpringerLink (Online service), közreadó testület 14 Abate, Alessandro, szerk 2 Artho, Cyrille, szerk.(1976-) 1 Battiti, Roberto, szerk 1 Bertrand, Nathalie, szerk 1 Best, Eike, szerk 1 többet ... Boldo, Sylvie, szerk 1 Bortolussi, Luca, szerk 1 Di Marco, Antinisca, szerk 1 European Workshop on Computer Performance Engineering14.(2017) (Berlin, Germany) 1 Feret, Jérôme, szerk 1 Geeraerts, Gilles, szerk 1 Geuvers, Herman, szerk 1 Ghosh, Sujata, szerk 1 IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK) 1 Indian Conference on Logic and Its Applications7.(2017) (Kanpur, India) 1 International Conference on Application and Theory of Petri Nets and Concurrency38.(2017) (Zaragoza, Spanyolország) 1 International Conference on Computational Methods in Systems Biology15.(2017) (Darmstadt, Németország) 1 International Conference on Computer Aided Verification29.2017Heidelberg, Germany 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 Learning and Intelligent Optimization11.(2017) (Nizhny Novgorod, Russia) 1 International Conference on Quantitative Evaluation of Systems14.(2017) (Berlin, Németország) 1 International Symposium on Dependable Software Engineering: Theories, Tools, and Applications 1 International Workshop on Formal Techniques for Safety-Critical Systems5.(2016) (Tokyo, Japan) 1 International Workshop on Numerical Software Verification10.(2017) (Heidelberg, Németország) 1 James, Phillip, szerk 1 Katoen, Joost-Pieter (1964-), szerk 1 Koeppl, Heinz, szerk 1 Kunčak, Viktor, szerk.(1977-) 1 többet mutat ... kevesebbet ...

Computer simulation Logic design 14 Logics and Meanings of Programs 14 Simulation and Modeling 14 elektronikus könyv 14 Computer science 12 többet ... Software Engineering 11 Software engineering 11 számítógépes szimuláció 10 szoftverfejlesztés 9 Mathematical Logic and Formal Languages 8 logikai tervezés 8 konferencia 7 konferenciakötet 7 logikai tervezés -- konferencia 7 tanulmányok 7 Artificial Intelligence (incl. Robotics) 6 Artificial intelligence 6 számítástudomány 6 Algorithm Analysis and Problem Complexity 5 Computer software 5 Programming Languages, Compilers, Interpreters 5 mesterséges intelligencia 5 szoftverfejlesztés -- konferencia 5 számítógépes szimuláció -- konferencia 5 Computation by Abstract Devices 3 Computer system performance 3 Probability and Statistics in Computer Science 3 System Performance and Evaluation 3 Electronic data processing 2 többet mutat ... kevesebbet ...