Your search returned 87 results.

Sort
Results
81.
Ingenieria de software. by
  • Boria, J
Edition: [1st ed.]
Publication details: Buenos Aires: Kapelusz, 1986
Availability: Items available for loan: Castorina (1)Call number: 005.1 B734i 1986 IMPA.

82.
Statistical computation: proceedings of a conference held at the University of Wisconsin, Madison, Wisconsin, April 28-20 1969/ edited by Roy C, Milton, John A. Nelder. by
  • Conference on Statistical Computation (1969 : University of Wisconsin)
  • Milton, Roy C
  • Nelder, John A
Publication details: New York: London: Academic Press, 1969
Availability: Items available for loan: Castorina (1)Call number: 001.422 S797 1969 IMPA.

83.
Reliability of computer and communication networks: proceedings of a DIMACS Workshop, December 2-4, 1989/ Fred Roberts, Frank Hwang, Clyde Monma, editors. by
  • DIMACS Workshop on Reliability of Computer and Communication Networks (1989 : Rutgers University)
  • Roberts, Fred S
  • Hwang, Frank
  • Monma, Clyde L
  • DIMACS (Group)
  • American Mathematical Society
  • Association for Computing Machinery
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 5
Publication details: Providence, R.I.: American Mathematical Society, Association for Computing Machinery, c1991
Availability: Items available for loan: Castorina (1)Call number: 004 R382 1991 IMPA.

84.
Anais: 4. Simpósio Brasileiro de Banco de Dados, 5-7 abril, 1989/ ed. Claudia Bauzer Medeiros. by
  • Medeiros, Claudia Bauzer [Ed.]
  • Simposio Brasileiro De Banco De Dados (4. :: Campinas: 1989)
Publication details: Campinas: R. Vieira, 1989
Availability: Items available for loan: Castorina (1)Call number: 005.74 A532 1989 IMPA.

85.
3o. Simpósio Brasileiro de Banco de Dados: 23 a 25 de março de 1988, Recife, Pernambuco/ promoção, Sociedade Brasileira de Computação (SBC) [e] Universidade Federal de Pernambuco. by
  • Simpósio Brasileiro de Banco de Dados (3rd: 1988: Recife, Brazil)
  • Sociedade Brasileira de Computação. Comissão Especial de Banco de Dados
  • Universidade Federal de Pernambuco
Publication details: Recife: A Comissão, A Universidade, 1988
Availability: Items available for loan: Castorina (1)Call number: 005.74 T315 1988 IMPA.

86.
The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/ Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors. by
  • Workshop on the SPIN Verification System (2nd: 1996: Rutgers University)
  • Grégoire, Jean-Charles, 1960-
  • Holzmann, Gerard J, 1951-
  • Peled, Doron, 1962-
Series: DIMACS series in discrete mathematics and theoretical computer science ; 32
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 005.276 S757 1997 IMPA.

87.
Muitas Faces em Interfaces [Anais]: III Workshop sobre Fatores Humanos em Sistemas Computacionais, de 18 a 20 de outubro de 2000, Gramado, RS/ Marcelo Soares Pimenta, Renata Vieira (coords.); Eliane da Silva Alcoforado Diniz (ed.). by
  • Workshop sobre Fatores Humanos em Sistemas Computacionais (3.: 2000: Gramado, RS)
  • Vieira, Renata [edt]
  • Pimenta, Marcelo Soares [edt]
  • Diniz, Eliane S.A [edt]
  • Sociedade Brasileira de Computação
Publication details: Porto Alegre: Instituto de Informática da UFRGS, 2001
Availability: Items available for loan: Castorina (1)Call number: 004 M953 2000 IMPA.

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


Powered by Koha