ELTE összesen 34 IK Kari Könyvtár 10 TTK Kari Könyvtár 8 Egyetemi Könyvtár és Levéltár 7 BTK Angol-Amerikai Intézet Kvt 4 BTK Szláv és Balti Filológiai 3 többet ... EDIT 2 BTK Indológiai és Indoe. Szkgy 1 BTK Magyar Nytud. és Finnugor 1 BTK Régészettudományi Int. Kvt 1 ÁJK Kari Könyvtár 1 BTK Távol-keleti Intézet Kvt. 1 többet mutat ... kevesebbet ...

e-book 11

könyv 38 folyóiratcikk 2

angol 33 francia 4 cseh 2 kínai 1 hindi 1 magyar 1

SpringerLink (Online service), közreadó testület 11 European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic) 4 International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic) 3 Gruntorád, Jan 2 Vojnar, Tomáš, szerk 2 Zhang, Lijun, szerk 2 többet ... Adler, Mortimer Jerome (1902-2001) 1 Ash, Timothy Garton (1955-) 1 Baron, Marcin (1978-) 1 Baxa, Peter, szerk 1 Beyer, Dirk, szerk 1 Bojańczyk, Mikołaj, szerk 1 CEDIN (közreadói utaló) 1 Centre de Droit International 1 Chopin, Jules 1 Congress of the International Assotiation of Hydrogeologists19.(1986) (Karlovy Vary, Czehoslovakia) 1 Congrès International des Sciences Préhistoriques et ProtohistoriquesVIII.(1966.) (Prága) 1 Czechoslovak Conference on Differential Equations and their Applications4.(1977) (Prague) 1 Decaux, Emmanuel 1 Fabera, Jiří 1 Filip, Jan (1900-1981) 1 Freymueller, Jeffrey T., szerkesztő 1 Fried, Vilém 1 Garton Ash, Timothy (1955-) 1 Garvin, Paul L., vál., ford 1 Goetz, Philip W 1 Gwinn, Robert P 1 Gwinn, Robert P., Tft 1 Hammoudi, Slimane, szerk 1 Heim, Michael Henry 1 többet mutat ... kevesebbet ...

konferenciakötet 13 tanulmányok 13 elektronikus könyv 11 konferencia 9 Artificial intelligence 6 Computers 6 többet ... Software engineering 6 programozási nyelvek 6 programozási nyelvek -- konferencia 6 szoftverfejlesztés 6 modell-ellenőrzés 5 modell-ellenőrzés -- szoftvertesztelés -- konferencia 5 szoftvertesztelés 5 Computer system failures 4 Mathematical logic 4 matematikai logika 4 matematikai logika -- konferencia 4 verifikáció 4 verifikáció -- szoftverfejlesztés -- konferencia 4 Computer logic 3 kézikönyv 3 lexikon 3 lexikon -- általános -- angol 3 számítógépes logika 3 számítógépes logika -- konferencia 3 történet 3 általános 3 Computer science—Mathematics 2 Computer simulation 2 Történet 2 többet mutat ... kevesebbet ...