Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The combinatory programme/ Erwin Engeler ... [et al.]. by
  • Engeler, Erwin
Series: Progress in theoretical computer science
Publication details: Boston: Birkhäuser, 1995
Availability: Items available for loan: Castorina (1)Call number: 511.3 C731 1995 IMPA.

Place hold Add to cart
2.
Polynomial and matrix computations/ Dario Bini, Victor Y. Pan. by
  • Bini, Dario
  • Pan, Victor
Series: Progress in theoretical computer science
Publication details: Boston: Birkhäuser, 1994-
Availability: Items available for loan: Castorina (1)Call number: 512.942 B613p 1994 IMPA.

Place hold Add to cart
3.
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.

Place hold Add to cart
4.
Subrecursive programming systems: complexity & succinctness/ James S. Royer, John Case. by
  • Royer, James S
  • Case, John, 1942-
Series: Progress in theoretical computer science
Publication details: Boston: Birkhaüser, 1994
Availability: Items available for loan: Castorina (1)Call number: 005.133 R891s 1994 IMPA.

Place hold Add to cart
5.
Algorithms for random generation and counting: a Markov chain approach/ Alistair Sinclair. by
  • Sinclair, Alistair, 1960-
Series: Progress in theoretical computer science
Publication details: Boston: Birkhäuser, c1993
Availability: Items available for loan: Castorina (1)Call number: 519.233 S616a 1993 IMPA.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha