Research Catalog

Advanced Search

Displaying 51-100 of 1,656 results for undefined

Formal definition of programming languages. With an application to the definition of algol 60. By J. W. de Bakker. 2d ed.

Text

Amsterdam, Mathematisch Centrum, 1970.

1970

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 76-1166Item LocationOffsite
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?

CODASYL data description language : journal of development, June 1973.

Text

Washington : U. S. Dept. of Commerce, National Bureau of Standards, Institute for Computer Sciences and Technology, Systems and Software Division : for sale by the Supt. of Docs., U. S. Govt. Print. Off., 1974.

1974

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSF 76-962Item LocationOffsite

Informatique : hardware, FORTRAN, AP.L., cartes-contrôle / Daniel-Jean David, ....

Text

Paris : Éditions techniques et scientifiques françaises : Agence parisienne de distribution, 1974.

1974

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSD 76-999Item LocationOffsite

Eine mathematische Sprache zur Programmierung von Analog- und Hybridrechnern / Rolf Hartwig.

Text

Leipzig : Teubner, BSB, 1974.

1974

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 76-836Item LocationOffsite

LANG-PAK, an interactive language design system / Lee E. Heindel, Jerry T. Roberto.

Text

New York : American Elsevier Pub. Co., [1975]

1975

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 76-1514Item LocationOffsite

Readers' guide to books on computers and data processing [compiled by Martin Woodrow] 2d ed.

Text

[Newton, Library Association (County Libraries Group), 1972]

1972-1968

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJFK 75-328 v. 122-137Item LocationOffsite

The varieties of programming language [microform].

Text

Oxford, Oxford University Computing Laboratory, Programming Research Group, 1973.

1973

0 Resources

Readers' guide to books on computers and E. D. P.

Text

London, L. A. (County Libraries Group), 1968.

1968

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJFK 75-328 v. 104-116Item LocationOffsite

Informa︠t︡sionnye ︠i︡azyki. V. A. Moskovich.

Text

Moskva, "Nauka," 1971.

1971

1 Item

FormatCall NumberItem Location
FormatTextCall Number*QH 75-7058Item LocationOffsite

Handbook of circuit analysis languages and techniques / editors, Randall W. Jensen, Lawrence P. McNamee.

Text

Englewood Cliffs, N.J. : Prentice-Hall, c1976.

1976

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 76-741Item LocationOffsite

Complementary definitions of programming language semantics / James E. Donahue.

Text

Berlin ; New York : Springer-Verlag, 1976.

1976

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 77-398Item LocationOffsite

Introduction à la théorie des langages / par René Moreau.

Text

Paris : Hachette, 1975.

1975

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJFD 77-3357Item LocationSchwarzman Building M2 - General Research Room 315

Available - Can be used on site. Please visit New York Public Library - Schwarzman Building M2 to submit a request in person.

La programmation structurée en informatique / Yves Tabourier, Arnold Rochfeld, Claude Frank.

Text

Paris : Éditions d'organisation, 1975.

1975

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 77-624Item LocationOffsite

Automatic coding : choice of data structures / James Richard Low.

Text

Basel : Birkhäuser, 1976.

1976

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 77-867Item LocationOffsite

Dialogsprachen / I. Kupka u. N. Wilsing.

Text

Stuttgart : Teubner, 1975.

1975

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSD 77-591Item LocationOffsite

Syntaxe, sémantique et axiomatique d'un langage de programmation simple / Jean Vuillemin.

Text

Basel ; Stuttgart : Birkhäuser, 1975.

1975

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSD 77-601Item LocationOffsite

Benutzernahe Programmiersprachen / von Dieter Gernert.

Text

München ; Wien : Hanser, 1976.

1976

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 77-986Item LocationOffsite

A study of general categories applicable to classification and coding in documentation.

Text

[Paris] Unesco [1962]

1962

2 Items

FormatCall NumberItem Location
FormatTextCall NumberD-14 2280Item LocationSchwarzman Building - Main Reading Room 315

Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

FormatCall NumberItem Location
FormatTextCall NumberJFD 89-2180Item LocationSchwarzman Building M2 - General Research Room 315

Available - Can be used on site. Please visit New York Public Library - Schwarzman Building M2 to submit a request in person.

An introduction to the study of programming languages / D. W. Barron.

Text

Cambridge, Eng. ; New York : Cambridge University Press, 1977.

1977

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 77-1043Item LocationOffsite

Exercises in computational linguistics, by H. Brandt Corstius.

Text

Amsterdam, Mathematisch Centrum, 1970.

1970

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJFE 77-2583Item LocationSchwarzman Building M2 - General Research Room 315

Available - Can be used on site. Please visit New York Public Library - Schwarzman Building M2 to submit a request in person.

SIGPLAN notices.

Text

[New York] ACM Special Interest Group on Programming Languages.

1966-present

118 Items

FormatCall NumberItem Location
FormatTextCall NumberJSP 82-162 v. 44, no. 1 (Jan 2009)Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 82-162 v. 44, no. 10 (Oct 2009)Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 82-162 v. 44, no. 2 (Feb 2009)Item LocationOffsite
View All 118 Items

Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.

Text

Cambridge, Mass. : MIT Press, c1977.

