More search options

Results 1 - 25 of 281.

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
  • 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
Cover image
Author
  • International Symposium on Theoretical Programming (1972 : Novosibirsk)
ISBN
  • 9783540380122
  • 3540380124
Published
Berlin ; New York : Springer-Verlag, 1974.
book
  • E-resource
  • Printed resource

Export:

Selection Options