Anna Karenina / Leo Tolstoy ; Transl. from the Russ. by Louise a. Aylmer Maude ; With an introd. by John Bayley. - London : Everyman's libr., 1992. - xlix, 963 p. ; 21 cm.см.. - (The Millennium Libr. Everyman's libr.; 58). - Bibliogr.: p. xxxiii. - ISBN 1-85715-058-9[MFN: 20574]

UDC: 821.161.1-31

E 80.872/3 A - English and Anglo-American Literature Reading Hall

Logic-based program synthesis and transformation : 20th intern. symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 revised selected papers / ed. Maria Alpuente. - [Berlin ; Heidelberg] : Springer, [2011]. - x, 248 p. : fig. ; 24 cm.см.. - (Lecture notes in computer science (LNCS), ISSN 0302-9743 ; 6564). - Bibliogr. after chap. a. in the text notes. - ISBN 978-3-642-20550-7; ISBN 978-3-642-20551-4[MFN: 30302]

Content: Three syntactic theories for combinatory graph reduction/Olivier Danvy a. Ian Zerny; Analysis of air traffic track data with the autoBayes synthesis system/Johann Schumann, Karen Cate, a. Alan Lee; Proving with ACL2 the correctness of simplicial sets in the Kenzo system/Jonathan Heras, Vico Pascual, a. Julio Rubio; Graph generation to statically represent CSP processes/Marisa Llorens, Javier Oliver, Josep Silva, a. Salvador Tamarit; Verification of the Schorr-Waite algorithm - from trees to graphs/Mathieu Giorgino, Martin Strecker, Ralph Matthes, a. Marc Pantel [et al.]

UDC: 004 + 004.312 + 681.51 + 519.1 + 519.6

• Alpuente, Maria (ed.);  Kutsia, Temur (conference chair); 

Subjects:
- ინფორმაციული ტექნოლოგიები; კომპიუტერული პროგრამები; ლოგიკური პროგრამები; კომბინატორული ანალიზი; ალგორითმები;

E 27.166/4 - General Stock
E 27.167/4 - General Stock

Karen's leopard / Betty Dinneen ; ill. by Charles Robinson. - [N.Y.] : Pocket books, 1975. - 215 p. : ill. ; 18 cm.см.. - (An Archway Paperback : fiction). - Origin. tit.: A lurk of leopards. - ISBN 671-29712-0[MFN: 31127]

UDC: 82-93:821.111(73)-31

• Robinson, Charles (ill.); 

E 48.322/2 - General Stock

Anna Karenina / Leo Tolstoy ; transl. by Constance Garnett ; authoritative modern abridgment by Edmund Fuller. - [N.Y. : Dell Publ., 1963]. - 447 p. ; 18 cm.см.. - (A Dell ; 0172). - ISBN 440-00172-075[MFN: 35789]

UDC: 821.161.1-31

• Garnett, Constance (transl.);  , Edmund (abridge.); 

E 48.909/2 - General Stock

Karen / Marie Killilea. - N.Y. : Dell Publ., 1980. - 286 p. ; 18 cm.см.. - ISBN 0-440-94376-0[MFN: 41889]

UDC: 616.831-009.11 + 821.111(73)-94

Subjects:
- ცერებრალური დამბლით დაავადებულები;

E 49.894/2 - General Stock