Institutul de Matematică şi Informatică "Vladimir Andrunachievici"

Universitatea de Stat din Moldova

RO EN

IMI/Noutăţi/2014/

Donaţie de carte

Biblioteca IMI a fost completată cu un nou lot de cărţi de valoare, donate de familia Curteanu.

Chin-Liang Chang, Richard Char-Tung Lee. Symbolic logic and mechanical theorem proving. Computer Science Classics, 1973;
Александр Иосифович Шишмарев, Анатолий Петрович Заморин. Англо-русско-немецко-французский толковый словарь по вычислительной технике. Издательство «Русский язык», 1978;
Stanley Burris, Ralph McKenzie. Decidability and Boolean Representations. Memoirs of the American Mathematical Society, Providence, Rhode Island, USA, July, Vol. 32, Nr. 246, 1981;
Madeleine Bates. The theory and practice of Augmented Transition Network Grammars. Natural Language Communication with Computers. Nr. 63, Springer-Verlang, 1981;
David S.Touretzky. LISP. A gentle introduction to symbolic computation. Harper and Row Publishers, 1984;
Arthur Knoebel. The equational classes generated by single functionally precomplete algebras. Memoirs of the American Mathematical Society, Providence, Rhode Island, USA, September, Vol. 57, Nr. 332, 1985;
Feliks Kluzniak, Stanislaw Szpakowicz, Janusz S. Bien. Prolog for Programmers. Apic Studies in Data Processing, Nr. 24, Academic Press, Inc., 1985;
Lucrarile primului colocviu national de limbaje, logica, lingvistica matematica. Universitatea din Brasov, Catedra de Matematica, 5-7 iunie, Brasov,1986;
Spivak Michael. The JOY of TEX. A Gourmet Guide to Typesetting with the AMS – TEX macro package.American Mathematical Society, 1986;
Tadeusz Kubinski. An outline of the logical theory of questions. Academie-Verlang, Berlin, 1980;
Taiichi Yuasa. Common Lisp Drill. Academic Press, Inc., 1987;
William C. Mann, Sandra A. Thompson, Rhetorical Structure Theory: A Theory of Text Organization. University of Southern California, June, 1987;
Antony Galton. Temporal Logics and their Applications. Academic Press, 1987;
Personal Computer. Basic User's Manual. 1987;
Taiichi Yuasa, Masami Hagiya. Introduction to Common Lisp. 1987;
Al doilea colocviu national de limbaje, logica, lingvistica matematica, lucrarile. Universitatea din Brasov, 2-3 iunie, Brasov,1988;
Robert N. Moll, Michael A. Arbib, A. J. Kfoury. An Introduction to Formal Language Theory. Texts and monographs in computer science, Springer-Verlang, 1988;
P. Boizumaulf. PROLOG l'implantation. études et recherches en informatique, SPADEM, 1988;
Eine Einfü hrung. Nichtklassische Ligik. Herausgegeben von Lothar Kreiser / Siegfriend Gottwald / Werner Stelzner, Akademie – Verlang, Berlin, 1988;
K. J. Gilhooly. Thinking, directed, undirected and creative. Second edition, Academic Press, 1988;
Michelene T. H. Chi, Robert Claser, Marshall J. Farr. The nature of expertise. 1988;
Peter A. Darnell, Philip E. Margolis. Software Engineering in C. Springer-Verlang New York, 1988;
Less Gasser, Michael N. Huhns. Research Notes in Artificial Intelligence. Distributed Artificial Intelligence. Vol. II, Pitman, London, Morgan Kaufmann Publishers, Inc., San Mateo, California, 1989;
H. Bestougeff, G. Ligozat. Outils logiques pour le traitement du temps. De la lnguistique á l'intelligence artificielle, Masson, Paris, 1989;
Eike Best. Kausale Semantik nichtsequentieller Programme. Nr. 174, GMD, R. OLDENBOURG VERLANG, München/Wien, 1989;
Jude W. Shavlik. Research Notes in Artificial Intelligence. Extending Explanation-Based Learning by Generalizing the Structure of Explanations, Pitman, London, Morgan Kaufmann Publishers, Inc., San Mateo, California, First published, 1990;
Andrew Schulman, Raymond J. Michels, Jim Kyle, Tim Paterson, David Maxey, Ralf Brown. Undocumented DOS. A Programmer's Guide to Reserved MS-DOS Functions and Data Structures. Addison-Wesley Publishing Company, Inc., 1990;
Lincoln A. Wallen. Automated Deduction in Nonclassical Logics. Massachusetts Institute of Technology, 1990;
É ric Audureau, Patrice Enjalbert, Luis Fariñ as Del Cerro. Logique temporelle. Sémantique et validation de programmes parallèles. Eri, MASSON, Paris, Milan, Barcelone, Mexico, 1990;
D. Pearce, H. Wansing. Nonclassical Logics and Information Processing. International Workshop, Berlin, Germany, November 9-10, 1990, Proceedings, Lecture Notes in Artificial Intelligence, Springer-Verlang, 1990;
E. Bö rger, G. Jä ger, H. Kleine Bü ning, M. M. Richter. Computer Science Logic. 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, Springer-Verlang, 1991;
Charles N. Fischer, Richard J. LeBlanc, Jr. Crafting a Compiler with C. The Benjamin / Cummings Publishing Company, Inc., 1991;
M. Dubesset, J. Vignes. FORTRAN. Le Langage Normalisé. Colection informatique sous la direction de Jean Vignes, Editions TECHNIP, Paris, 1991;
Urzula Wybraniec-Skardowska. Theory of language syntax. Categorial approach, Vol. 42, Nijhoff International Philosophy Series, Kluwer Academic Publishers, 1991;
Neil Robertson, Paul Seymour. Graph Structure Theory. Contemporary Mathematics 147, 1991;
Franz Kurfeb. Parallelism in Logic. Its Ptential for Performance and Program Development, Artificial Intelligence, 1991;
Elmar Eder. Relative Complexities of First Order Calculi. Artificial Intelligence, 1992;
Peter Padawitz. Deduction and Declarative Programming. Cambridge Tracts in Theoretical Conputer Science, Nr. 28, 1992;
Robert Dale. Generating Referring Expressions. Constructing Descriptions in a Domain of Objects and processes. Massachusetts Institute of Technology, 1992;
V. W. Marek, M. Truszczynski. Nonmonotonic Logic. Context-Dependent Reasoning. Artificial Intelligence, Springer-Verlang,1993;
Jü rgen Gulbins, Markus Seyfried, Hans Strack-Zimmermann. Elektronische Archivierungssysteme. Image-Management-Systeme, Document-Management-Systeme. Springer-Verlang Berlin Heidelberg, 1993;
Carlo Muller. “Visual Prolog” An Object-Oriented Platform for Interactive Modeling and Problem Solving. Informatik Dissertationen ETH Zurich, Nr. 29, 1993;
Michael Fisher, Richard Owens. Executable Modal and Temporal Logics, IJCAI '93 Workshop, Chambery, France, August, 1993, Proceedings, Springer, 1993;
G. Brewka, K. P. Jantke, P. H. Schmitt. Nonmonotonic and Inductive Logic. Second International Workshop, Reinhardsbrunn Castle, Germany, December, 1991, Proceeding, Springer-Verlang, 1993;
Franç ois Rastier, Marc Cavazza, Anne Abeillé. Sé mantique pour l'analyse. De la linguistique à l'informatique, Sciences Cognetives, Masson, Paris, 1994;
Tijn Borghuis. Coming to Terms with Modal Logic: On the interpretation of modalities in typed λ-calculus. PhD Thesis, Department of Computer Science, University of Eindhoven, 1994;
Saumyendra Sengupta, Carl Phillip Korobkin. C++ Object-Oriented Data Structures. Springer, 1994;
Jim Mischel. The Developer's Guide to WINHELP.EXE. Harnessing the Windows Help Engine. John Wiley and Sons, 1994.
Keith E. Bugg, Jack Tackett, jr. The Visual C++ Construction Kit. A Programmer's Resource. Includes Disk with Windows Help File of Tips, Documentation, and Source Code. John Wiley and Sons, 1994;
Timothy C. Potts. Structures and categories for the representation of meaning. Printed in Great Britain at the University Press, Cambridge, 1994;
Jü rgen Dix Louis Moniz Pereira, Teodor C. Przymusinski. Non – Monotonic Extensions of Logic Programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers, Springer, 1994;
Peter Baumgartner, Reiner Hä hnle, Joachim Posegga. Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX '95, Schlob Rheinfels, St. Goar, Germany, May 1995, Proceedings, Springer, 1995;
Krzysztof Apt, Franco Turini. Meta-Logics and Logic Programming. Massachusetts Institute of Technology, 1995;
Stefan Strobel, Thomas Uhl. Linux. Vom PC zur Workstation. Grundlagen, Installation und praktischer Finsatz. Springer-Verlang Berlin Heidelberg 1994, 1995;
Jason C. Hsu. Multiple Comparisons. Theory and methods. Chapman and Hall, 1996;
Christian Robert. Méthodes de Monte Carlo Par Chaî nes de Marcov. Statistique Mathématique et Probabilité, Economica, 1996;
José Júlio Alferes, Luís Moniz Pereira. Reasoning with Logic Programming. LNAI State – of – the – Art Survey, Springer, 1996;
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf. Foundations of Inductive Logic Programming. LNAI Tutorial, Springer, 1997;
John Hunt. Smalltalk and Object Orientation. An Introduction. Springer-Verlang London Limited, 1997;
Stefan Strobel, Rainer Maurer, Stefan Middendorf. Linux. Universe. 3rd Edition Kernel 2.0, Springer-Verlang New York, 1997;
Stefan Strobel, Volker Elling. Linux. Unleashing the Workstation in Your PC. 3rd Edition, Springer-Verlang New York, 1997;
David J. Hand, Saul D. Jacka. Statistics in finance. Arnold Applications of Statistics, 1998;
Liwu Li. Java Data Structures and Programming. Springer, 1998;
Paul-Louis George, Houman Borouchaki. Delaunay Triangulation and Meshing. Application to Finite Elements. HERMES, Paris, 1998;
Dov M. Gabbay, C. J. Hogger, J. A. Robinson. Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 5, Logic Programming, Oxford Science Publications, 1998;
Mark Whitehorn, Mary Whitehorn. DB2 for Windows NT-FAST. Springer, 1998;
Michael Hyman, Phani Vaddadi. Mike and Phani's Essential C++ Techniques. Books for Professionals by Professionals, 1999;
Evelyne Viegas. Breadth and depth of semantic lexicons. Text, Speech and Language Technology, Kluwer Academic Publishers, 1999;
Robert J. Elliott, P. Ekkehard Kopp. Mathematics of Financial Markets. Springer Finance, Springer-Verlang New York, Inc., 1999;
Antonio Fiordaliso. Systè mes flous et prévision de séries temporelles. HERMES Science Publications, Paris, 1999;
Bernd Meyer. Intertemporal asset pricing. Evidence from Germany. Contributions to Economics. Physica-Verlang, A Springer-Verlang Company, 1999;
Bernard Chazelle. The Discrepancy Method. Randomness and Complexity. Published by the Press Syndicate of the University of Cambridge, 2000;
Kay Schulz. Java professionell programmieren. Eine Einführung in die erweiterten APIs der Java 2 Plattform. Springer-Verlang Berlin Heidelberg, 2000;
Hermann Helbig. Die semantische Struktur natü rlicher Sprache. Wissensreprä sentation mit MultiNet, Springer-Verlang Berlin Heidelberg, 2001;
Rudi Zagst. Interest Rate Management. Springer Finance, Springer-Verlang Berlin Heidelberg, 2002;
Tomasz R. Bielecki, Marek Rutkowski. Credit Risk: Modeling, Valuation and Hedging. Springer Finance, Springer-Verlang Berlin Heidelberg, 2002;
Jorge Casillas, Oscar Cordó n, Francisco Herrera, Luis Magdalena. Accuracy Improvements in Linguistics Fuzzy Modeling. Studies in Fuzziness and Soft Computing, Springer, 2003;
Steven E. Shreve. Stachastic Calculus for Finance I. The Binomial Asset Pricing Model. Springer Finance, Textbook, Springer-Verlang New York, LLC, 2004;
Steven E. Shreve. Stachastic Calculus for Finance II. Continuous-Time Models. Springer Finance, Textbook, Springer-Verlang New York, LLC, 2004;
David Makinson. Bridges from Classical to Nonmonotonic Logic. Text in Computing, Vol. 5, 2005;
Barry, William J., Dommelen, Wim A. van. The Integration of Phonetic Knowledge in Speech Technology. Text, Speech and Language Technology, Vol. 25, Springer, 2005;
Paola Monachesi, The Verbal Complex in Romance. A Case Study in Grammatical Interfaces, Oxford Studies in Theoretical Linguistics, 2005;
Mario Faliva, Maria Grazia Zoia. Topics in Dynamic Model Analysis. Advanced Matrix Methods and Unit-Root Econometrics Representation Theorems. Lecture Notes in Economics and Mathematical Systems. Springer-Verlang Berlin Heidelberg, 2006;
A. Ligeza. Logical Foundations for Rule-Based Systems. Studies in Computational Intelligence, Vol. 11, Second Edition, Springer, 2006;
Sven Axsäter. Inventory Control. Second edition, Springer Science+Business Media, LLC, 2006;
Patricia Mellodge, Pushkin Kachroo. Model Abstraction in Dynamical Systems: Application to Mobile Robot Control. Lecture notes in control and information sciences, 2008;
Computational Linguistics. Volume 11, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, January-March, 1985;
Computational Linguistics. Volume 11, Number 2-3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, April-September, 1985;
Computational Linguistics. Volume 11, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, October-December, 1985;
Computational Linguistics. Volume 12, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, January-March, 1986;
Computational Linguistics. Volume 12, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, April-June, 1986;
Computational Linguistics. Volume 12, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, July-Sptember, 1986;
Computational Linguistics. Volume 12, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, October-, 1986;
Computational Linguistics. Volume 13, Number 1-2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, January-June, 1987;
Computational Linguistics. Volume 13, Number 3-4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, July-December, 1987;
Computational Linguistics. Volume 14, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, Winter, 1988;
Computational Linguistics. Volume 14, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1988;
Computational Linguistics. Volume 14, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 1988;
Computational Linguistics. Volume 14, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 1988;
Computational Linguistics. Volume 15, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 1989;
Computational Linguistics. Volume 15, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1989;
Computational Linguistics. Volume 15, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 1989;
Computational Linguistics. Volume 15, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 1989;
Computational Linguistics. Volume 16, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 1990;
Computational Linguistics. Volume 16, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1990;
Computational Linguistics. Volume 16, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 1990;
Computational Linguistics. Volume 16, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 1990;
Computational Linguistics. Volume 19, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1993;
Computational Linguistics. Volume 19, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, Sptember, 1993;
Computational Linguistics. Volume 19, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 1993;
Computational Linguistics. Volume 20, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 1994;
Computational Linguistics. Volume 20, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1994;
Computational Linguistics. Volume 20, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 1994;
Computational Linguistics. Volume 20, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 1994;
Computational Linguistics. Volume 21, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 1995;
Computational Linguistics. Volume 21, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1995;
Computational Linguistics. Volume 22, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1996;
Computational Linguistics. Volume 23, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 1997;
Computational Linguistics. Volume 23, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 1997;
Computational Linguistics. Volume 23, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 1997;
Computational Linguistics. Volume 23, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 1997;
Computational Linguistics. Volume 27, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2001;
Computational Linguistics. Volume 27, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2001;
Computational Linguistics. Volume 27, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2001;
Computational Linguistics. Volume 27, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2001;
Computational Linguistics. Volume 28, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2002;
Computational Linguistics. Volume 28, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2002;
Computational Linguistics. Volume 28, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2002;
Computational Linguistics. Volume 28, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2002;
Computational Linguistics. Volume 29, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2003;
Computational Linguistics. Volume 29, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2003;
Computational Linguistics. Volume 29, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2003;
Computational Linguistics. Volume 29, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2003;
Computational Linguistics. Volume 30, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2004;
Computational Linguistics. Volume 30, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2004;
Computational Linguistics. Volume 30, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2004;
Computational Linguistics. Volume 30, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2004;
Computational Linguistics. Volume 31, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2005;
Computational Linguistics. Volume 31, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2005;
Computational Linguistics. Volume 31, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2005;
Computational Linguistics. Volume 31, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2005;
Computational Linguistics. Volume 32, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2006;
Computational Linguistics. Volume 32, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2006;
Computational Linguistics. Volume 32, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2006;
Computational Linguistics. Volume 32, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2006;
Computational Linguistics. Volume 33, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2007;
Computational Linguistics. Volume 33, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2007;
Computational Linguistics. Volume 33, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2007;
Computational Linguistics. Volume 33, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2007;
Computational Linguistics. Volume 34, Number 1, Published Quarterly by the MIT Press for the Association for Computational Linguistics, March, 2008;
Computational Linguistics. Volume 34, Number 2, Published Quarterly by the MIT Press for the Association for Computational Linguistics, June, 2008;
Computational Linguistics. Volume 34, Number 3, Published Quarterly by the MIT Press for the Association for Computational Linguistics, September, 2008;
Computational Linguistics. Volume 34, Number 4, Published Quarterly by the MIT Press for the Association for Computational Linguistics, December, 2008.

Institutul de Matematică şi Informatică "Vladimir Andrunachievici"

Donaţie de carte

Arhiva Noutăţi