Refine your search

Your search returned 53 results.

Sort
Results
1.
Foundations of computer science/ J. W. De Bakker, (ed.). by
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Advanced Course on the Foundations of Computer Science (1974 : University of Amsterdam)
Series: Mathematical Centre tracts ; 63.
Publication details: Amsterdam ; Mathematisch Centrum, 1975
Availability: Items available for loan: Castorina (1)Call number: 004.15 F771 1975 IMPA.

2.
Beiträge zur Angewandten Analysis und Informatik: Helmut Brakhage zu Ehren/ Herausgeber, Eberhard Schock. by
  • Schock, Eberhard
  • Brakhage, H, 1926-
Language: gereng
Publication details: Aachen: Shaker, 1994
Availability: Items available for loan: Castorina (1)Call number: 510.92 B423 1994 IMPA.

3.
Beauty is our business: a birthday salute to Edsger W. Dijkstra/ David Gries ... [et al.], editors. by
  • Gries, David, 1939-
Series: Texts and monographs in computer science
Publication details: New York: Springer-Verlag, c1990
Availability: Items available for loan: Castorina (1)Call number: 510.92 B384 1990 IMPA.

4.
Computer science: a first course/ Alexandra I. Forsythe ... [and others]. by
  • Forsythe, Alexandra I
Publication details: New York: Wiley, [1969]
Availability: Items available for loan: Castorina (1)Call number: 004 C738 1969 IMPA.

5.
Studies in computer science/ Seymour V. Pollack, editor ; contributions by William E. Ball ... [et al.]. by
  • Pollack, Seymour V
  • Ball, William E
  • Mathematical Association of America
Series: Studies in mathematics (Mathematical Association of America) ; v. 22.
Publication details: [Washington, DC]: Mathematical Association of America, c1982
Availability: Items available for loan: Castorina (1)Call number: 004 S933 1982 IMPA.

6.
Complexity and real computation/ Lenore Blum ... [et al.] ; foreword by Richard M. Karp. by
  • Shub, Michael, 1943-
  • Smale, Stephen, 1930-
  • Cucker, Felipe, 1958-
  • Blum, Lenore
Publication details: New York: Springer, c1998
Availability: Items available for loan: Castorina (1)Call number: 511.3 C737 1998 IMPA.

7.
HAL's legacy: 2001's computer as dream and reality/ edited by David G. Stork. by
  • Stork, David G
Publication details: Cambridge, Mass.: MIT Press, c1997
Availability: Items available for loan: Castorina (1)Call number: 004.015 H157 1997 IMPA.

8.
Foundations of computer science II/ K. R. Apt (ed.), J. W. De Bakker (ed.). by
  • Apt, Krzysztof R, 1949-
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Advanced Course on the Foundations of Computer Science (2nd: 1976: University of Amsterdam)
Series: Mathematical Centre tracts ; 81-82
Publication details: Amsterdam; Mathematisch Centrum, 1976
Availability: Items available for loan: Castorina (2)Call number: 004.015 F771 1976 IMPA, ...

9.
Foundations of computer science III/ J. W. de Bakker, (ed.), J. Van Leeuwen (ed.). by
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Leeuwen, J. van (Jan)
Series: Mathematical Centre tracts ; 108-109
Publication details: Amsterdam; Mathematisch Centrum, 1979
Availability: Items available for loan: Castorina (2)Call number: 004.015 F771 1983 IMPA, ...

10.
Aesthetic computing/ edited by Paul Fishwick. by
  • Fishwick, Paul A
Series: Leonardo (Series) (Cambridge, Mass.)
Publication details: Cambridge, Mass.: MIT Press, c2006
Availability: Items available for loan: Castorina (1)Call number: 004 A254 2006 IMPA.

11.
Algebraic methods in logic and in computer science/ editor of the volume, Cecylia Rauszer. by
  • Rauszer, Cecylia
  • Instytut Matematyczny (Polska Akademia Nauk)
  • Stefan Banach International Mathematical Center
Series: Banach Center publications ; v. 28
Publication details: Warszawa: Polish Academy of Sciences, Institute of Mathematics, 1993
Availability: Items available for loan: Castorina (1).

12.
The Abel Prize 2008-2012/ Helge Holden, Ragni Piene, editors. by
  • Holden, H. (Helge), 1956-
  • Piene, Ragni [editor.]
Publisher: Heidelberg; New York: Springer, [2014]
Availability: Items available for loan: Castorina (1)Call number: 510.92 A139 2014 IMPA.