1977

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 78-387Item LocationOffsite

A theory of programming language semantics / Robert Milne and Christopher Strachey.

Text

London : Chapman and Hall ; New York : Wiley : distributed in the U. S.A. by Halsted Press, 1976.

1976

2 Items

FormatCall NumberItem Location
FormatTextCall NumberJSE 78-969 v. 2Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSE 78-969 v. 1Item LocationOffsite

Data types and structure / C. C. Gotlieb and L. R. Gotlieb.

Text

Englewood Cliffs, N.J. : Prentice-Hall, c1978.

1978

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 78-1123Item LocationOffsite

Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.

Text

Amsterdam : Mathematisch Centrum, 1976.

1976

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 78-1183Item LocationOffsite

Proceedings.

Text

New York.

23 Items

FormatCall NumberItem Location
FormatTextCall NumberJSP 78-448 v. 27 (2005)Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-448 v. 26 (2004)Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-448 v. 25 (2003)Item LocationOffsite

Interactive computer graphics : data structures, algorithms, languages / Wolfgang K. Giloi.

Text

Englewood Cliffs, N.J. : Prentice-Hall, c1978.

1978

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 79-32Item LocationOffsite

Fundamentals of the computing sciences / Kurt Maly, Allen R. Hanson.

Text

Englewood Cliffs, N.J. : Prentice-Hall, c1978.

1978

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 79-12Item LocationOffsite

Minutes [of] spring regional meeting.

Text

West Lafayette, Ind.

12 Items

FormatCall NumberItem Location
FormatTextCall NumberJSP 78-288 1984, no. 1-2Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-288 1982, no. 1-2Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-288 1978, no. 1-2Item LocationOffsite

Minutes - Annual Meeting, International Purdue Workshop on Industrial Computer Systems.

Text

West Lafayette, Ind. : Purdue Laboratory for Applied Industrial Control, Purdue University, Schools of Engineering, 1973-

1973-19

15 Items

FormatCall NumberItem Location
FormatTextCall NumberJSP 78-287 v. 14 (1986)Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-287 v. 13, no. 1-2 (1985)Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-287 v. 12, no. 1-2 (1984)Item LocationOffsite

Programming languages / Allen B. Tucker, Jr.

Text

New York : McGraw-Hill, c1977.

1977

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 79-389Item LocationOffsite

Constructing quality software : proceedings of the IFIP Working Conference on Constructing Quality Software / edited by P. G. Hibbard and S. A. Schuman.

Text

Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U. S.A. and Canada, Elsevier North-Holland, 1978.

1978

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 79-574Item LocationOffsite

Proceedings.

Text

Amsterdam : North-Holland Pub. Co.

unknown-present

4 Items

FormatCall NumberItem Location
FormatTextCall NumberJSP 78-506 1977Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-506 1975Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 78-506 1974Item LocationOffsite

Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts / edited by Erich J. Neuhold.

Text

Amsterdam ; New York : North-Holland Pub. Co., 1978.

1978

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 79-814Item LocationOffsite

Grammars for programming languages / J. Craig Cleaveland and Robert C. Uzgalis.

Text

New York : Elsevier, c[1979,c1977]

1979-1977

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 79-891Item LocationOffsite

Applied computer science.

Text

München, C. Hanser, 1976-1980.

1976-1980

6 Items

FormatCall NumberItem Location
FormatTextCall NumberJSP 79-230 v. 17Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 79-230 v. 12-14Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSP 79-230 v. 10-11Item LocationOffsite

An introduction to the general theory of algorithms / Michael Machtey, Paul Young.

Text

New York : North-Holland, c1978.

1978

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 79-1084Item LocationOffsite

Programmiersprachen. Importations: Commerce de marchandises, detail des produits.

Text

Berlin, New York, Springer.

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSP 79-312 v. 4-5 (1976-1978)Item LocationOffsite

PUMA programmierter Unterricht unter CD 3300 master.

Text

Erlangen, 1973.

1973

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSD 78-934Item LocationOffsite

The KEDAK program compendium.

Text

Karlsruhe, Gesellschaft für Kernforschung 1977-

1977-present

3 Items

FormatCall NumberItem Location
FormatTextCall NumberJSK 79-22 part 3Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSK 79-22 part 5Item LocationOffsite
FormatCall NumberItem Location
FormatTextCall NumberJSK 79-22 part 7Item LocationOffsite

Ein System zur Darstellung und Bearbeitung assoziativer Datenstrukturen [von] Christian Köhler.

Text

Bonn, Gesellschaft für Mathematik und Datenverarbeitung mbH, 1972.

1972

0 Resources

Software engineering : an advanced course / F. L. Bauer ... [et al.] ; edited by F. L. Bauer.

Text

Berlin ; New York : Springer-Verlag, 1977.

1975-1973

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 80-379Item LocationOffsite

Microprogramming techniques with sample programs / Stanley J. Evans.

Text

Reston, Va. : Reston Pub. Co., c1979.

1979

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSE 80-483Item LocationOffsite

Program optimization / [Infotech International Limited] ; [D. Bates, editor].

Text

Maidenhead : Infotech International, 1976.

1976

1 Item

FormatCall NumberItem Location
FormatTextCall NumberJSG 80-86Item LocationOffsite