A short introduction to the art of programming / by Edsger W. Dijkstra.
Author
- Dijkstra, Edsger W.
Published
[Eindhoven, Netherlands] : [Technische Hogeschool Eindhoven], 1971.
All Holding libraries
book
- Printed resource
Principles of dynamic programming. Pt. 1, Basic analytic and computational methods / Robert Edward Larson and John L. Casti.
Author
- Larson, Robert Edward.
Published
New York, [1978].
book
- Printed resource
Construction et vérification de programmes / Roland C. Backhouse ; traduit par rené Quiniou
Author
- Backhouse, Roland C., 1948-
ISBN
- 2225816603
Published
Paris : Masson ; London : Prentice Hall, 1989.
All Holding libraries
book
- Printed resource
All Holding libraries
book
- Printed resource
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22.3.1974 Hrsg. im Auftrag der GI und der NTG von H.-O. Leilich.
Author
- GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen (1974 : Braunschweig, Germany)
ISBN
- 9783540379362
- 3540379363
Published
Berlin, New York, Springer, 1974.
book
- E-resource
- Printed resource
Programming and coding digital computers / Philip M. Sherman.
Author
- Sherman, Philip Martin.
Published
New York ; London : Wiley, 1963.
All Holding libraries
book
- Printed resource
The functional approach to programming / Guy Cousineau and Michel Mauny.
Author
- Cousineau, Guy.
ISBN
- 0521571839 (hardback)
- 0521576814 (paperback)
Edition
English ed.
Published
Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1998.
All Holding libraries
book
- E-resource
- Printed resource
Proceedings : the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95) : August 9-11, 1995, Dallas, Texas / sponsored by the IEEE Computer Society.
Author
- COMPSAC (19th : 1995 : Dallas, Tex.)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, ©1995.
book
- E-resource
Machine scheduling problems : classification, complexity and computations / by A.H.G. Rinnooy Kan.
Author
- Rinnooy Kan, Alexander H G.
ISBN
- 9024718481
Published
The Hague : M. Nijhoff, 1976.
All Holding libraries
book
- Printed resource
Proceedings : the Twenty-Third Annual International Computer Software and Applications Conference, October 27-29, 1999, Phoenix, Arizona / sponsored by IEEE Computer Society.
Author
- COMPSAC (23rd : 1999 : Phoenix, Ariz.)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, ©1999.
book
- E-resource
A primer of programming for digital computers / Marshal H. Wrubel.
Author
- Wrubel, Marshal H.
Published
New York ; London : McGraw-Hill, 1959.
book
- Printed resource
Introduction to C programming / by Reema Thareja.
Author
- Thareja, Reema,
ISBN
- 9780199452057 (pbk.)
Edition
Second edition.
Published
New Delhi : Oxford University Press, 2015.
book
- Printed resource
An introduction to electronic computers / [by] Gordon B. Davis.
Author
- Davis, Gordon B. (Gordon Bitter)
Published
New York : McGraw-Hill, [1965]
book
- Printed resource
Designing and programming personal expert systems / [by] Carl Townsend and Dennis Feucht.
Author
- Townsend, Carl, 1938-
Published
Blue Ridge Summit, Pa : Tab Books, 1986.
book
- Printed resource
Electronic computers : fundamentals, systems, and applications / Edited by Paul von Handel ; with the cooperation of Hans W. Gschwind, Martin G. Jaenke, and Robert G, Tantzen.
Published
Vienna : Springer, 1961.
All Holding libraries
book
- Printed resource
Genetic programming III : Darwinian intervention and problem solving / John R. Koza ... [et al.].
ISBN
- 1558605436
Published
San Francisco, Calif. : Morgan Kaufmann, 1999.
All Holding libraries
book
- Printed resource
First-order programming theories / Tamás Gergely, László Úry.
Author
- Gergely, T. (Tamás)
ISBN
- 9780387299860
- 0387299866
Published
Berlin ; New York : Springer-Verlag, c1991.
All Holding libraries
book
- E-resource
- Printed resource
Author
- Pilorge, René.
Edition
[1. éd.].
Published
[Paris] : Delmas, [1969]
book
- Printed resource
Programming the IBM 1620 : the hands-on approach / [by] Eric A. Weiss.
Author
- Weiss, Eric A.
Published
New York : McGraw-Hill, [1965]
book
- Printed resource
Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.).
Author
- META (Conference) (3rd : 1992 : Uppsala, Sweden)
ISBN
- 3540562826
- 0387562826
Published
Berlin ; New York : Springer-Verlag, c1992.
book
- Printed resource
Author
- Baase, Sara.
ISBN
- 0201060353
Edition
2nd ed.
Published
Reading, Mass. : Addison-Wesley Pub. Co., c1988.
All Holding libraries
book
- Printed resource
Advances in genetic programming. Vol. 2 / edited by Peter J. Angeline and Kenneth E. Kinnear, Jr.
ISBN
- 9780262290791 (electronic bk.)
- 0262290790 (electronic bk.)
Published
Cambridge, Mass. ; London : MIT Press, c1996.
All Holding libraries
article
- E-resource
- Printed resource
Computer organization and programming / [by] C. William Gear.
Author
- Gear, C. William (Charles William), 1935-
Published
New York : McGraw-Hill, 1969.
book
- Printed resource
Elements of computer science / [by] Glyn Emery with additional material by David Bale.
Author
- Emery, Glyn.
ISBN
- 0273002465 (Pbk)
Published
London : Pitman, 1977.
book
- Printed resource
International Symposium on Theoretical Programming [Proceedings held on August 7-11, 1972] / edited by Andrei Ershov and Valery A. Nepomniaschy.
Author
- International Symposium on Theoretical Programming (1972 : Novosibirsk)
ISBN
- 9783540380122
- 3540380124
Published
Berlin ; New York : Springer-Verlag, 1974.
book
- E-resource
- Printed resource