Results of search for 'ccl=an:23776' › IMPA Library catalog

Results
	41.	Foundations of computer science III.: Part 1: automata, data structures, complexity. by Bakker, J. W. de (Jacobus Willem), 1939- [ed.] Leeuwen, J. van (Jan) [ed.] Series: Mathematical Centre tracts ; 108 Publication details: Amsterdam; Mathematisch Centrum, 1981 Availability: Items available for loan: Castorina (1)Call number: 004.015 F771 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	42.	Theoretical foundations of programming methodology: lecture notes of an international summer school directed by F.L. Bauer, E.W. Dykstra and C.A.R. Hoare/ edited by Manfred Broy and Gunther Schmidt. by Broy, M, 1949- Schmidt, Gerhart North Atlantic Treaty Organization. Scientific Affairs Division Series: NATO ASI series. Series C, Mathematical and physical sciences ; v. 91 Publication details: Dordrecht London: Reidel in cooperation with NATO Scientific Affairs Division, c1982 Availability: Items available for loan: Castorina (1)Call number: 005.1 T396 1982 IMPA. Found in Open Library: Place hold Add to cart (remove)
	43.	No cover image available No cover image available No cover image available Fundamentals of computation theory: FCT '79 : proceedings of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory held in Berlin/Wendisch-Rietz (GDR), Sept. 17-21, 1979/ ed. by Lothar Budach. by Budach, L. (Lothar), 1935- Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory (1979 : Wendisch Rietz, Germany) Series: Mathematical research ; Bd. 2 Language: engfre Publication details: Berlin: Akademie-Verlag, 1979 Availability: Items available for loan: Castorina (1)Call number: 511.35 F981 1979 IMPA. Found in Open Library: Place hold Add to cart (remove)
	44.	Polyhedral combinatorics: proceedings of a DIMACS workshop : June 12-16, 1989/ William Cook, Paul D. Seymour, editors. by Cook, William J, 1936- Seymour, Paul D DIMACS Workshop on Polyhedral Combinatorics (1989 : Center for Discrete Mathematics and Theoretical Computer Science) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 1 Publication details: Providence, R.I.: [New York]: American Mathematical Society, Association for Computing Machinery, c1990 Availability: Items available for loan: Castorina (1)Call number: 511.6 P782 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	45.	Cybernetics/ edited by C. R. Evans and A. D. J. Robertson. by Robertson, A. D. J. (Anthony Daniel James) [joint comp.] Series: Key papers Publication details: London: Butterworths, 1968 Availability: Items available for loan: Castorina (1)Call number: 003.5 C994 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	46.	Statistical computer performance evaluation: proceedings of a conference held at Brown University, Providence, Rhode Island, November 22-23, 1971 under the auspices of the Division of Applied Mathematics and the Center for Computer and Information Sciences, and supported by the Office of Naval Research / edited by Walter Freiberger with the collaboration ... [and others]. by Freiberger, Walter F Brown University Division of Applied Mathematics Brown University. Center for Computer and Information Sciences Publication details: New York; London: Academic Press, 1972 Availability: Items available for loan: Castorina (1)Call number: 001.422 S797 1972 IMPA. Found in Open Library: Place hold Add to cart (remove)
	47.	Constructing quality software: proceedings of the IFIP Working Conference on Constructing Quality Software, Novosibirsk, USSR, 23-28 May 1977, organized by Technical Committee 2 (Programming) ... International Federation for Information Processing/ edited by P. G. Hibbard and S.A. Schuman. by Hibbard, Peter Schuman, Stephen A International Federation for Information Processing. Technical Committee 2, Programming IFIP Working Conference on Constructing Quality Software (1977: Novosibirsk) Publication details: Amsterdam; Oxford: North-Holland, 1978 Availability: Items available for loan: Castorina (1)Call number: 001.6425 C758 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	48.	Data base management systems: proceedings of the SHARE Working Conference on Data Base Management Systems, Montreal, Canada, July 23-27, 1973/ ed. by Donald A. Jardine. by Jardine, Donald A [ed.] SHARE (Association) SHARE Working Conference on Data Base Management Systems (1st :: 1973 :: Montréal, Québec) Publication details: Amsterdam: New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: Castorina (1)Call number: 005.74 D232 1974 IMPA. Found in Open Library: Place hold Add to cart (remove)
	49.	No cover image available No cover image available No cover image available Algèbre de Boole et machines logiques/ Sous la direction de J. Kuntzmann et P. Naslin. by Naslin, Pierre [joint ed.] Series: Bibliothèque de l'automaticien ; 23 Publication details: Paris: Dunod, 1967 [c1966] Availability: Items available for loan: Castorina (1)Call number: 511.3 A396 1967 IMPA. Found in Open Library: Place hold Add to cart (remove)
	50.	Parallel processing for scientific computing/ edited by Garry Rodrigue. by Rodrigue, G SIAM Activity Group on Supercomputing SIAM Conference on Parallel Processing for Scientific Computing (3rd :: 1987 :: Los Angeles, Calif.) Publication details: Philadelphia: SIAM, c1989 Availability: Items available for loan: Castorina (1)Call number: 004.35 P222 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	51.	No cover image available No cover image available No cover image available Automation of reasoning/ edited by Jörg Siekmann and Graham Wrightson. by Siekmann, Jörg H Wrightson, Graham Publication details: Berlin: New York: Springer, 1983 Availability: Items available for loan: Castorina (2)Call number: 001.535 A939 1983 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	52.	Analytic computational complexity/ edited by J. F. Traub. by Traub, J. F. (Joseph Frederick), 1932- Carnegie-Mellon University. Computer Science Dept Symposium on Analytic Computational Complexity (1975 : Carnegie-Mellon University) Publication details: New York: Academic Press, 1976 Availability: Items available for loan: Castorina (1)Call number: 519.4 A532 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	53.	Proceedings International Conference on ALGOL 68/ J.C. van Vliet, H. Wupper (eds.). by Vliet, J. C. van Wupper, H International Conference on ALGOL 68 (1981 : Ruhr-UniversitÌat Bochum) Series: Mathematical Centre tracts ; 134 Publication details: Amsterdam: Mathematisch Centrum, 1981 Availability: Items available for loan: Castorina (1)Call number: 005.133 P963 1981 IMPA. Found in Open Library: Place hold Add to cart (remove)
	54.	Robotics/ J. Baillieul ... [et al.]. by Baillieul, J. (John) American Mathematical Society Series: Proceedings of symposia in applied mathematics ; v. 41. \| Proceedings of symposia in applied mathematics Publication details: Providence, R.I.: American Mathematical Society, c1990 Availability: Items available for loan: Castorina (1)Call number: 629.892 R666 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	55.	DNA based computers II: DIMACS workshop, June 10-12, 1996/ Laura F. Landweber, Eric B. Baum, editors. by Landweber, Laura F. (Laura Faye), 1967- Baum, Eric B, 1957- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science DIMACS (Group) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 44. Publication details: Providence, R.I.: American Mathematical Society, c1999 Other title: DNA based computers 2. DNA based computers two. Availability: Items available for loan: Castorina (1)Call number: 511.3 D629 1999 IMPA. Found in Open Library: Place hold Add to cart (remove)
	56.	Multichannel optical networks: theory and practice : DIMACS Workshop, March 16-19, 1998/ Peng-Jun Wan, Ding-Zhu Du, Panos M. Pardalos, editors. by Wan, Peng-Jun, 1970- Du, Dingzhu Pardalos, P. M. (Panos M.), 1954- DIMACS Workshop on Multichannel Optical Networks: Theory and Practice (1998: Rutgers University) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 46. Publication details: Providence, R.I.: American Mathematical Society, c1998 Availability: Items available for loan: Castorina (1)Call number: 004 M427 1998 IMPA. Found in Open Library: Place hold Add to cart (remove)
	57.	DNA based computers III/ edited by Harvey Rubin and David Harlan Wood. by Rubin, Harvey Wood, David Harlan Series: DIMACS series in discrete mathematics and theoretical computer science Publication details: Providence, R.I.: Oxford: American Mathematical Society, Oxford University Press, 1999 Availability: Items available for loan: Castorina (1)Call number: 511.3 D629 1999 IMPA. Found in Open Library: Place hold Add to cart (remove)
	58.	Networks in distributed computing/ DIMACS Workshop, October 27-30, 1997 ; Marios Mavronicolas, Michael Merritt, Nir Shavit, editors. by Mavronicolas, Marios Merritt, Michael, 1957- Shavit, Nir, 1959- DIMACS Workshop on Networks in Distributed Computing (1997: Rutgers University) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 45. Publication details: Providence, R.I.: American Mathematical Society, c1999 Availability: Items available for loan: Castorina (1)Call number: 004.36 N476 1999 IMPA. Found in Open Library: Place hold Add to cart (remove)
	59.	Network threats: DIMACS workshop, December 2-4, 1996/ Rebecca N. Wright, Peter G. Neumann, editors. by Wright, Rebecca N, 1967- Neumann, Peter, 1932- Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 38 Publication details: Providence, R.I.: American Mathematical Society, c1998 Availability: Items available for loan: Castorina (1)Call number: 004.6 N476 1998 IMPA. Found in Open Library: Place hold Add to cart (remove)
	60.	Advances in switching networks: DIMACS workshop, July 7-9, 1997/ Ding-Zhu Du, Frank K. Hwang, editors. by Du, Dingzhu Hwang, Frank DIMACS Workshop on Network Switching (1997: Princeton University) Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 42 Publication details: Providence, R.I.: American Mathematical Society, c1998 Availability: Items available for loan: Castorina (1)Call number: 004.66 A244 1998 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 87 results.