Your search returned 8 results.

Sort
Results
1.
Numerical recipes: the art of scientific computing/ William H. Press ... [et al.]. by
  • Press, William H
Publication details: Cambridge, UK: New York: Cambridge University Press, 1986
Availability: Items available for loan: Castorina (1)Call number: 519.4 N971 1986 IMPA.

2.
Partial order methods in verification: DIMACS workshop July 24-26, 1996/ Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors. by
  • Peled, Doron, 1962-
  • Pratt, Vaughan R
  • Holzmann, Gerard J, 1951-
  • DIMACS (Group)
  • Workshop on Partial Order Methods in Verification (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; 29
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 006.601 P273 1997 IMPA.

3.
Numerical recipes in C: the art of scientific computing/ William H. Press ... [et al.]. by
  • Press, William H
Edition: 2nd ed.
Publication details: Cambridge, UK: New York: Cambridge University Press, 1992
Availability: Items available for loan: Castorina (1)Call number: 519.4 N971 1992 IMPA.

4.
Intelligent agents for mobile and virtual media/ Rae Earnshaw and John Vince (eds.). by
  • Earnshaw, Rae A, 1944-
  • Vince, John (John A.)
Publication details: London: Springer, 2002
Online access:
Availability: Items available for loan: Castorina (1)Call number: 006.3 I61 2002 IMPA.

5.
Math into TeX: a simple introduction to AMS-LaTeX/ George Grätzer. by
  • Grätzer, George A
Publication details: Boston: Birkhäuser, c1993
Availability: Items available for loan: Castorina (3)Call number: 005.133 G895m 1993 IMPA, ...

6.
Math into LaTeX: an introduction to LaTeX and AMS-LaTex/ George Grätzer. by
  • Grätzer, George A
Publication details: Boston: Birkhäuser, c1996
Availability: Items available for loan: Castorina (1)Call number: 005.133 G895m 1996 IMPA.

7.
More math into LaTeX/ George Grätzer ; foreword by Rainer Schöpf. by
  • Grätzer, George A
  • Grätzer, George A. Math into LaTeX
Edition: 4th ed.
Publication details: New York: Springer, c2007
Availability: Items available for loan: Castorina (1)Call number: 005.133 G895m 2007 IMPA.

8.
GUI bloopers: don'ts and do's for software developers and Web designers/ Jeff Johnson. by
  • Johnson, Jeff, Ph. D
Series: The Morgan Kaufmann series in interactive technologies
Publication details: San Francisco: Morgan Kaufmann, c2000
Availability: Items available for loan: Castorina (1)Call number: 005.437 J67g 2000 IMPA.

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


Powered by Koha