Results of search for 'su:"Computer science"'

Results
	1.	Network flows and matching: first DIMACS implementation challenge/ David S. Johnson, Catherine C. McGeoch, editors. by Johnson, David S, 1945- McGeoch, Catherine C, 1959- DIMACS (Group) Challenge Workshop (1991 : DIMACS) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 12. Publication details: Providence, R.I.: American Mathematical Society, c1993 Availability: Items available for loan: Castorina (1)Call number: 511.8 N476 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	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. Found in Open Library: Place hold Add to cart (remove)
	3.	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). Found in Open Library: Place hold Add to cart (remove)
	4.	Discrete mathematics/ editors of the volume, J.L. Kulikowski ... [et al.]. by Kulikowski, Juliusz Lech Series: Banach Center publications ; v. 7. Language: engrus Publication details: Warszawa: PWN-Polish Scientific Publishers, 1982 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	5.	Principles of visual programming systems/ Shi-Kuo Chang, editor. by Chang, S. K. (Shi Kuo), 1944- Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1990 Availability: Items available for loan: Castorina (1)Call number: 005.10285 P957 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	6.	Discrete mathematics across the curriculum, K-12: 1991 yearbook/ [edited by] Margaret J. Kenney, Christian R. Hirsch. by Kenney, Margaret J Hirsch, Christian R Publication details: Reston, Va.: National Council of Teachers of Mathematics, c1991 Availability: Items available for loan: Castorina (1)Call number: 510.7 D611 1991 IMPA. Found in Open Library: Place hold Add to cart (remove)
	7.	Symbolic computation: applications to scientific computing/ edited by Robert Grossman. by Grossman, Robert, 1957- Society for Industrial and Applied Mathematics Ames Research Center Series: Frontiers in applied mathematics ; 5. Publication details: Philadelphia: Society for Industrial and Applied Mathematics, 1989 Availability: Items available for loan: Castorina (1)Call number: 620.001 S986 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	8.	Neural networks: advances and applications/ edited by Erol Gelenbe. by Gelenbe, E, 1945- Publication details: Amsterdam ; New York: New York: North-Holland, Elsevier, 1991 Availability: Items available for loan: Castorina (1)Call number: 006.3 N494 1991 IMPA. Found in Open Library: Place hold Add to cart (remove)
	9.	Parallel algorithms: for digital image processing, computer vision, and neural networks/ edited by Ioannis Pitas. by Pitas, I. (Ioannis) Series: Wiley series in parallel computing \| Wiley professional computing Publication details: Chichester New York: Wiley, c1993 Availability: Items available for loan: Castorina (1)Call number: 006.37 P222 1993 IMPA. Found in Open Library: Place hold Add to cart (remove)
	10.	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. Found in Open Library: Place hold Add to cart (remove)
	11.	Specification of parallel algorithms: DIMACS workshop, May 9-11, 1994/ Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors. by Blelloch, Guy E Chandy, K. Mani Jagannathan, Suresh NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 18. Publication details: [Providence, RI]: American Mathematical Society, 1994 Availability: Items available for loan: Castorina (1)Call number: 005.1 S741 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	12.	No cover image available No cover image available Linear algebra over small finite fields on parallel machines/ Peter Fleischmann ... [et al.]. by Fleischmann, Peter Series: Vorlesungen aus dem Fachbereich Mathematik der Universitat Essen ; Heft 23. Publication details: [Essen, Germany]: Universität Essen, 1995 Availability: Items available for loan: Castorina (1). Place hold Add to cart (remove)
	13.	Language computations: DIMACS Workshop on Human Language, March 20-22, 1992/ Eric Sven Ristad, editor. by Ristad, Eric Sven DIMACS Workshop on Human Language (1992 : Princeton University) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 17. Publication details: Providence, R.I.: American Mathematical Society, c1994 Availability: Items available for loan: Castorina (1)Call number: 005.133 L287 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	14.	Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993/ David S. Johnson, Michael A. Trick, editors. by Johnson, David S, 1945- Trick, Michael A Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 26. Publication details: Providence, R.I.: American Mathematical Society, c1996 Availability: Items available for loan: Castorina (1)Call number: 511.5 C641 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	15.	Seminars in mathematics: Automatic programming and numerical methods of analysis/ Edited by V. N. Faddeeva. Translated from Russian by N. H. Choksy. by Faddeeva, N. V [ed.] Matematicheskii institut im. V.A. Steklova Leningradskoe otdelenie Series: Seminars in mathematics ; v. 18. Language: engrus Publication details: New York: Consultants Bureau, 1972 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	16.	Handbook of logic and language/ edited by Johan van Benthem, Alice ter Meulen. by Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter Publication details: Amsterdam; New York; Cambridge, Mass.: Elsevier; MIT Press, 1997 Other title: Handbook of logic & language Availability: Items available for loan: Castorina (1)Call number: 511.3 H236 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	17.	Satisfiability problem: theory and applications : DIMACS workshop, March 11-13, 1996/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors. by Du, Dingzhu Gu, Jun, 1956- Pardalos, P. M. (Panos M.), 1954- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science Series: DIMACS series in discrete mathematics and theoretical computer science ; 35. Publication details: Providence, R.I.: American Mathematical Society, c1997 Availability: Items available for loan: Castorina (1)Call number: 511.3 S253 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	18.	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. Found in Open Library: Place hold Add to cart (remove)
	19.	Solving linear systems on vector and shared memory computers/ Jack J. Dongarra ... [et al.]. by Dongarra, J. J Publication details: Philadelphia: Society for Industrial and Applied Mathematics, c1991 Availability: Items available for loan: Castorina (1)Call number: 512.5 S691 1991 IMPA. Found in Open Library: Place hold Add to cart (remove)
	20.	Disordered systems/ Rodrigo Bamon, Jean-Marc Gambaudo & Servet Martinez, editors. by Bamón, R. (Rodrigo), 1951- Gambaudo, Jean-Marc Martínez, Servet Series: Travaux en cours (Paris, France) ; 53. \| Cours du C.I.M.P.A Publication details: Paris: Hermann, c1996 Availability: Items available for loan: Castorina (1)Call number: 530.1 D612 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 293 results.