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

Results
	181.	Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd ed. Publication details: Cambridge [U.K.]; New York: Cambridge University Press, 2004 Availability: Items available for loan: Castorina (1)Call number: 005.131 H979l 2004 IMPA. Found in Open Library: Place hold Add to cart (remove)
	182.	Programming in Lua/ Roberto Ierusalimschy. by Ierusalimschy, Roberto Publication details: [United States]: Lua.org, c2003 Availability: Items available for loan: Castorina (1)Call number: 005.133 I22p 2003 IMPA. Found in Open Library: Place hold Add to cart (remove)
	183.	Programming in Lua/ Roberto Ierusalimschy. by Ierusalimschy, Roberto Edition: 2. ed. Publication details: Rio de Janeiro: Lua.org, 2006 Availability: Items available for loan: Castorina (1)Call number: 005.133 I22p 2006 IMPA. Found in Open Library: Place hold Add to cart (remove)
	184.	Illustrating evolutionary computation with Mathematica/ Christian Jacob ; translated from the German by Christian Jacob. by Jacob, Christian Language: English Original language: German Publication details: San Francisco: Morgan Kaufmann, c2001 Availability: Items available for loan: Castorina (1)Call number: 006.31 J15i 2001 IMPA. Found in Open Library: Place hold Add to cart (remove)
	185.	No cover image available No cover image available No cover image available Sintese de circuitos lógicos combinacionais/ Ricardo Jacobi. by Jacobi, Ricardo Edition: [1st ed.] Publication details: Porto Alegre: UFRGS, 1996 Availability: Items available for loan: Castorina (1)Call number: 004.015 J16s 1996 IMPA. Place hold Add to cart (remove)
	186.	GUI bloopers: don'ts and do's for software developers and Web designers/ Jeff Johnson. by Johnson, Jeff, Ph. D Series: The Morgan Kaufmann series in interactive technologies Publication details: San Francisco: Morgan Kaufmann, c2000 Availability: Items available for loan: Castorina (1)Call number: 005.437 J67g 2000 IMPA. Found in Open Library: Place hold Add to cart (remove)
	187.	Introduction to scientific programming and simulation using R/ Owen Jones, Robert Maillardet, and Andrew Robinson. by Jones, Owen (Owen Dafydd) Maillardet, Robert Robinson, Andrew (Andrew P.) Publication details: Boca Raton: Chapman & Hall/CRC, 2009 Other title: Scientific programming and simulation using R Availability: Items available for loan: Castorina (1)Call number: 005 J78i 2009 IMPA. Found in Open Library: Place hold Add to cart (remove)
	188.	Text and context: document storage and processing/ Susan Jones. by Jones, Susan, 1942- Publication details: London: New York: Springer-Verlag, c1991 Availability: Items available for loan: Castorina (1)Call number: 004 J79t 1991 IMPA. Found in Open Library: Place hold Add to cart (remove)
	189.	Abstraction, specification and implementation techniques, with an application to Garbage collection/ H. B. M. Jonkers. by Jonkers, H. B. M Series: Mathematical Centre tracts ; 166. Publication details: Amsterdam ; Mathematisch Centrum, 1983 Availability: Items available for loan: Castorina (1)Call number: 005.133 J79a 1983 IMPA. Found in Open Library: Place hold Add to cart (remove)
	190.	Post-genome informatics/ Minoru Kanehisa. by Kanehisa, Minoru Publication details: Oxford: New York: Oxford University Press, 2000 Availability: Items available for loan: Castorina (1)Call number: 570.285 K16p 2000 IMPA. Found in Open Library: Place hold Add to cart (remove)
	191.	No cover image available No cover image available No cover image available Analog simulation; solution of field problems/ Walter J. Karplus. by Karplus, Walter J Series: McGraw-Hill series in information processing and computers Publication details: New York: McGraw-Hill, 1958 Availability: Items available for loan: Castorina (1)Call number: 004.619 K18a 1958 IMPA. Found in Open Library: Place hold Add to cart (remove)
	192.	No cover image available No cover image available No cover image available Analog methods: computation and simulation/ Walter J. Karplus and Walter W. Soroka. by Karplus, Walter J Soroka, Walter W [joint author.] Series: McGraw-Hill series in engineering sciences Edition: 2d ed. Publication details: New York: McGraw-Hill, 1959 Availability: Items available for loan: Castorina (1)Call number: 004.619 K18a 1959 IMPA. Found in Open Library: Place hold Add to cart (remove)
	193.	Mathematica as a tool: an introduction with practical examples/ Stephan Kaufmann. by Kaufmann, Stephan, 1951- Language: English Original language: German Publication details: Basel ; Boston: Birkhäuser, c1994 Availability: Items available for loan: Castorina (1)Call number: 510 K21m 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	194.	A crash course in Mathematica/ Stephan Kaufmann. by Kaufmann, Stephan, 1951- Language: English Original language: German Publication details: Basel: Birkhauser Verlag, c1999 Availability: Items available for loan: Castorina (2)Call number: 004 K21c 1999 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	195.	Parallel MATLAB for multicore and multinode computers/ Jeremy Kepner. by Kepner, Jeremy V, 1969- Series: Software, environments, tools Publication details: Philadelphia: Society for Industrial and Applied Mathematics, c2009 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 519.402 K38p 2009 IMPA. Found in Open Library: Place hold Add to cart (remove)
	196.	The C programming language/ Brian W. Kernighan, Dennis M. Ritchie. by Kernighan, Brian W Ritchie, Dennis M, 1941- Edition: 2nd ed. Publication details: Englewood Cliffs, N.J.: Prentice-Hall, c1988 Availability: Items available for loan: Castorina (1)Call number: 005.133 K39c 1988 IMPA . Found in Open Library: Place hold Add to cart (remove)
	197.	The practice of programming/ Brian W. Kernighan, Rob Pike. by Kernighan, Brian W Pike, Rob Series: Addison-Wesley professional computing series Publication details: Reading, Mass.: Addison-Wesley, c1999 Availability: Items available for loan: Castorina (1)Call number: 005.133 K39p 1999 IMPA. Found in Open Library: Place hold Add to cart (remove)
	198.	C: a linguagem de programação padrão ansi/ by Kernighan, Brian W Ritchie, Dennis M, 1941- Edition: 2nd ed. Publication details: Englewood Cliffs, N.J.: Prentice-Hall, 1989 Availability: Items available for loan: IMPATECH (2)Call number: 005.133 K39c 1989 IMPA TECH, ... Found in Open Library: Place hold Add to cart (remove)
	199.	Infinitesimal symmetries: a computational approach/ P. H. M. Kersten. by Kersten, P. H. M Series: CWI tract ; 34. Publication details: [Amsterdam]: Centrum voor Wiskunde en Informatica, c1987 Availability: Items available for loan: Castorina (1)Call number: 515.355 K41i 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)
	200.	Automata theory and its applications/ Bakhadyr Khoussainov, Anil Nerode. by Khoussainov, Bakhadyr, 1961- Nerode, Anil, 1932- Series: Progress in computer science and applied logic ; v. 21 Publication details: Boston: Birkhäuser, c2001 Availability: Items available for loan: Castorina (1)Call number: 511.35 K45a 2001 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 395 results.