107 EUL01 Library of Fac. of Informatics 2 Library of Faculty of Science

107 Book

106 English 1 Hungarian

2 Leeuwen, Jan van 1 ACSC 1995 1 AISB 1994 1 ALENEX 1999 1 APPROX 1998 1 APPROX 2002 more ... 1 ASIAN 1998 1 Asian Computing Science Conference 2. 1996 Singapore 1 Bakker, Jaco, de 1 Barendregt, Henk 1 Burkart, Olaf 1 Böckle, Günter 1 CADE 1986 1 CAV 1993 1 CAV 1995 1 CAV 1999 1 CAV 2000 1 CAV 2001 1 CIAC'94 1 CONCUR 1997 1 CONCUR'94 1 CONCUR'95 1 CPM 94 1 CPM 95 1 CPM 97 1 CTCS'95 1 CTRS 1994 1 Colloquium on Automata, Languages, and Programming 1984 Antwerp, Belgium 1 Dalen, Dirk, Van 1 De Bakker, J. W. see all ... less ...

Theory of computation -- Congresses 21 információelmélet -- konferencia 6 számítógépes logika -- konferencia 4 automatikus tételbizonyítás (matematikai logika) -- konferencia 4 számításelmélet -- konferencia 3 verifikáció -- konferencia more ... 2 algoritmus -- konferencia 2 számítógéptudomány -- konferencia 1 Algorithms (Computer science) -- Congresses 1 Computational complexity -- Congresses 1 Computer networks -- Congresses 1 Computer programming -- Congresses 1 Electronic data processing -- Distributed processing -- Congresses 1 Erčov, Andrej Petrovič 1 Machine theory. -- Congresses 1 Parallel processing (Electronic computers) -- Congresses 1 algoritmus (számítógépes) -- konferencia 1 automataelmélet -- konferencia 1 mesterséges intelligencia -- konferencia 1 osztott feldolgozás -- konferencia 1 programozás -- konferencia 1 párhuzamos feldolgozás -- számítógépek -- konferencia 1 számítási bonyolultság -- konferencia 1 számítógép-hálózatok -- konferencia see all ... less ...