More search options

Results 1 - 25 of 282.

Cover image
Author
  • Dijkstra, Edsger W.
Published
[Eindhoven, Netherlands] : [Technische Hogeschool Eindhoven], 1971.
book
  • Printed resource
Cover image
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
Cover image
Author
  • Knuth, Donald Ervin, 1938-
ISBN
  • 0201896834 (v. 1 : acid-free paper)
  • 9780201896831 (v. 1 : acid-free paper)
  • 0201896842 (v. 2 : acid-free paper)
  • 9780201896848 (v. 2 : acid-free paper)
  • 0201896850 (v. 3 : acid-free paper)
  • 9780201896855 (v. 3 : acid-free paper)
  • 0201853949 (v. 4, fasc. 3 : acid-free paper)
  • 9780201853940 (v. 4, fasc. 3 : acid-free paper)
  • 9780201038040 (v.4A : acid-free paper)
  • 0201038048 (v.4A : acid-free paper)
Published
Upper Saddle River, NJ : Addison-Wesley, c1997- <2011>
book
  • Printed resource
Cover image
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
Cover image
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.
book
  • E-resource
  • Printed resource
Cover image
Author
  • COMPSAC (19th : 1995 : Dallas, Tex.)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, ©1995.
book
  • E-resource
Cover image
Author
  • Thareja, Reema,
ISBN
  • 9780199452057 (pbk.)
Edition
Second edition.
Published
New Delhi : Oxford University Press, 2015.
book
  • Printed resource
Cover image
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.
book
  • Printed resource
Cover image
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.
book
  • E-resource
  • Printed resource
Cover image
Author
  • Pilorge, René.
Edition
[1. éd.].
Published
[Paris] : Delmas, [1969]
All Holding libraries
book
  • Printed resource
Cover image
Author
  • META (Conference) (3rd : 1992 : Uppsala, Sweden)
ISBN
  • 3540562826
  • 0387562826
Published
Berlin ; New York : Springer-Verlag, c1992.
book
  • Printed resource
Cover image
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

Export:

Selection Options