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

e-book 7

könyv 7

angol 7

SpringerLink (Online service), közreadó testület 7 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 Câmpeanu, Cezar, szerk 1 Di Napoli, Edoardo, szerk 1 többet ... Hague, Matthew, szerk 1 IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems19.(2017) (Milano, Olaszország) 1 International Conference on Architecture of Computing Systems30.(2017) (Vienna, Ausztria) 1 International Conference on Membrane Computing17.(2016) (Milan, Olaszország) 1 International Workshop on Reachability Problems11.(2017) (London, Egyesült Királyság) 1 JARA High-Performance Computing Symposium (2016) (Aachen, Germany) 1 Knoop, Jens, szerk 1 Leporati, Alberto, szerk 1 Pighizzini, Giovanni, szerk 1 Potapov, Igor, szerk 1 többet mutat ... kevesebbet ...

Algorithm Analysis and Problem Complexity 7 Computation by Abstract Devices Computer science 7 Computer software 7 Software engineering 7 elektronikus könyv 7 többet ... szoftverfejlesztés Logic design 5 Logics and Meanings of Programs 5 Software Engineering 5 Mathematical Logic and Formal Languages 4 konferencia 4 konferenciakötet 4 szoftver 4 szoftverfejlesztés -- konferencia 4 számítástudomány 4 tanulmányok 4 Computer Communication Networks 2 Information Systems Applications (incl. Internet) 2 Programming Languages, Compilers, Interpreters 2 Software Engineering/Programming and Operating Systems 2 logikai tervezés 2 logikai tervezés -- konferencia 2 modell ellenőrzés 2 modell ellenőrzés -- szoftvertesztelés -- konferencia 2 programozási nyelvek 2 programozási nyelvek -- konferencia 2 szoftvertesztelés 2 verifikáció 2 verifikáció -- szoftverfejlesztés -- konferencia 2 többet mutat ... kevesebbet ...