Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Donaţie de carte
Biblioteca IMI a fost completată cu un nou lot de cărți de valoare, donate de familia Curteanu. Cele circa 50 de titluri, lista cărora o gasiti mai jos, prezintă volume editate atât în România, cât și în prestigioase edituri europene (Springer, Kluwer etc.) şi americane.
- J. W. Lloyd. Foundations of Logic Programming. Symbolic Computation, Springer-Verlang, Berlin, Heidelberg, New York, Tokyo, 1984;
- Edward L. Keenana, Leonard M. Faltz. Boolean Semantics for Natural Language. Synthese Language Library, Vol. 23, D. Reidel Publishing Company, Dordrecht / Boston / Lancaster, 1985;
- William W. Wadge, Edward A. Ashcroft. Lucid, the Dataflow Programming Language. Apic Studies in Data Processing No. 22, Academic Press, 1985;
- Jean H. Gallier. Logic for Computer Science. Foundations of Automatic Theorem Proving. HARPER and ROW, Publishers, New York, 1986;
- Fernando C. N. Pereira, Stuart M. Shieber. Prolog and Natural-Language Analysis. Lecture Notes, Number 10, Center for the Study of Language and Information, 1987;
- Coling Budapest. Proceedings of the 12th International Conference on Computational Linguistics, Vol. I, John von Neumann Society for Computing Sciences, Budapest, 22-27 august, 1988;
- Coling Budapest. Proceedings of the 12th International Conference on Computational Linguistics, Vol. II, John von Neumann Society for Computing Sciences, Budapest, 22-27 august, 1988;
- D. Bjorner, A. P. Ershov, N. D. Jones. Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernaes, Denmark, 18-24 October, 1987. NORTH-HOLLAND, 1988;
- Michael Wolfe. Optimizing Supercompilers for Supercomputers. Research Monographs in Parallel and Distributed Computing, Pitman, London, 1989;
- Roland Hausser. Computation of Language. An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication. Symbolic Computation, Artificial Intelligence, Springer-Verlang, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989;
- D. Hammer. Compiler Compilers and High Speed Compilation. 2nd CCHSC Workshop, Berlin, GDR, October, 1988, Proceedings, Lecture Notes in Computer Science, Edited by: G. Goos, J. Hartmanis, Springer-Verlang, 1989;
- M. Broy, C. B. Jones. Programming Concepts and Methods. Proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, North-Holland, 1990;
- Seppo Sippu, Eljas Soisalon-Soininen. Parsing Theory. EATC, Monographs on Theoretical Computer Science, Editors: W. Brauer, G. Rozenberg, A. Salomaa, Vol. II: LR(k) and LL(k) Parsing, Springer-Verlang, 1990;
- Barbara H. Partee, Alice ter Meulen, Robert E. Wall. Mathematical Methods in Linguistics. Studies in Linguistics and Philosophy, Vol. 30, Kluwer Academic Publishers, Dordrecht / Boston / London, 1990;
- Udo Hahn. Lexikalisch verteiltes, Text-Parsing. Informatik-Fachberichte 243. Eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage des Aktorenmodells. Springer-Verlang, 1990;
- R. Dale, E. Hovy, D. Rösner, O. Stock. Aspects of Automated Natural Language Generation. 6th International Workshop on Natural Language Generation, Trento, Italy, April 1992, Proceedings. Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science 587, Springer-Verlang, 1992;
- G. Görz. KONVENS 92. Informatik aktuell. Springer-Verlang, 1992;
- J. Pustejovsky, S. Bergler. Lexical Semantics and Knowledge representation. First SIGLEX Workshop, Berkely, CA, USA, June 1991,Proceedings. Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science 627, Springer-Verlang, 1992;
- Dab Naxwell, Mariana Preotu, Alexandru-Puiu Tacu. Lingvo Kaj Kibernetiko. Language and Cybernetics. Languageet Cybernétique. Limba şi Cibernetică. Akademia Libroservo pere de KAVA-PECH, Dobřichovice (Proha), 1994;
- Carl Pollard, Ivan A. Sag. Head-Driven Phrase Structure Grammar, Centre for the Study of language and Information, Stanford, The University of Chicago Press, Chicago and London, 1994;
- John Levine. Programming for Graphics Files in C and C++. Memory Management, Format Conversions, Color Quantization, File Compression, 1994;
- Paul Cilea. Borland C++. Insider. Coriolis Group Book. John Wiley and Sons, Inc., 1994;
- Thonas Myrach. Konzeption und Stand des Einsatzes von Data Dictionairies. Beiträge zur Wirtschaftsinformatik 12. Physica-Verlang, Ein Unternehmen des Springer-Verlags, 1995;
- Archibal Michiels. HORATIO. A Middle-sized NLP Application in Prolog. Publié avec le concours de la Fondation Universitaire de Belgique et de la Fondation Francqui. 1995;
- Dan Tufiş. Limbaj şi Tehnologie. Academia Română, Bucureşti, 1996;
- Cristian Masalagiu. Introducere în Programarea Logică şi Limbajele de Programare Logică. Editura Universităţii "Al. I. Cuza", Iaşi, 1996;
- Giovanni Adorni, Michael Zock. Trends in Natural Language Generation. An Artificial Intelligence Perspective. Fourth European Workshop, EWNLG '93, Pisa, Italy, April 1993, Selected Papers. Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science 1036, Springer, 1996;
- Paola Merlo. Parsing with Principles and Classes of Information. Studies in Linguistics and Philosophy, Vol. 63, Kluwer Academic Publishers, Dordrecht / Boston / London, 1996;
- G. Rozenberg, A. Salomaa. Word Language Grammar. Handbook of Formal Languages. Vol. 1, Springer, 1997;
- G. Rozenberg, A. Salomaa. Linear Modeling: Background and Application. Handbook of Formal Languages. Vol. 2, Springer, 1997;
- G. Rozenberg, A. Salomaa. Beyond Words. Handbook of Formal Languages. Vol. 3, Springer, 1997;
- Anna Szabolcsi, Ways of Scope Taking. Studies in Linguistics and Philosophy, Vol. 65, Kluwer Academic Publishers, Dordrecht / Boston / London, 1997;
- Charles Nicholas, Derick Wood. Principles of Document Processing. Lecture Notes in Computer Science 1293. Third International Workshop, PODP'96, Palo Alto, California, USA, September, 1996 , Proceedings, Springer, 1997;
- Marilyn A. Walker, Aravind K. Joshi, Ellen F. Prince. Centering Theory in Discourse. Clarendon Press, Oxford, 1998;
- Arturo Trujilo. Translation Engines: Techniques for Machine Translation. Applied Computing, Springer, 1999;
- Patrick Saint-Dizier. Predicative Forms in Natural Language and in Lexical Knowledge Bases. Text, Speech and Language Technology, Vol. 6, Kluwer Academic Publishers, Dordrecht / Boston / London, 1999;
- Gilles Due, Stéphane Font. Commande H∞ et µ-analyse, des outils pour la robustesse. HERMES Science Publications, Paris, 1999;
- Harry Bunt, Reinhard Muskens, Elias Thijsse. Computing Meaning. Studies in Linguistics and Philosophy, Vol. 2, Kluwer Academic Publishers, Dordrecht / Boston / London, 2001;
- Georgia M. Green, Jerry L. Morgan. Practical Guide to Syntactic Analysis, 2nd edition. Center for the Study of Language and Information, Stanford, California, 2001;
- Inderjeet Mani. Automatic Summarization. Natural Language Processing. The MITRE Corporation and Geotgetown University, John Benjamins Publishing Company, Amsterdam / Philadelphia, 2001;
- Gabriele Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision. Considering Conditional as Agents. LNAI 2087, Springer, 2001;
- Dan Tufiş, Florin Gh. Filip. Limba Română în Societatea Informaţională - Societatea Cunoaşterii. Academia Română, Secţia de Ştiinţă şi Tehnologia Informaţiei, Institutul de Cercetări pentru Inteligenţa Artificială, Bucureşti, decembrie, 2002;
- Corneliu Burileanu, Horia-Nicolai Teodorescu. Advanced in Spoken Language Technology. Romanian Academy, University "Politehnica" of Bucharest, Institute for Computer Science, Iaşi, 2007;
- Coling 2008. The 12th Conference on Computational Natural Language Learning, Proceedings of the conference, 16-17 August, Manchester, UK, 2008;
- Donia Scott, Hans Uszkoreit. Coling 2008. The 22nd International Conference on Computational Linguistics, Proceedings of the conference, Vol. 1, 18-22 August, Manchester, UK, 2008;
- Donia Scott, Hans Uszkoreit. Coling 2008. The 22nd International Conference on Computational Linguistics, Proceedings of the conference, Vol. 2, 18-22 August, Manchester, UK, 2008;
- Coling 2008. The 22nd International Conference on Computational Linguistics, Companion volume, Poster and Demonstrations, 18-22 August, Manchester, UK, 2008;
- Corneliu Burileanu, Horia-Nicolai Teodorescu. From Speech Processing to Spoken language Technology. Romanian Academy, University "Politehnica" of Bucharest, Institute for Computer Science, Iaşi, Maritime University of Constanţa, The Publishing House of the Romanian Academy, Bucharest, 2009.
