ELTE összesen 111 IK Kari Könyvtár 111 TTK Kari Könyvtár 1

könyv 111

angol 111

Börger, Egon (1946-) 4 Choffrut, Christian 3 Comon, Hubert 3 Gottlob, Georg 2 Itō, Takayasu (1940-) 2 Jansen, Klaus (1961-) 2 többet ... Konferencia (1997) (Bologna) 2 Peled, Doron 2 Puech, Claude 2 Reichel, Horst 2 Reischuk, Rüdiger 2 Rolim, José D. P. 2 Rozenberg, Grzegorz 2 Salomaa, Arto 2 Thiagarajan, P. S. 2 ACSC (1995) 1 AISB (1994) 1 ALENEX (1999) 1 APPROX (1998) 1 APPROX (2002) 1 ASIAN (1998) 1 Aagaard, Mark 1 Abadi, Martín 1 Abiteboul, Serge (1953-) 1 Ali Khayri 1 Alur, Rajeev (1966-) 1 Alves-Foss, James (1964-) 1 Andersson, Stig Invar (1945-) 1 Apostolico, Alberto (1948-2015) 1 Asano, Tetsuo (1949-) 1 többet mutat ... kevesebbet ...

Congresses 111 Theory of computation 111 Theory of computation -- Congresses konferenciakötet 49 tanulmányok 49 Információelmélet 22 többet ... konferencia 21 számítógépes logika 7 számítógépes logika -- konferencia 7 automatikus tételbizonyítás (matematikai logika) 5 számításelmélet 4 számításelmélet -- konferencia 4 verifikáció 4 verifikáció -- konferencia 4 számítógéptudomány 3 számítógéptudomány -- konferencia 3 algoritmus 2 Algorithms (Computer science) 1 Algorithms (Computer science) -- Congresses 1 Computer networks 1 Computer networks -- Congresses 1 Computer programming 1 Computer programming -- Congresses 1 Distributed processing 1 Electronic data processing 1 Electronic data processing -- Distributed processing -- Congresses 1 Erčov, Andrej Petrovič 1 Parallel processing (Electronic computers) 1 Parallel processing (Electronic computers) -- Congresses 1 algoritmus (számítógépes) 1 többet mutat ... kevesebbet ...