Your search returned 24 results.

Sort
Results
1.
History of programming languages/ edited by Richard L. Wexelblat. by
  • Wexelblat, Richard L
  • History of Programming Languages Conference (1978 : Los Angeles, Calif.)
Series: ACM monograph series
Publication details: New York: Academic Press, 1981
Availability: Items available for loan: Castorina (1)Call number: 005.133 H673 1981 IMPA.

2.
Current issues in computer simulation/ edited by Nabil R. Adam, Ali Dogramaci. by
  • Adam, Nabil R
  • Dogramaci, Ali
Publication details: New York: Academic Press, 1979
Availability: Items available for loan: Castorina (1)Call number: 001.424 C976 1979 IMPA.

3.
ILP: Intermediate Language for Pictures/ P.J.W. ten Hagen ... [et al.]. by
  • Hagen, P. J. W. ten
Series: Mathematical Centre tracts ; 130
Publication details: Amsterdam; Mathematisch Centrum, 1980
Availability: Items available for loan: Castorina (1)Call number: 006.6 I29 1980 IMPA.

4.
Nordic workshop on programming environment research: Aalborg, May 29-31, 1996/ edited by Lars Bendix, Kurt Normark, Kasper Osterbye. by
  • Bendix, Lars
  • Nørmark, Kurt
  • Osterbye, Kasper
Series: Report (Aalborg universitetscenter. Institut for elektroniske systemer. Afdeling for matematik og datalogi) ; R-96-2019.
Publication details: Aalborg, Denmark: Aalborg University, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1996]
Availability: Items available for loan: Castorina (1)Call number: 005.133 N832 1996 IMPA.

5.
Symposium on semantics of algorithmic languages/ edited by E. Engeler. by
  • Engeler, Erwin [ed.]
Series: Lecture notes in mathematics (Springer-Verlag) ; 188.
Publication details: Berlin: New York: Springer-Verlag, 1971
Availability: Items available for loan: Castorina (1).

6.
The school of Niklaus Wirth: the art of simplicity/ László Böszörményi, Jürg Gutknecht, Gustav Pomberger (eds.). by
  • Böszörményi, Lászó, 1949-
  • Gutknecht, Jürg
  • Pomberger, Gustav, 1949-
  • Wirth, Niklaus
Publication details: Heidelberg: San Francisco: dpunkt.verlag, Morgan Kaufmann, c2000
Availability: Items available for loan: Castorina (1)Call number: 510.92 S372 2000 IMPA.

7.
Domain-specific modeling : enabling full code generation / Steven Kelly, Juha-Pekka Tolvanen. by
  • Kelly, Steven
  • Tolvanen, Juha-Pekka
  • IEEE Xplore (Online Service) [distributor.]
  • Wiley [publisher.]
Material type: Text Text; Format: available online remote
Publisher: Hoboken [New Jersey] : Wiley, 2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]
Availability: No items available.

8.
Formal definition of programming languages: With an application to the definition of algol 60/ By J. W. de Bakker. by
  • Bakker, J. W. de (Jacobus Willem), 1939-
Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 16.Mathematical Centre tracts ; 16
Edition: 2d ed.
Publication details: Amsterdam: Mathematisch Centrum, 1970
Availability: Items available for loan: Castorina (1)Call number: 005.133 B168f 1970 IMPA.

9.
The new S language: a programming environment for data analysis and graphics/ Richard A. Becker, John M. Chambers, Allan R. Wilks. by
  • Becker, Richard A
  • Chambers, John M
  • Wilks, Allan Reeve
Series: Wadsworth & Brooks/Cole computer science series
Publication details: Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software, c1988
Availability: Items available for loan: Castorina (1)Call number: 005.133 B396n 1988 IMPA.

10.
Comparative metric semantics of programming languages: nondeterminism and recursion/ Franck van Breugel. by
  • Breugel, Franck van, 1966-
Series: Progress in theoretical computer science
Publication details: Boston: Birkhäuser, c1998
Availability: Items available for loan: Castorina (1)Call number: 005.13 B846c 1998 IMPA.

11.
Exercises in computational linguistics/ by H. Brandt Corstius. by
  • Chapkis, Raoul, 1935-
Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 30.Mathematical Centre tracts ; 30.
Edition: 2d ed.
Publication details: Amsterdam ; Mathematisch Centrum, 1971
Availability: Items available for loan: Castorina (1)Call number: 006.35 C463e 1971 IMPA.

12.
Programming languages and their compilers: preliminary notes/ John Cocke and J. T. Schwartz. by
  • Cocke, John, 1925-
  • Schwartz, Jacob T [joint author.]
Edition: 2d rev. version.
Publication details: New York: Courant Institute of Mathematical Sciences, 1970
Availability: Items available for loan: Castorina (1)Call number: 005.13 C666p 1970 IMPA.

13.
PostScript screening: Adobe accurate screens/ Peter Fink. by
  • Fink, Peter
  • Adobe Systems
Publication details: Mountain View, Calif.: Adobe Press, c1992
Availability: Items available for loan: Castorina (1)Call number: 006.69 F499p 1992 IMPA.

14.
Interactive computer graphics: data structures, algorithms, languages/ Wolfgang K. Giloi. by
  • Giloi, Wolfgang
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1978
Availability: Items available for loan: Castorina (1)Call number: 006.6 G488i 1978 IMPA.

15.
Mathematical aspects of logic programming semantics/ Pascal Hitzler, Anthony Seda. by
  • Hitzler, Pascal
  • Seda, Anthony
Series: Chapman & Hall/CRC studies in informatics series
Publication details: Boca Raton: CRC Press, c2011
Availability: Items available for loan: Castorina (1)Call number: 005.133 H676m 2011 IMPA.

16.
Selected papers on computer languages/ Donald E. Knuth. by
  • Knuth, Donald Ervin, 1938-
Series: CSLI lecture notes ; no. 139
Publication details: Stanford, Calif.: CSLI Publications, c2003
Availability: Items available for reference: Castorina: Not For Loan (1).

17.
Introdução à programação com Python: algoritmos e lógica de programação para iniciantes/ Allen B. Downey. by
  • Menezes, Nilo Ney Coutinho
Edition: 3. ed.
Publisher: São Paulo: Novatec, 2022
Availability: Items available for loan: IMPATECH (1)Call number: 005.15 M543i 2022 IMPA TECH. Not available: IMPATECH: Checked out (1).

18.
Foundations for programming languages/ John C. Mitchell. by
  • Mitchell, John C
Series: Foundations of computing
Publication details: Cambridge, Mass.: MIT Press, c1996
Availability: Items available for loan: Castorina (1)Call number: 005.133 M681f 1996 IMPA.

19.
Fluent Python: clear, concise, and effective programming / Luciano Ramalho. by
  • Ramalho, Luciano [author.]
Edition: Second edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Beijing [China] ; Boston [MA] : O'Reilly, 2022
Availability: Items available for loan: IMPATECH (2)Call number: 005.15 R165f 2022 IMPA TECH, ...

20.
Recursive program schemes: semantics and proof theory/ W. P. de Roever, Jr. by
  • Roever, W.-P. de
Series: Mathematical Centre tracts ; 70.
Publication details: Amsterdam ; Mathematisch Centrum, 1976
Availability: Items available for loan: Castorina (1)Call number: 511.352 R719r 1976 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha