Results of search for 'ccl=su:"Computers."'

Results
	101.	John von Neumann and the origins of modern computing/ William Aspray. by Aspray, William Series: History of computing Publication details: Cambridge, Mass.: MIT Press, c1990 Availability: Items available for loan: Castorina (1)Call number: 510.92 A843j 1990 IMPA. Found in Open Library: Place hold Add to cart (remove)
	102.	No cover image available No cover image available No cover image available ACM transactions on mathematical software. by Association for Computing Machinery Association for Computing Machinery. Transactions on mathematical software Publication details: [New York]: Association for Computing Machinery, Online access: Click here to access online Availability: Items available for loan: Castorina (166)Call number: 1, ... Found in Open Library: Place hold Add to cart (remove)
	103.	Correctness preserving program refinements: proof theory and applications/ R. J. R. Back. by Back, R. J. R Series: Mathematical Centre tracts ; 131. Publication details: Amsterdam ; Mathematisch centrum, 1980 Dissertation note: Revision of thesis (doctoral)--University of Helsinki, 1978. Availability: Items available for loan: Castorina (1)Call number: 511.3 B126c 1980 IMPA. Found in Open Library: Place hold Add to cart (remove)
	104.	No cover image available No cover image available No cover image available Formal definition of programming languages: With an application to the definition of algol 60/ By J. W. de Bakker. by Bakker, J. W. de (Jacobus Willem), 1939- Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 16.Mathematical Centre tracts ; 16 Edition: 2d ed. Publication details: Amsterdam: Mathematisch Centrum, 1970 Availability: Items available for loan: Castorina (1)Call number: 005.133 B168f 1970 IMPA. Place hold Add to cart (remove)
	105.	Public key cryptography : applications and attacks / Lynn Margaret Batten. by Batten, Lynn Margaret [author.] IEEE Xplore (Online Service) [distributor.] John Wiley & Sons [publisher.] Series: IEEE Press series on information and communication networks security ; 16 Material type: Text; Format: available online Publisher: Hoboken, New Jersey : John Wiley & Sons, c2013Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013] Online access: Abstract with links to resource Availability: No items available. Found in Open Library: Add to cart (remove)
	106.	The calculating passion of Ada Byron/ Joan Baum. by Baum, Joan, 1937- Publication details: Hamden, Conn.: Archon Books, 1986 Availability: Items available for loan: Castorina (1)Call number: 510.92 B347c 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	107.	No cover image available No cover image available No cover image available Applied combinatorial mathematics/ Authors: George Pólya ... [and others] Editor: Edwin F. Beckenbach. by Beckenbach, Edwin F [ed.] Pólya, George, 1887-1985 Series: University of California engineering and physical sciences extension series Publication details: New York: J. Wiley, [1964] Availability: Items available for loan: Castorina (1)Call number: 511.6 B394a 1964 IMPA. Found in Open Library: Place hold Add to cart (remove)
	108.	The new S language: a programming environment for data analysis and graphics/ Richard A. Becker, John M. Chambers, Allan R. Wilks. by Becker, Richard A Chambers, John M Wilks, Allan Reeve Series: Wadsworth & Brooks/Cole computer science series Publication details: Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software, c1988 Availability: Items available for loan: Castorina (1)Call number: 005.133 B396n 1988 IMPA. Found in Open Library: Place hold Add to cart (remove)
	109.	Mathematical methods in medicine/ Richard Bellman. by Bellman, Richard Ernest, 1920- Series: Series in modern applied mathematics ; 1 Publication details: Singapore: World Scientific, c1983 Availability: Items available for loan: Castorina (1)Call number: 570.15 B445m 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	110.	Programming pearls/ Jon Bentley. by Bentley, Jon Louis Publication details: Reading, Mass.: Addison-Wesley, c1986 Availability: Items available for loan: Castorina (1)Call number: 005.1 B477p 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	111.	Parallel and distributed computation: numerical methods/ Dimitri P. Bertsekas, John N. Tsitsiklis. by Bertsekas, Dimitri P Tsitsiklis, John N Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1989 Availability: Items available for loan: Castorina (1)Call number: 004.35 B551p 1989 IMPA. Found in Open Library: Place hold Add to cart (remove)
	112.	Parallel and distributed computation: numerical methods/ Dimitri P. Bertsekas and John N. Tsitsiklis. by Bertsekas, Dimitri P Tsitsiklis, John N Series: Optimization and neural computation series ; 7 Publication details: Belmont, Mass.: Athena Scientific, c1997 Availability: Items available for loan: Castorina (1)Call number: 004.35 B551p 1997 IMPA. Found in Open Library: Place hold Add to cart (remove)
	113.	Data structures: theory and practice/ A. T. Berztiss. by Berztiss, Alfs T Series: Computer science and applied mathematics Publication details: New York: Academic Press, [1971] Availability: Items available for loan: Castorina (1)Call number: 005.73 B553d 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)
	114.	No cover image available No cover image available No cover image available Introduction to FORTRAN IV programming, using the watfor compiler/ John M. Blatt. by Blatt, John Markus Series: Goodyear computer series Publication details: Pacific Palisades, Calif.: Goodyear Pub. Co., [1968] Availability: Items available for loan: Castorina (1)Call number: 005.133 B644i 1968 IMPA. Found in Open Library: Place hold Add to cart (remove)
	115.	Turing's man: western culture in the computer age/ by J. David Bolter. by Bolter, J. David, 1951- Publication details: Chapel Hill: University of North Carolina Press, c1984 Availability: Items available for loan: Castorina (1)Call number: 511.35 B694t 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	116.	Windows and mirrors: interaction design, digital art, and the myth of transparency/ Jay David Bolter and Diane Gromala. by Bolter, J. David, 1951- Gromala, Diane Series: Leonardo (Series) (Cambridge, Mass.) Publication details: Cambridge, Mass.: MIT Press, c2003 Availability: Items available for loan: Castorina (1)Call number: 006.6 B694w 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	117.	No cover image available No cover image available No cover image available Computer programming and formal systems. by Braffort, P. (Paul) [ed.] Hirschberg, D. (David) [joint ed.] Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1967 Availability: Items available for loan: Castorina (1)Call number: 511.3 B812c 1967 IMPA. Place hold Add to cart (remove)
	118.	Modern cryptology: a tutorial/ Gilles Brassard. by Brassard, Gilles, 1955- Series: Lecture notes in computer science ; 325. Publication details: New York: Springer-Verlag, c1988 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	119.	Comparative metric semantics of programming languages: nondeterminism and recursion/ Franck van Breugel. by Breugel, Franck van, 1966- Series: Progress in theoretical computer science Publication details: Boston: Birkhäuser, c1998 Availability: Items available for loan: Castorina (1)Call number: 005.13 B846c 1998 IMPA. Found in Open Library: Place hold Add to cart (remove)
	120.	No cover image available No cover image available No cover image available Computing machines and automatic decisions/ by C.B. Tompkins. by California. University. Los Angeles. Numerical Analysis Research Tompkins, Charles Brown, 1912- Publication details: Los Angeles: Univ. of California, 1956 Availability: Items available for loan: Castorina (1)Call number: 004.015 C153c 1956 IMPA. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 251 results.