Tárgyszó
elektronikus könyv
20
konferencia
20
konferenciakötet
20
szoftvertesztelés
tanulmányok
Software engineering
18
modell-ellenőrzés
13
modell-ellenőrzés -- szoftvertesztelés -- konferencia
12
szoftverfejlesztés
12
programozási nyelvek
10
programozási nyelvek -- konferencia
10
Computer logic
9
számítógépes logika
9
számítógépes logika -- konferencia
9
verifikáció
9
verifikáció -- szoftverfejlesztés -- konferencia
9
matematikai logika
8
Artificial intelligence
7
Computer simulation
7
matematikai logika -- konferencia
7
modell ellenőrzés
7
modell ellenőrzés -- szoftvertesztelés -- konferencia
7
Computer science
6
Computers
6
Logic design
6
Mathematical logic
6
Software Engineering
6
szoftverfejlesztés -- konferencia
6
Computer system failures
5
Logics and Meanings of Programs
5
számítógépes szimuláció
5
számítógépes szimuláció -- konferencia
5
Algorithm Analysis and Problem Complexity
4
Algorithms
4
Computer software
4
Programming Languages, Compilers, Interpreters
4
Programming languages (Electronic computers)
4
formális módszerek
4
formális módszerek -- számítástudomány -- konferencia
4
informatika
4
logikai tervezés
4
logikai tervezés -- konferencia
4
számítástudomány
4
Computation by Abstract Devices
3
Computer communication systems
3
Mathematical Logic and Formal Languages
3
beágyazott rendszerek
3
beágyazott rendszerek -- informatika -- konferencia
3
számítástechnika
3
Application software
2
többet ...