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

e-book 23

könyv 23

angol 23

SpringerLink (Online service), közreadó testület 23 Abate, Alessandro, szerk 2 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 Barrett, Clark, szerk 1 többet ... Berger, Christian, szerk 1 Boldo, Sylvie, szerk 1 Bozzano, Marco, szerk 1 Carmona, Josep, szerk 1 Câmpeanu, Cezar, szerk 1 Dastani, Mehdi, szerk 1 Davies, Misty, szerk 1 Dixon, Clare, szerk 1 El Abbadi, Amr, szerk 1 Engels, Gregor, szerk 1 Finger, Marcelo, szerk 1 Garbinato, Benoît, szerk 1 Geeraerts, Gilles, szerk 1 Gerdt, V. P., szerk 1 Ghosh, Sujata, szerk 1 Hague, Matthew, szerk 1 Hermenegildo, Manuel V., szerk 1 IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems19.(2017) (Milano, Olaszország) 1 Indian Conference on Logic and Its Applications7.(2017) (Kanpur, India) 1 International Conference on Automated Deduction26.(2017) (Gothenburg, Svédország) 1 International Conference on Business Process Management15.(2017) (Barcelona, Spanyolország) 1 International Conference on Formal Aspects of Component Software14(2014) (Braga, Portugal) 1 International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország) 1 International Conference on Fundamentals of Software Engineering11(2017) (Teherán) 1 többet mutat ... kevesebbet ...

Algorithm Analysis and Problem Complexity 23 Computer software Logic design 23 Logics and Meanings of Programs 23 Software engineering elektronikus könyv 23 többet ... Software Engineering 21 Computer science 20 szoftverfejlesztés 18 Mathematical Logic and Formal Languages 16 számítástudomány 12 szoftver 11 Programming Languages, Compilers, Interpreters 9 konferencia 9 konferenciakötet 9 tanulmányok 9 szoftverfejlesztés -- konferencia 7 Computation by Abstract Devices 6 Artificial intelligence 5 logikai tervezés 5 Computer simulation 4 Programming Techniques 4 Simulation and Modeling 4 logikai tervezés -- konferencia 4 modell ellenőrzés 4 modell ellenőrzés -- szoftvertesztelés -- konferencia 4 szoftvertesztelés 4 Artificial Intelligence (incl. Robotics) 3 Computer Communication Networks 3 formális módszerek 3 többet mutat ... kevesebbet ...