QR-Code

The theory of computability : Programs, machines, effectiveness and feasibility /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sommerhalder, Rudolph
Weitere Verfasser:	Westrhenen, S. Christian van
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Wokingham : Addison-Wesley Publishing, 1988
Ausgabe:	Printing.
ISBN:	0201142147
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Programs, machines, and computation: An íntroduction to the theory of computing /
von: Clark, Keith L., et al.
Veröffentlicht: (1976)

Introduction to computer theory /
von: Cohen, Daniel I. A.
Veröffentlicht: (1986)

Group Theory and Computation
Veröffentlicht: (2018)

Graph theory and computing /
Veröffentlicht: (1972)

Mathematical theory of computation /
von: Manna, Zohar
Veröffentlicht: (1974)

Bibliographic control of computer files. The feasibility of a union catalogue of computer files /
von: Taylor, Marcia
Veröffentlicht: (1990)

ACM transactions on computation theory

Computational theory of iterative methods /
Veröffentlicht: (2007)

Computer arithmetic in theory and practice /
von: Kulisch, Ulrich W.
Veröffentlicht: (1981)

Introduction to probability theory with computing /
von: Snell, J. Laurie (James Laurie), 1925-
Veröffentlicht: (1975)

Generalized Inverses: Theory and Computations
von: Wang, Guorong
Veröffentlicht: (2018)

A resolution method for some systems of modal logic /
von: Sommerhalder, Rudolf
Veröffentlicht: (1992)

Programs and machines : an introduction to the theory of computation /
von: Bird, Richard
Veröffentlicht: (1976)

Computer graphics techniques. Theory and practice /
von: Bresenham, Jack E.
Veröffentlicht: (1990)

COMPUTATIONAL AND COMBINATORIAL METHODS IN SYSTEMS THEORY /
von: Bhattacharyya, S. P.
Veröffentlicht: (1986)

Introduction to automata theory, languages, and computation /
von: Hopcroft, John E.
Veröffentlicht: (1979)

COMPUTER CONTROLLED SYSTEMS. THEORY AND DESIGN /
von: Åström, Karl J. (Karl Johan), 1934-
Veröffentlicht: (1984)

Essentials of computational chemistry. Theories and models /
von: Cramer, Christopher J.
Veröffentlicht: (2004)

Category theory applied to computation and control /
Veröffentlicht: (1975)

Computer Science and Engineering-Theory and Applications
Veröffentlicht: (2018)

Theory of machines and mechanisms /
von: Shigley, Joseph Edward, et al.
Veröffentlicht: (1980)

The computer an everyday machine.
Veröffentlicht: (1977)

Foundations of computation theory : Proceedings of the 1983 internat. FCT-conf., Borgholm, Sweden, August 21 - 27, 1983 /
von: Abramsky, Samson
Veröffentlicht: (1983)

Category theory and computer programming. Tutorial and workshop : Proceedings, Guilford, U. K., Sept. 16 - 20, 1985 /
von: Pitt, David
Veröffentlicht: (1986)

Soft Computing: Theories and Applications Proceedings of SoCTA 2016, Volume 1 /
Veröffentlicht: (2018)

Soft Computing: Theories and Applications Proceedings of SoCTA 2016, Volume 2 /
Veröffentlicht: (2018)

OSCILLATION THEORY, COMPUTATION, AND METHODS OF COMPENSATED COMPACTNESS /
von: Chacon, T.
Veröffentlicht: (1986)

Computer-aided molecular design. Theory and applications /
von: Doucet, Jean-Pierre
Veröffentlicht: (1996)

Non-clasical logics, model theory and computability.
Veröffentlicht: (1977)

Symposium on theory of computing : STOC'15 ; proceedings of the 47th ACM syposium, Portland, OR, USA, June 14-17, 2015 /
Veröffentlicht: (2015)

Symposium on theory of computing : STOC'10, proceedings of the 2010 ACM international symposium, Cambridge, MA, USA, June 5-8, 2010 /
von: Kannan, Ravindran
Veröffentlicht: (2010)

Computer aided machine design /
von: Dimarogonas, Andrew D.
Veröffentlicht: (1989)

Computer numerical control for machining /
von: Lynch, Mike
Veröffentlicht: (1992)

Symposium on theory of computing : STOC ́11, proceedings of the 43rd ACM symposium, San Jose, California, USA, June 6 - 8, 2011 /
Veröffentlicht: (2011)

Encyclopedia of computer science and technology. Vol. 13. Reliability theory to USSR, computing in /
von: Mazumdar, M.
Veröffentlicht: (1979)

Encyclopedia of computer science and technology. Vol. 13. Reliability theory to USSR, computing in /
von: Mazumdar, M.
Veröffentlicht: (1981)

Introduction to the theory of the raman effect /
von: Konigstein, J. A.
Veröffentlicht: (1972)

Understanding the IBM 360 and 370 computers with machine language programming /
von: Batten, William T.
Veröffentlicht: (1974)

Symposium on theory of computing conference : STOC'12, proceedings, New York, NY, USA, May 19-22, 2012 /
Veröffentlicht: (2012)

Computer networks and systems. Queueing theory and performance evaluation /
von: Robertazzi, Thomas G.
Veröffentlicht: (1994)