13.
Compressed sensing and its applications: second international Matheon conference 2015/ Holger Boche, Giuseppe Caire, Robert Calderbank, Maximilian Marz, Gitta Kutyniok, Rudolf Mathar, editors. by
  • Boche, Holger, 1966-
  • Caire, Giuseppe [Herausgeber.]
  • Calderbank, Robert, 1954-
  • März, Maximilian [Sonstige.]
  • Kutyniok, Gitta [Herausgeber.]
  • Mathar, Rudolf, 1952
  • Matheon conference (2: 2015: Berlin) [Verfasser.]
Series: Applied and numerical harmonic analysis
Publisher: Cham Birkhäuser 2017
Availability: Items available for loan: Castorina (1)Call number: 621.382 C737 2017 IMPA.

14.
Combinatorics, words and symbolic dynamics/ edited by Valerie Berthe, Universite Paris Diderot, Paris 7, Michel Rigo, Universite de Liege, Belgium. by
  • Berthé, V. (Valérie), 1957-
  • Rigo, Michel [editor.]
Series: Encyclopedia of mathematics and its applications ; 159.
Publisher: Cambridge, United Kingdom: Cambridge University Press, 2016
Availability: Items available for loan: Castorina (1)Call number: 511.6 C731 2016 IMPA.

15.
Hypercomplex Analysis: New Perspectives and Applications/ edited by Swanhild Bernstein, Uwe Kähler, Irene Sabadini, Frank Sommen. by
  • Kähler, Uwe [editor.]
  • Sabadini, Irene, 1965- [editor.]
  • Sommen, Frank [editor.]
  • Bernstein, Swanhild [editor]
Series: Trends in mathematics
Publisher: Cham: Springer, 2014
Availability: Items available for loan: Castorina (1)Call number: 515.9 H998 2014 IMPA.

16.
Generalized Collocation Methods [electronic resource]: Solutions to Nonlinear Problems/ edited by Nicola Bellomo, Bertrand Lods, Roberto Revelli, Luca Ridolfi. by
  • Bellomo, N
  • Lods, Bertrand
  • Revelli, Roberto
  • Ridolfi, Luca
  • SpringerLink (Online service)
Series: Modeling and Simulation In Science, Engineering and Technology
Source: Springer eBooks
; Format: electronic available online remote
Publication details: Boston: Birkhäuser Boston, 2008
Availability: No items available.

17.
Great ideas in computer science: a gentle introduction/ Alan W. Biermann. by
  • Biermann, Alan W, 1939-
Publication details: Cambridge, Mass.: MIT Press, c1990
Availability: Items available for loan: Castorina (1)Call number: 005.133 B588g 1990 IMPA.

18.
Advances in Automatic Differentiation [electronic resource]/ edited by Christian H. Bischof, H. Martin Bücker, Paul Hovland, Uwe Naumann, Jean Utke. by
  • Bischof, Christian H
  • Bücker, H. Martin
  • Hovland, Paul
  • Naumann, Uwe, 1969-
  • Utke, Jean
  • SpringerLink (Online service)
Series: Lecture Notes in Computational Science and Engineering ; 64
Source: Springer eBooks
; Format: electronic available online remote
Publication details: Berlin, Heidelberg: Springer Berlin Heidelberg, 2008
Availability: No items available.

19.
Modeling, Simulation and Optimization of Complex Processes [electronic resource]: Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam/ edited by Hans Georg Bock, Ekaterina Kostina, Hoang Xuan Phu, Rolf Rannacher. by
  • Bock, Hans Georg
  • Kostina, Ekaterina
  • Phu, Hoang Xuan
  • Rannacher, Rolf
  • SpringerLink (Online service)
Source: Springer eBooks
; Format: electronic available online remote
Publication details: Berlin, Heidelberg: Springer Berlin Heidelberg, 2008
Availability: No items available.

20.
Handbook of Large-Scale Random Networks [electronic resource]/ edited by Béla Bollobás, Robert Kozma, Dezso Miklós. by
  • Bollobás, Béla
  • Kozma, Robert
  • Miklós, D
  • SpringerLink (Online service)
Series: Bolyai Society Mathematical Studies ; 18
Source: Springer eBooks
; Format: electronic available online remote
Publication details: Berlin, Heidelberg: Springer Berlin Heidelberg, 2008
Availability: No items available.

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


Powered by Koha