Történeti áttekintés

Könyvtárunk országos gyűjtőkörű tudományos szakkönyvtár, melynek jelenlegi állománya az Intézet két jogelődjének (MTA Automatizálási Kutató Intézet; MTA Számítóközpont) állományainak 1973-as egyesítéséből keletkezett. Ezt azért érdemes megemlíteni, mert míg az egyik intézmény profiljából eredően elsősorban műszaki, addig a másik elsősorban matematikai tárgyú műveket szerzett be, így a két állomány szerencsésen egészítette ki egymást. Például ennek révén kerülhetett egy gyűjteménybe H. Chestnut és R. W. Mayer Servomechanisms and Regulating System Design-ja A. N. Whitehead és B. Russell Principia Mathematica-jával.

A gyűjtemény

A könyvtár gyűjtőköre:

elméleti és alkalmazott matematika
mesterséges intelligencia
döntési rendszerek
irányításelmélet
duális és neurális rendszerek
informatika
elektronika
robot és alakfelismerés
gyártórendszerek irányítása
geometriai modellezés
folyamatirányítás stb.

Ezek mellett tudománytörténeti és -filozófiai stb. művek is találhatók (pl. Srinivasa Ramanujan The Lost Notebook). A legrégebbi katalogizált tétel Bolyai Farkas Tentamen-jének és Bolyai János Appendix-ének latin nyelvű kritikai kiadása (MTA, 1904).

A néhány évvel ezelőtti állományapasztás után több mint 16 000 kötet könyv és több mint 200 féle szakfolyóirat áll az olvasók rendelkezésére. Az állomány nagyobb része angol, kisebb része magyar, orosz és német nyelvű.

A katalógus

Az első, intézeti fejlesztésű számítógépes rendszert 1988-ban telepítettük. Ezt váltotta fel 1993-ban a londoni Information Management and Engineering Ltd. által kifejlesztett TINLIB Integrált Könyvtári Rendszer, mely referencia-rendszerként is szolgál. Ennek eredményeképpen az 1961 óta meglévő cédula katalógus mellett, párhuzamosan, elektronikus katalógus is készül, mely olvasótermi gépekről, továbbá 1994 óta az INTERNET-en keresztül is hozzáférhető, 1998-tól pedig webes felületről is kereshető. A számítógépes katalógus jelenleg több, mint 10.000 tételt tartalmaz. Online kereshetünk cím, szerző, kulcsszó, kiadás éve stb., és ezek kombinációja alapján. Terveink között szerepel a korábbi ETO szerinti besorolás tárgyszavakra alapozott visszakereséssel való felváltása.