Refine your search

Your search returned 395 results.

Sort
Results
241.
Aspectos teóricos da computação. by
  • Lucchesi, Cláudio L, 1945-
  • Simon, Imre, 1943-
  • Simon, J
  • Kowaltowski, T
  • Colóquio Brasileiro de Matemática( (11th: 1977: Poços de Caldas, Brazil)
Series: Projeto Euclides
Publication details: Rio de Janeiro: IMPA, 1977
Online access:
Availability: Items available for reference: Castorina: Not For Loan (1).

242.
On the synthesis of reliable programs/ by Carlos José Pereira de Lucena. by
  • Lucena, Carlos José Pereira de, 1943-
Series: Computer languages group
Publication details: 1975
Dissertation note: Thesis (Ph. D.)--UCLA--Computer Science.
Availability: Items available for loan: Castorina (1)Call number: 005 L935s 1975 IMPA.

243.
Introdução a teoria de programação/ Carlos José P. de Lucena. by
  • Lucena, Carlos José Pereira de, 1943-
  • Colóquio Brasileiro de Matemática( (8th: 1971: Poços de Caldas, Brazil)
Series: Colóquio Brasileiro de Matemática. Apostilas
Publication details: Rio de Janeiro: [s.n.], 1971
Availability: Items available for loan: Castorina (1)Call number: 005.101 L935i 1971 IMPA. Items available for reference: Castorina: Not For Loan (1)Call number: 005.101 L935i 1971 IMPA.

244.
Análise e síntese de programas : uma introdução/ Carlos J. P. Lucena. by
  • Lucena, Carlos José Pereira de, 1943-
  • Escola de computação (2.: 1981 : Campinas, SP, Brasil)
Publication details: Campinas: IMECC-Unicamp, 1981
Availability: Items available for loan: Castorina (1)Call number: 005.12 L935a 1981 IMPA.

245.
IOS game development: developing games for iPad, iPhone, and iPod Touch/ Thomas Lucka. by
  • Lucka, Thomas
Availability: Items available for loan: Castorina (1)Call number: 005.1 L941i 2014 IMPA.

246.
Learning Python/ Mark Lutz. by
  • Lutz, Mark
Edition: Fifth edition.
Publisher: Sebastopol, CA: O'Reilly, [2013]
Availability: Items available for loan: IMPATECH (4)Call number: 005.15 L975l 2013 IMPA TECH, ...

247.
Learning Python/ Mark Lutz. by
  • Lutz, Mark
Edition: Fifth edition.
Publisher: Sebastopol, CA: O'Reilly, [2013]
Availability: Items available for loan: Castorina (2)Call number: 005.133 L975l 2013 IMPA, ...

248.
Introdução às redes de Petri e aplicações/ Paulo Romero Martins Maciel, Rafael Dueire Lins e Paulo Roberto Freire Cunha. by
  • Maciel, Pr. M
  • Lins, R. D
  • Cunha, P. R. F
Edition: [1st ed.]
Publication details: Recife: UFPE, 1996
Availability: Items available for loan: Castorina (1)Call number: 004 M152i 1996 IMPA.

249.
Operating systems/ [by] Stuart E. Madnick [and] John J. Donovan. by
  • Madnick, Stuart E
  • Donovan, John J [joint author.]
Series: McGraw-Hill computer science series
Publication details: New York: McGraw-Hill, [1974]
Availability: Items available for loan: Castorina (1)Call number: 005.2 M182o 1974 IMPA.

250.
Programming: ALGOL/ by D. J. Malcolme-Lawes. by
  • Malcolme-Lawes, D. J
Series: The Commonwealth and international library of science, technology, engineering, and liberal studies. Mathematics division
Edition: [1st ed.]
Publication details: Oxford: New York: Pergamon Press, [1969]
Availability: Items available for loan: Castorina (1)Call number: 005.133 M243p 1969 IMPA.

251.
Introduction to algorithms: a creative approach/ Udi Manber. by
  • Manber, Udi
Publication details: Reading, Mass.: Addison-Wesley, c1989
Availability: Items available for loan: Castorina (1)Call number: 005.1 M267i 1989 IMPA.

252.
Mathematical theory of computation/ Zohar Manna. by
  • Manna, Zohar
Series: McGraw-Hill computer science series
Publication details: New York: McGraw-Hill, [1974]
Availability: Items available for loan: Castorina (1)Call number: 004.1 M282m 1974 IMPA.

253.
Digital computers: a practical approach/ [by] J. P. Marchant and D. Pegg. by
  • Marchant, J. P
  • Pegg, D [joint author.]
Publication details: London: Glasgow: Blackie & Son, 1967
Availability: Items available for loan: Castorina (1)Call number: 004.015 M315d 1967 IMPA.

254.
Manual de programação em unicode/ A. E. F. Marques. by
  • Marques, A. E. F
Edition: [1st ed.]
Publication details: Rio de Janeiro: CBPF, 1961
Availability: Items available for loan: Castorina (1)Call number: 005.133 M357m 1961 IMPA.

255.
Fundamentals of computer graphics/ Steve Marschner, Peter Shirley. by
  • Marschner, Steve
  • Shirley, Peter
Edition: Fifth edition.
Publisher: Boca Raton, FL: CRC Press, 2022
Availability: Items available for loan: IMPATECH (2)Call number: 006.6 M363f 2022 IMPA TECH, ...

256.
Software maintenance: the problem and its solutions/ James Martin, Carma McClure. by
  • Martin, James, 1933-
  • McClure, Carma L
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1983
Availability: Items available for loan: Castorina (1)Call number: 005.1 M381s 1983 IMPA.

257.
Desenvolvimento sistemático de programas corretos: a abordagem denotacional/ R. C. B. Martins. by
  • Martins, R. C. B
  • Moura, Arnaldo V, 1950-
Series: Escola de computação ; 6.
Edition: [1st ed.]
Publication details: Campinas: Unicamp, 1988
Availability: Items available for loan: Castorina (1)Call number: 005.133 M386d 1988 IMPA.

258.
A guide to FORTRAN programming/ Daniel D. McCracken. by
  • McCracken, Daniel D
Publication details: New York: Wiley, [1961]
Availability: Items available for loan: Castorina (1)Call number: 005.133 M478g 1961 IMPA.

259.
Python for data analysis: data wrangling with Pandas, NumPy, and IPython/ Wes McKinney. by
  • McKinney, Wes [author.]
Edition: Second edition.
Publisher: Beijing: O'Reilly, October 2017
Online access:
Availability: Not available: IMPATECH: Checked out (1). IMPATECH: On hold (1).

260.
Introdução à programação funcional/ Silvio Romero Meira. by
  • Meira, Silvio Romero
Series: Escola de computação ; 6
Publication details: Campinas: Unicamp, 1988
Availability: Items available for loan: Castorina (1)Call number: 005.133 M514i 1988 IMPA.

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


Powered by Koha