Your search returned 6 results.

Sort
Results
1.
Logic of programs: workshop, ETH Zürich, May-July 1979/ edited by Erwin Engeler. by
  • Engeler, Erwin
  • Eidgenossische Technische Hochschule Zurich
Series: Lecture notes in computer science ; 125.
Publication details: Berlin ; New York: Springer, 1981
Availability: Items available for loan: Castorina (1).

2.
Patent law for computer scientists: steps to protect computer-implemented inventions/ by Daniel Closa ... [et al.]. by
  • Closa, Daniel
Publication details: Berlin; New York: Springer, 2010
Availability: Items available for loan: Castorina (1)Call number: 608 P295 2010 IMPA.

3.
Model construction for hybrid implicit specifications/ by Ole Hogh Jensen, Christian Jeppesen, Jarl Tuxen Lang. by
  • Jensen, Ole H
  • Jeppesen, Christian
  • Lang, Jarl Tuxen
Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 94-2012.
Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994]
Dissertation note: Thesis (M.S.)--Aalborg University, 1994.
Availability: Items available for loan: Castorina (1).

4.
Genetic algorithms + data structures = evolution programs/ Zbigniew Michalewicz. by
  • Michalewicz, Zbigniew
Edition: 2nd, extended ed.
Publication details: Berlin: New York: Springer-Verlag, c1994
Availability: Items available for loan: Castorina (1)Call number: 005.1 M621g 1994 IMPA.

5.
The art of differentiating computer programs: an introduction to algorithmic differentiation/ Uwe Naumann. by
  • Naumann, Uwe, 1969-
Series: Software, environments, tools
Publication details: Philadelphia: Society for Industrial and Applied Mathematics, c2011
Online access:
Availability: Items available for loan: Castorina (1)Call number: 003.3 N311a 2011 IMPA.

6.
Mathematica : a system for doing mathematics by computer / Stephen Wolfram. by
  • Wolfram, Stephen, 1959-
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison-Wesley Pub. Co., c1991 (1993 printing)
Availability: Items available for loan: IMPATECH (1)Call number: 005.7 W861m 1993 IMPA TECH.

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


Powered by Koha