Refine your search

Your search returned 395 results.

Sort
Results
101.
A discipline of programming/ Edsger W. Dijkstra. by
  • Dijkstra, Edsger Wybe
Series: Prentice-Hall series in automatic computation
Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1976
Availability: Items available for loan: Castorina (1)Call number: 519.7 D575d 1976 IMPA.

102.
Cálculo automático aplicação à integração das equações diferenciais ordinárias/ por Carlos Domingo. by
  • Domingo, Carlos
Series: Textos de física. Recife, Institute de Física e Matemática
Publication details: [Recife]: Instituto de Física e Matemática, Universidade do Recife, 1962
Availability: Items available for loan: Castorina (1)Call number: 515.35 D671c 1962 IMPA.

103.
Systems programming/ [by] John J. Donovan. by
  • Donovan, John J
Series: McGraw-Hill computer science series
Publication details: New York: McGraw-Hill, [1972]
Availability: Items available for loan: Castorina (1)Call number: 005 D687s 1972 IMPA.

104.
A gentle introduction to TEX: a manual for self study/ Michael Doob. by
  • Doob, Michael
Series: TEXniques ; No. 12.
Publication details: Providence, R.I.: TEX Users Group, 1984
Availability: Items available for loan: Castorina (1)Call number: 686.2 D691g 1984 IMPA.

105.
Mathematics and computing: with FORTRAN programming/ William S. Dorn and Herbert J. Greenberg. by
  • Dorn, William S
  • Greenberg, Herbert J [joint author.]
Publication details: New York: Wiley, [1967]
Availability: Items available for loan: Castorina (1)Call number: 511.1 D713m 1967 IMPA.

106.
Pense em Python: pense como um cientista da computação/ Allen B. Downey. by
  • Downey, Allen B
Publisher: São Paulo: Novatec, 2020
Availability: Items available for loan: IMPATECH (6)Call number: 005.15 D748p 2020 IMPA TECH, ...

107.
Learning MATLAB/ Tobin A. Driscoll. by
  • Driscoll, Tobin A. (Tobin Allen), 1969-
Publication details: Philadelphia: Society for Industrial and Applied Mathematics, c2009
Online access:
Availability: Items available for loan: Castorina (1)Call number: 519.402 D781l 2009 IMPA.

108.
The complexity of Boolean networks/ Paul E. Dunne. by
  • Dunne, Paul E
Series: A.P.I.C. studies in data processing ; no. 29
Publication details: London: San Diego: Academic Press, 1988
Availability: Items available for loan: Castorina (1)Call number: 511.324 D923c 1988 IMPA.

109.
Punched card methods in scientific computation/ by W.J. Eckert ; with a new introduction by J.C. McPherson. by
  • Eckert, W. J. (Wallace John), 1902-1971
  • McPherson, J. C
Series: Charles Babbage Institute reprint series for the history of computing ; v. 5
Publication details: Cambridge, Mass.: Los Angeles: MIT Press, Tomash, [1984]
Availability: Items available for loan: Castorina (1)Call number: 004.56 E19p 1984 IMPA.

110.
An analysis of complexity/ M. H. van Emden. by
  • Emden, M. H. van
Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 35.Mathematical Centre tracts ; 35
Publication details: Amsterdam: Mathematisch Centrum, 1975
Availability: Items available for loan: Castorina (1)Call number: 519.5 E53a 1975 IMPA.

111.
Exploring mathematics with your computer/ by Arthur Engel. by
  • Engel, Arthur
Series: New mathematical library ; v. 35.
Publication details: [Washington, DC]: Mathematical Association of America, [c1993]
Availability: Items available for loan: Castorina (1)Call number: 005.74 E57e 1993 IMPA.

112.
Formal languages; automata and structures. by
  • Engeler, Erwin
Series: Lectures in advanced mathematics ; 3
Publication details: Chicago ; Markham, [1968]
Availability: Items available for loan: Castorina (1)Call number: 005.1 E57f 1968 IMPA.

113.
Algorithmic properties of structure: selected papers of Erwin Engeler. by
  • Engeler, Erwin
Publication details: Singapore River Edge, NJ: World Scientific, 1993
Availability: Items available for loan: Castorina (1)Call number: 512.3 E57a 1993 IMPA.

114.
High-speed computing devices/ Supervised by C. B. Tompkins and C. H. Wakelin. Edited by W. W. Stifler, Jr. by
  • Engineering Research Associates
  • Tompkins, Charles Brown, 1912-
Edition: 1st ed.
Publication details: New York: McGraw-Hill, 1950
Availability: Items available for loan: Castorina (1)Call number: 004.015 E57h 1950 IMPA.

115.
GPS: a case study in generality and problem solving/ [by] George W. Ernst [and] Allen Newell. by
  • Ernst, George W
  • Newell, Allen [joint author.]
Series: ACM monograph series
Publication details: New York: Academic Press, 1969
Availability: Items available for loan: Castorina (1)Call number: 651.8 E71g 1969 IMPA.

116.
Mathematical foundations of computer science/ Peter A. Fejer, Dan A. Simovici. by
  • Fejer, Peter A
  • Simovici, Dan A
Series: Texts and monographs in computer science
Publication details: New York: Springer-Verlag, c1991-
Availability: Items available for loan: Castorina (1)Call number: 004.015 F311m 1991 IMPA.

117.
Algoritmos para igualdades minimax em grafos/ P. Feofiloff. by
  • Feofiloff, P
  • Lucchesi, Cláudio L, 1945-
Series: Escola de computação ; 6.
Edition: [1st ed.]
Publication details: Campinas: Unicamp, 1988
Availability: Items available for loan: Castorina (1)Call number: 005.1 F344a 1988 IMPA.

118.
Computability theory, semantics, and logic programming/ Melvin Fitting. by
  • Fitting, Melvin, 1942-
Series: Oxford logic guides ; 13
Publication details: New York: Oxford: Oxford University Press, Clarendon Press, 1987
Availability: Items available for loan: Castorina (1)Call number: 005 F547c 1987 IMPA.

119.
Machine learning: the art and science of algorithms that make sense of data/ Peter Flach. by
  • Flach, Peter A
Publication details: Cambridge, UK; New York: Cambridge University Press, 2012
Availability: Items available for loan: Castorina (1)Call number: 006.31 F571m 2012 IMPA.

120.
JavaScript: the definitive guide/ David Flanagan. by
  • Flanagan, David
Edition: 6th ed.
Publication details: Beijing; Sebastopol, CA: O'Reilly, 2011
Availability: Items available for loan: Castorina (1)Call number: 005.2 F583j 2011 IMPA.

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


Powered by Koha