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 2 Best, Eike, szerk 1 Boldo, Sylvie, szerk 1 Criado Pacheco, Natalia, sszerk 1 Dennunzio, Alberto, szerk 1 többet ... 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 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 Symposium on Dependable Software Engineering: Theories, Tools, and Applications 1 International Workshop on Cellular Automata and Discrete Complex Systems23.(2017) (Milan, Olaszország) 1 International Workshop on Numerical Software Verification10.(2017) (Heidelberg, Németország) 1 James, Phillip, szerk 1 Katoen, Joost-Pieter (1964-), szerk 1 Langerak, Rom, szerk 1 Larsen, Kim Guldstrand, szerk 1 Prasad, Sanjiva, szerk 1 Rensink, Arend, szerk 1 Roggenbach, Markus, szerk 1 Sokolsky, Oleg, szerk 1 Wang, Ji, szerk 1 van der Aalst, Wil, szerk 1 Ölveczky, Peter Csaba 1 többet mutat ... kevesebbet ...

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