A Relational Theory of Computing

Main
Computers - Computer Science
A Relational Theory of Computing

A Relational Theory of Computing

John G. Sanderson (auth.)

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Categorias:

Computers - Computer Science

Ano:

1980

Edição:

1

Editora:

Springer-Verlag Berlin Heidelberg

Idioma:

english

Páginas:

147

ISBN 10:

3540099875

ISBN 13:

9783540099871

Série:

Lecture Notes in Computer Science 82

Arquivo:

DJVU, 732 KB

IPFS:

,

english, 1980

Este livro não está disponível para download devido à reclamação do detentor dos direitos autorais

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Você pode estar interessado em

Eric S. Roberts — Thinking Recursively

Allen B. Downey, Jeffrey Elkner, Chris Meyers — How to Think Like a Computer Scientist: Learning with Python

— Proceedings of 5th ACM SIGACT-SIGPLAN meeting on programming languages, POPL'78

Various — How to Think Like a Computer Scientist, Learning with Python

Dana S. Scott — Data Types as Lattices

Allen Downey, Jeffrey Elkner, Chris Meyers — How to Think Like a Computer Scientist

John McCarthy — Towards a Mathematical Science of Computation

Manfred von Thun — The Joy Programming Language Collection

（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著 — 计算理论基础可计算性、复杂性和语言英文版第2版

E. Börger — Computability, complexity, logic

L.E. Sanchis — Recursive functionals

Mallozzi J.S., De Lillo N.J. — Computability with PASCAL

Rene Lalement, John Plaice — Computation as logic

Krishnamurthy, Edayathumangalam V — Introductory Theory of Computer Science

E. Boerger — Computability, Complexity, Logic

Marek Karpinski, J. Van Leeuwen — Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Brady J.M. — The theory of computer science: A programming approach

Eric S. Roberts — Thinking Recursively

Dino Mandrioli; Carlo Ghezzi — Theoretical foundations of computer science

Dino Mandrioli, Carlo Ghezzi — Theoretical foundations of computer science

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Graham Hutton — Programming in Haskell

Guy Cousineau, Michel Mauny — The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway — The Functional Approach to Programming

Hutton, Graham — Programming in Haskell

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

Allen B. Downey, Jeffrey Elkner, Chris Meyers — How to Think Like a Computer Scientist - Learning with Python

Ben Weidig — A Functional Approach to Java

Graham Hutton — Programming in Haskell

E. V. Krishnamurthy (auth.) — Introductory Theory of Computer Science

Allen Downey, Jeffrey Elkner, Chris Meyers — Learning with PYTHON: How to Think Like a Computer Scientist

Yinong Chen — Introduction to Programming Languages: Programming in C, C++, Scheme, Prolog, C#, and SOA

Jiří Bečvář (auth.), A. Blikle (eds.) — Mathematical Foundations of Computer Science: 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974

K. R. Apt, J. W. de Bakker (auth.), Antoni Mazurkiewicz (eds.) — Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976

P. van Emde Boas (auth.), J. Winkowski (eds.) — Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978

Frases chave