Your search returned 11 results.

Sort
Results
1.
Mathematical foundations of computer science 1984: proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984/ edited by M.P. Chytil and V. Koubek. by
  • Chytil, Michal
  • Koubek, Václav
  • Symposium on Mathematical Foundations of Computer Science (1972- ) (11th : 1984 : Prague, Czechoslovakia)
Series: Lecture notes in computer science ; 176.
Publication details: Berlin ; New York: Springer-Verlag, 1984
Availability: Items available for loan: Castorina (1).

2.
Logic and random structures: DIMACS workshop, November 5-7, 1995/ Ravi B. Boppana, James F. Lynch, editors. by
  • Boppana, Ravi B. (Ravi Bopu), 1963-
  • Lynch, James F, 1947-
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; 33.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1997 IMPA.

3.
Mathematics of information processing/ Michael Anshel and William Gewirtz, editors. by
  • Anshel, Michael, 1941-
  • Gewirtz, William, 1948-
Series: Proceedings of symposia in applied mathematics ; v. 34. | Proceedings of symposia in applied mathematics ; 34
Publication details: Providence, R.I.: American Mathematical Society, 1986
Availability: Items available for loan: Castorina (1)Call number: 004 M427 1986 IMPA.

4.
Symposium on Mathematical Theory of Automata: Proceedings/ New York, April 1962. by
  • Symposium on Mathematical Theory of Automata (1962: New York, N.Y.)
Series: Microwave Research Institute symposia series ; v. 12
Publication details: Brooklyn: Polytechnic Press, 1963
Availability: Items available for loan: Castorina (1)Call number: 004 S989 1963 IMPA.

5.
The Mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989/ [edited by] J.H. Johnson, M.J. Loomes. by
  • Johnson, J. (Jeffrey)
  • Loomes, Martin
  • Institute of Mathematics and Its Applications
Series: Institute of Mathematics and Its Applications conference series ; new ser., 30
Publication details: Oxford: Oxford: New York: Clarendon Press, Oxford University Press, 1991
Availability: Items available for loan: Castorina (1)Call number: 511.602 M426 1991 IMPA.

6.
7.
Voronoi Diagrams in Science and Engineering 2006: proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada/ organized by SPARCS Laboratory, University of Calgary, Canada ; in cooperation with iCORE Informatics Circle of Research Excellence, Alberta, Canada ... [et al.] ; general chair of ISVD 2006 and proceeingns editor, Prof. Marina L. Gavrilova. by
  • Gavrilova, M. L. (Marina L.)
  • SPARCS Laboratory
  • iCORE Informatics Circle of Research Excellence
  • IEEE Computer Society
Publication details: Los Alamitos, CA: IEEE, c2006
Other title:
  • Voronoi diagrams in science and engineering
Availability: Items available for loan: Castorina (2)Call number: 004 V954 2006 IMPA, ...

8.
Algebra and computer science/ Delaram Kahrobaei, Bren Cavallo, David Garber, editors. by
  • Kahrobaei, Delaram, 1975-
  • Cavallo, Bren, 1989-
  • Garber, David, 1973-
Series: Contemporary mathematics (American Mathematical Society) ; v. 677.
Publisher: Providence, Rhode Island: American Mathematical Society, [2016]
Availability: Items available for loan: Castorina (1).

9.
General algebra and discrete mathematics: proceedings of the Fourth Conference on Discrete Mathematics/ edited by K. Denecke and O. Lüders. by
  • Denecke, Klaus
  • Luders, O (Otfried)
  • Conference on Discrete Mathematics (Germany) (4th: 1993: Potsdam, Germany)
Series: Research and exposition in mathematics ; 21.
Publication details: Lemgo, Germany: Heldermann, 1995
Availability: Items available for loan: Castorina (1)Call number: 512 G326 1995 IMPA.

10.
Categories in computer science and logic: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation/ John W. Gray and Andre Scedrov, editors. by
  • AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder)
  • Gray, John W. (John Walker), 1931-
  • Scedrov, Andrej, 1955-
  • National Science Foundation (U.S.)
Series: Contemporary mathematics (American Mathematical Society) ; v. 92.
Publication details: Providence, R.I.: American Mathematical Society, c1989
Availability: Items available for loan: Castorina (1).

11.
Scaling of Differential Equations/ by Hans Petter Langtangen, Geir K. Pedersen. by
  • Langtangen, Hans Petter, 1962-
  • Pedersen, Gert Kjaergard
Series: Simula SpringerBriefs on Computing ; 2.
Publication details: Cham [Switzerland]: Springer, 2016
Availability: Items available for loan: Castorina (1)Call number: 515.35 L286s 1916 IMPA.

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


Powered by Koha