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

e-book 19

könyv 19

angol 19

SpringerLink (Online service), közreadó testület 19 Ayala-Rincón, Mauricio, szerk 1 Balduccini, Marcello, szerk 1 Best, Eike, szerk 1 Blömer, Johannes, szerk 1 Bogomolov, Sergiy, szerk 1 többet ... Bouajjani, Ahmed, szerk 1 Ciuciu, Ioana, szerk 1 Costantini, Stefania, szerk 1 Criado Pacheco, Natalia, sszerk 1 De Cesare, Sergio, szerk 1 Dragoni, Mauro, szerk 1 Frank, Ulrich, szerk 1 Geuvers, Herman, szerk 1 Ghosh, Sujata, szerk 1 Höfner, Peter, szerk 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 Automated Deduction26.(2017) (Gothenburg, Svédország) 1 International Conference on Automated Reasoning with Analytic Tableaux and Related Methods26.(2017) (Brasília, Brazília) 1 International Conference on Conceptual Modeling35.(2017) (Valencia, Spain) 1 International Conference on Conceptual Modeling36.(2017) (Valencia, Spain) 1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems37.(2017) (Neuchâtel, Svájc) 1 International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság) 1 International Conference on Interactive Theorem Proving8.(2017) (Brasília, Brazília) 1 International Conference on Logic Programming and Nonmonotonic Reasoning14.(2017) (Espoo, Finnország) 1 International Conference on Mathematical Aspects of Computer and Information Sciences7.(2017) (Vienna, Austria) 1 International Conference on Relational and Algebraic Methods in Computer Science16.(2017) (Lyon, Franciaország) 1 International Joint Conference on Rules and Reasoning (2017) (London, UK) 1 International Workshop on Interoperability and Open-Source Solutions2.(2016) (Stuttgart, Németország) 1 többet mutat ... kevesebbet ...

Artificial Intelligence (incl. Robotics) Artificial intelligence 19 Computer science 19 Mathematical Logic and Formal Languages 19 Software Engineering Software engineering 19 többet ... elektronikus könyv 19 mesterséges intelligencia 14 szoftverfejlesztés 14 Logic design 11 Logics and Meanings of Programs 11 konferencia 9 konferenciakötet 9 tanulmányok 9 számítástudomány 8 Computer Communication Networks 6 Information Systems Applications (incl. Internet) 6 Programming Languages, Compilers, Interpreters 6 szoftverfejlesztés -- konferencia 5 Computer simulation 4 Programming Techniques 4 Simulation and Modeling 4 Algorithm Analysis and Problem Complexity 3 Computer software 3 Data Mining and Knowledge Discovery 3 Data mining 3 adatbányászat 3 mesterséges intelligencia -- konferencia 3 Computational complexity 2 Computer system performance 2 többet mutat ... kevesebbet ...