Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 474 results
Tagung über Automatentheorie und Formale Sprachen vom 27. 3.-29. 3. 1974 / [Abteilung Informatik, Universität Dortmund].
- Text
- Dortmund-Hombruch, Postfach 500 : Universität Dortmund, Abt. Informatik, [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSG 84-107 Offsite Theory of adaptive mechanisms [by] V. C. Hamacher [and others]
- Text
- Detroit, Management Information Services [1969 or 70]
- 1969
- 1 Item
Item details Format Call Number Item Location Text JSF 71-145 Offsite Mathematische Linguistik; eine Einführung [von] M. Gross [und] A. Lentin. Mit einer Einleitung von Noam Chomsky. Übers. von Peter Schreiber.
- Text
- Berlin, New York, Springer-Verlag, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFF 72-402 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Automata theory: machines and languages [by] Richard Y. Kain.
- Text
- New York, McGraw-Hill [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSE 72-1108 Offsite A programmer's introduction to computability and formal languages.
- Text
- Lund, Studentlitt.; Princeton [N.J.] Auerbach Publishers, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSD 73-85 Offsite Nogle metoder til formel definition af programmeringssprog.
- Text
- [Lyngby] Laboratoriet for impuls- og cifferteknik, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JSF 72-1142 Offsite Theory of machines and computations; proceedings. Edited by Zvi Kohavi and Azaria Paz.
- Text
- New York, Academic Press, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 74-341 Offsite Degrees of unsolvability in the theory of programming languages, by Dennis F. Cudia.
- Text
- Urbana, Dept. of Computer Science, University of Illinois [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSF 73-919 Offsite Notions sur les grammaires formelles, par Maurice Gross et André Lentin. Préf. de Noam Chomsky. 2. éd. rev. et corr.
- Text
- Paris, Gauthier-Villars, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JFF 73-154 Offsite Automata, languages and programming. Proceedings of a symposium organized by IRIA, Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France., July 3-7, 1972. Edited by M. Nivat.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSD 73-1552 Offsite Formal languages.
- Text
- New York, Academic Press, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JFE 73-3247 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Introduction to the theory of computation.
- Text
- New York, Academic Press [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 73-2029 Offsite Currents in the theory of computing, edited by Alfred V. Aho. Contributing authors: Ronald V. Book [and others]
- Text
- Englewood Cliffs, N.J., Prentice-Hall [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 74-5 Offsite Formale Logik und Grammatik.
- Text
- Tübingen, M. Niemeyer, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFE 73-952 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Initiation mathématique aux grammaires formelles.
- Text
- Paris, Larousse [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text JSD 74-185 Offsite Discrete mathematics: applied algebra for computer and information science [by] Leonard S. Bobrow [and] Michael A. Arbib.
- Text
- Philadelphia, Saunders [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 74-1654 Offsite Simple program schemes and formal languages / Joost Engelfriet.
- Text
- Berlin ; New York : Springer-Verlag, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 75-1599 Offsite Automata, languages, and machines.
- Text
- New York, Academic Press, 1974-76.
- 1974-1976
- 2 Items
Item details Format Call Number Item Location Text JSK 75-357 Library has: Vols. A-B. V.A Offsite Item details Format Call Number Item Location Text JSK 75-357 Library has: Vols. A-B. V.B Offsite Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 75-1816 Offsite Computer mathematics / Clifford L. Conrad, Nancy J. Conrad, Harry B. Higley.
- Text
- Rochelle Park, N.J. : Hayden Book Co., [1975]
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSF 75-1383 Offsite Revue française d'automatique, informatique, recherche opérationnelle, sommaire. Informatique théorique.
- Text
- [Paris] Dunod.
- 1973-1976
- 1 Item
Item details Format Call Number Item Location Text JSP 83-90 v. 9-10 (Apr. 1975-Dec. 1976) Offsite Recursive procedures, by J. W. de Bakker.
- Text
- Amsterdam, Mathematisch Centrum, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 76-1167 Offsite Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 / edited by R. Aguilar.
- Text
- Amsterdam : North-Holland ; New York : American Elsevier, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSD 77-30 Offsite The logic of questions and answers / Nuel D. Belnap, Jr., Thomas B. Steel, Jr.
- Text
- New Haven : Yale University Press, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JFD 77-1796 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Algebraic and automata-theoretic properties of formal languages / Seymour Ginsburg.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSD 76-788 Offsite Developmental systems and languages / [by] Gabor T. Herman and Grzegorz Rozenberg, with a contribution by Aristid Lindenmayer.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSD 76-296 Offsite Mathematische Einführung in die formale Grammatik / Michel Hugues ; übers. von Jürgen Weissenborn, Kurt Brandtner und Erwin Stegentritt.
- Text
- Tübingen : M. Niemeyer, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 76-696 Offsite Introduction à la théorie des langages / par René Moreau.
- Text
- Paris : Hachette, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JFD 77-3357 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz.
- Text
- Berlin ; New York : Springer-Verlag, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 77-779 Offsite Programs, machines, and computation : an introduction to the theory of computing / Keith Clark, Don Cowell.
- Text
- London ; New York : McGraw-Hill, c1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 77-1195 Offsite Theoretical computer science.
- Text
- Amsterdam, North-Holland Pub. Co.
- 1975-present
- 138 Items
Item details Format Call Number Item Location Text JSP 77-535 v. 323-324 (2004) Offsite Item details Format Call Number Item Location Text JSP 77-535 v. 325-326 (2004) Offsite Item details Format Call Number Item Location Text JSP 77-535 v. 327-329 (2004) Offsite Compilerbau : e. Einf. / von Niklaus Wirth.
- Text
- Stuttgart : Teubner, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSD 78-374 Offsite Pictorial and formal aspects of shape and shape grammars.
- Text
- Basel u. Stuttgart, Birkhäuser Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 78-227 Offsite Eine Untersuchung des Plankalküls im Vergleich mit algorithmischen Sprachen / Joachim Hohmann.
- Text
- St. Augustin : Gesellschaft für Mathematik und Datenverarbeitung, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSD 78-726 Offsite Machines, languages, and computation / Peter J. Denning, Jack B. Dennis, Joseph E. Qualitz.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 78-1466 Offsite Automata, languages and programming.
- Text
- [v.p.]
- 2 Items
Item details Format Call Number Item Location Text JSP 78 52 1976 Offsite Item details Format Call Number Item Location Text JSP 78-52 1986 Offsite Introduction to formal language theory / Michael A. Harrison.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 79-27 Offsite Syntactic pattern recognition : an introduction / Rafael C. Gonzalez, Michael G. Thomason.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., Advanced Book Program, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 79-287 Offsite Logos et formalisation du langage / Dominique Dubarle.
- Text
- Paris : Klincksieck, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JFD 79-3912 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Grammars for programming languages / J. Craig Cleaveland and Robert C. Uzgalis.
- Text
- New York : Elsevier, c[1979,c1977]
- 1979-1977
- 1 Item
Item details Format Call Number Item Location Text JSE 79-891 Offsite Picture languages : formal models for picture recognition / Azriel Rosenfeld.
- Text
- New York : Academic Press, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1080 Offsite Automata-theoretic aspects of formal power series / Arto Salomaa, Matti Soittola : [editors, F. L. Bauer, David Gries].
- Text
- New York : Springer-Verlag, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1393 Offsite Associons and the closure statement / M. Rem.
- Text
- Amsterdam : Mathematisch Centrum, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1552 Offsite Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 80-45 Offsite Studies in formal semantics : intensionality, temporality, negation / editors, Franz Guenthner, Christian Rohrer.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for the U. S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JFE 80-541 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Computers in language research : formal methods / ed. by Walter A. Sedelow Jr., and Sally Yeates Sedelow.
- Text
- [2514 GC] The Hague : Mouton, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JFE 80-372 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Mathematical foundations of computer science / ed. Antoni Mazurkïewicz, Zdzisław Pawlak.
- Text
- Warszawa : Polish Scientific Publ., 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSK 76-413 v. 2 Offsite Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 80-378 Offsite Automata, languages, and programming: 2nd colloquium, University of Saarbrucken, July 29-August 2, 1974. Edited by Jacques Loeckx.
- Text
- Berlin, New York, Springer-Verlag [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 80-375 Offsite Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman.
- Text
- Reading, Mass. : Addison-Wesley, c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 80-400 Offsite
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
