Results of search for 'ccl=su:"Computer programs"'

Results
	41.	No cover image available No cover image available No cover image available Model construction for hybrid implicit specifications/ by Ole Hogh Jensen, Christian Jeppesen, Jarl Tuxen Lang. by Jensen, Ole H Jeppesen, Christian Lang, Jarl Tuxen Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 94-2012. Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994] Dissertation note: Thesis (M.S.)--Aalborg University, 1994. Availability: Items available for loan: Castorina (1). Place hold Add to cart (remove)
	42.	The TeXbook/ Donald E. Knuth ; illustrations by Duane Bibby. by Knuth, Donald Ervin, 1938- Publication details: Reading, Mass.: Addison-Wesley, c1984 Availability: Items available for loan: Castorina (1)Call number: 005.133 K74t 1984 IMPA. Found in Open Library: Place hold Add to cart (remove)
	43.	TeX: the program/ Donald E. Knuth ; illustrations by Duane Bibby. by Knuth, Donald Ervin, 1938- Series: Knuth, Donald Ervin ; B.Computers & typesetting Publication details: Boston: Addison-Wesley, 1995 Availability: Items available for loan: Castorina (1)Call number: 005.133 K74t 1995 IMPA. Found in Open Library: Place hold Add to cart (remove)
	44.	The TeXbook/ Donald E. Knuth ; illustrations by Duane Bibby. by Knuth, Donald Ervin, 1938- Series: Knuth, Donald Ervin ; A.Computers & typesetting Publication details: Boston: Addison-Wesley, 1996 Availability: Items available for loan: Castorina (1)Call number: 005.133 K74t 1996 IMPA. Found in Open Library: Place hold Add to cart (remove)
	45.	No cover image available No cover image available No cover image available Differential and difference equations through computer experiments: with diskette containing-phaser : an animator/simulator for dynamical systems for IBM personal computers/ Hüseyin Kocak. by Koçak, Hüseyin Publication details: New York: Springer-Verlag, c1986 Availability: Items available for loan: Castorina (1)Call number: 518 K76d 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	46.	Handbook of typography for the mathematical sciences/ Steven G. Krantz. by Krantz, Steven George, 1951 Publication details: Boca Raton: Chapman & Hall/CRC, c2001 Availability: Items available for reference: Castorina: Not For Loan (1). Found in Open Library: Add to cart (remove)
	47.	Programming for computations - MATLAB/Octave: a gentle introduction to numerical simulations with MATLAB/Octave/ Svein Linge, Hans Petter Langtangen. by Linge, Svein [author.] Langtangen, Hans Petter, 1962- Series: Texts in computational science and engineering ; 14. Publisher: Switzerland: Springer, 2016 Online access: 1850-9999 Availability: Items available for loan: Castorina (1)Call number: 004 L755p 2016 IMPA. Found in Open Library: Place hold Add to cart (remove)
	48.	No cover image available No cover image available No cover image available On the synthesis of reliable programs/ by Carlos José Pereira de Lucena. by Lucena, Carlos José Pereira de, 1943- Series: Computer languages group Publication details: 1975 Dissertation note: Thesis (Ph. D.)--UCLA--Computer Science. Availability: Items available for loan: Castorina (1)Call number: 005 L935s 1975 IMPA. Place hold Add to cart (remove)
	49.	Genetic algorithms + data structures = evolution programs/ Zbigniew Michalewicz. by Michalewicz, Zbigniew Edition: 2nd, extended ed. Publication details: Berlin: New York: Springer-Verlag, c1994 Availability: Items available for loan: Castorina (1)Call number: 005.1 M621g 1994 IMPA. Found in Open Library: Place hold Add to cart (remove)
	50.	Creating weaponry and accessories in 3D/ R. Shamms Mortier. by Mortier, R. Shamms Publication details: San Diego: Morgan Kaufmann, 2001 Availability: Items available for loan: Castorina (2)Call number: 006.696 M888c 2001 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	51.	The art of differentiating computer programs: an introduction to algorithmic differentiation/ Uwe Naumann. by Naumann, Uwe, 1969- Series: Software, environments, tools Publication details: Philadelphia: Society for Industrial and Applied Mathematics, c2011 Online access: Table of contents only Availability: Items available for loan: Castorina (1)Call number: 003.3 N311a 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)
	52.	No cover image available No cover image available No cover image available SPSS: statistical package for the social sciences/ Norman Nie, Dale H. Bent and C. Hadlai Hull. by Nie, Norman H Bent, D. H [joint author.] Hull, C. Hadlai [joint author.] Publication details: New York: McGraw-Hill, [1970] Availability: Items available for loan: Castorina (1)Call number: 519 N665s 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	53.	Combinatorial algorithms/ Albert Nijenhuis and Herbert S. Wilf. by Nijenhuis, Albert Wilf, Herbert S, 1931- Series: Computer science and applied mathematics Publication details: New York: Academic Press, 1975 Availability: Items available for loan: Castorina (1)Call number: 511.6 N691c 1975 IMPA. Found in Open Library: Place hold Add to cart (remove)
	54.	Selected topics in geometry with classical vs. computer proving/ Pavel Pech. by Pech, Pavel Publication details: Hackensack, NJ: World Scientific, c2007 Availability: Items available for loan: Castorina (1)Call number: 516 P365s 2007 IMPA. Found in Open Library: Place hold Add to cart (remove)
	55.	The NAG library: a beginner's guide/ Jen Phillips. by Phillips, Jen, 1938- Publication details: Oxford New York: Clarendon Press, Oxford University Press, 1986 Availability: Items available for loan: Castorina (1)Call number: 005.133 P558n 1986 IMPA. Found in Open Library: Place hold Add to cart (remove)
	56.	Guidance for the verification and validation of neural networks / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah. by Pullum, Laura L [author.] Taylor, Brian J Darrah, Majorie A IEEE Xplore (Online Service) [distributor.] Wiley [publisher.] Series: Emerging technologies Material type: Text; Format: available online Publisher: Hoboken, New Jersey : IEEE Computer Society, c2007Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2015] Online access: Abstract with links to resource Availability: No items available. Found in Open Library: Add to cart (remove)
	57.	No cover image available No cover image available No cover image available Formula manipulation in ALGOL 60/ by R.P. van de Riet. by Riet, R. P. van de Mathematisch Centrum (Amsterdam, Netherlands) Series: Mathematical Centre tracts ; 17 Edition: 2nd ed. Publication details: Amsterdam: Mathematisch Centrum, 1970- Availability: Items available for loan: Castorina (1)Call number: 005.133 R563f 1970 IMPA. Place hold Add to cart (remove)
	58.	No cover image available No cover image available No cover image available BASIC scientific subroutines/ by F. R. Ruckdeschel. by Ruckdeschel, F. R Publication details: Peterborough, N.H.: BYTE/McGraw-Hill, c1981 Availability: Items available for loan: Castorina (2)Call number: 005.1 R911b 1981 IMPA, ... Found in Open Library: Place hold Add to cart (remove)
	59.	Design of multithreaded software : the entity-life modeling approach / by Bo Sand�en. by Sand�en, Bo [author.] IEEE Xplore (Online Service) [distributor.] Wiley InterScience (Online service) [publisher.] Material type: Text; Format: available online Publisher: Oxford : Wiley-Blackwell, 2011Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2011] Online access: Abstract with links to resource Availability: No items available. Found in Open Library: Add to cart (remove)
	60.	Introduction to multidimensional scaling: theory, methods, and applications/ Susan S. Schiffman, M. Lance Reynolds, Forrest W. Young ; with contributions by J. Douglas Carroll ... [et al.] ; with a foreword by Joseph B. Kruskal. by Schiffman, Susan S Reynolds, M. Lance Young, Forrest W Publication details: New York: Academic Press, 1981 Availability: Items available for loan: Castorina (1)Call number: 005.133 S333i 1981 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 70 results.