Rewriting techniques and applications : proceedings of the 19th international conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 / ed. by Andrei Voronkov. - [Berlin] : Springer, [2008]. - xiii, 455, [8] p. ; 24 cm.см.. - (LNCS ; 5117). - Bibliogr. in the text notes. - ISBN 3-540-70588-0; ISBN 978-3-540-70588-8[MFN: 18258]

UDC: 004.43 + 512.64 + 004.451 + 004.451.54 + 004.422.614 + 004.422.633 + 004.421.6 + 004.652.2

1

• Voronkov, Andrei (ed.); 

თემატიკა:
- პროგრამირების ენები; წრფივი ალგებრა; კომპიუტერული ჩანაწერებით მანიპულირება; კომპიუტერული გადაწერა; ოპერაციული სისტემები; სიმბოლოების დამუშავების ალგორითმები;

E 86.536/3 - წიგნთსაცავი
E 88.421/3 - წიგნთსაცავი