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

e-book 21

könyv 21

angol 21

SpringerLink (Online service), közreadó testület 21 International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden) 2 Legay, Axel, szerk 2 Margaria, Tiziana, szerk 2 Abate, Alessandro, szerk 1 Blömer, Johannes, szerk 1 többet ... Bogomolov, Sergiy, szerk 1 Boldo, Sylvie, szerk 1 Bouajjani, Ahmed, szerk 1 Bowen, Jonathan P., szerk 1 Ciuciu, Ioana, szerk 1 Costantini, Stefania, szerk 1 Criado Pacheco, Natalia, sszerk 1 De Cesare, Sergio, szerk 1 Dragoni, Mauro, szerk 1 Duan, Zhenhua, szerk 1 Frank, Ulrich, szerk 1 Hung, Dang Van., editor 1 IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK) 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 Conceptual Modeling35.(2017) (Valencia, Spain) 1 International Conference on Conceptual Modeling36.(2017) (Valencia, Spain) 1 International Conference on Cooperative Information Systems25.(2017) (Rhodes, Greece) 1 International Conference on Formal Aspects of Component Software14(2014) (Braga, Portugal) 1 International Conference on Formal Engineering Methods19(2017) (Xi'an, China) 1 International Conference on Integrated Formal Methods12.(2016) (Reykjavik, Iceland) 1 International Conference on Mathematical Aspects of Computer and Information Sciences7.(2017) (Vienna, Austria) 1 International Conference on Verification, Model Checking, and Abstract Interpretation18.(2017) (Paris, France) 1 International Joint Conference on Rules and Reasoning (2017) (London, UK) 1 többet mutat ... kevesebbet ...

Computer science 21 Mathematical Logic and Formal Languages 21 Software Engineering Software engineering 21 elektronikus könyv 21 konferencia többet ... konferenciakötet 21 tanulmányok 21 szoftverfejlesztés 15 szoftverfejlesztés -- konferencia 15 Logic design 13 Logics and Meanings of Programs 13 Programming Languages, Compilers, Interpreters 12 Artificial intelligence 11 logikai tervezés 11 logikai tervezés -- konferencia 11 Artificial Intelligence (incl. Robotics) 9 mesterséges intelligencia 7 Computer Communication Networks 6 Information Systems Applications (incl. Internet) 6 Algorithm Analysis and Problem Complexity 5 Computer software 5 mesterséges intelligencia -- konferencia 5 Computation by Abstract Devices 4 Computer simulation 4 Programming Techniques 4 Simulation and Modeling 4 Data Mining and Knowledge Discovery 3 Data mining 3 adatbányászat 3 többet mutat ... kevesebbet ...