Ugrás a tartalomra

Könyvek

Intézetünkben az alap- és alkalmazott kutatás magas szintű művelése mellett nagy hagyománya van a kiterjedt publikációs tevékenységnek, oktatásnak és módszertanfejlesztésnek is; kollégáink nemcsak egyetemeken tanítanak és benne vannak a SZTAKI tématerületein legjelentősebb nemzetközi folyóiratok szerkesztőbiztosságaiban, de rendszeresen írnak, szerkesztenek szakkönyveket is.

Az intézet munkatársai által írt, válogatott tudományos cikkek listája itt, a szakértőink által szerzett és szerkesztett könyvkötetek listája 1993-től napjainkig pedig alább található.

Kornai A.

Semantics

Cham: Springer, 2020. 315 p.

Megjelenés éve
2020

Hangos KM, Bokor J, Szederkényi G.

Analysis and Control of Nonlinear Process Systems

London: Springer, 2004. 308 p.

Megjelenés éve
2004

Bartha T, Csertán Gy, Gyapay Sz, Majzik I, Pataricza A, Varró D (szerk.)

Formális módszerek az informatikában

Budapest: Typotex, 2004. 312 p.

Megjelenés éve
2004