Del i serien Lecture Notes in Computer Science

International Symposium on Theoretical Programming

Häftad, Engelska, 1974

AvA. Ershov,V.A. Nepomniaschy

509 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1974-05-06
Mått170 x 250 x 23 mm
Vikt633 g
FormatHäftad
SpråkEngelska, Franska
SerieLecture Notes in Computer Science
Antal sidor407
Upplaga1974
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540067207

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

An axiomatic definition of the programming language PASCAL.- The logic of "can do".- Copying in commutation — Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques systémes de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On the average speed of automaton with terminal state.- Logical-termal equivalence of program schemata.- On universal classes of program schemas.- Certain decompositions of Gödel numbering and the semantics of programming languages.- Criteria for the algorithmic completeness of the systems of operations.- Data flow schemas.- Operation patterns.- Looking for an approach to a theory of models for parallel computation.- Configurable computers: A new class of general purpose machines.- A method for determining program data relationships.- Towards automatical construction of parallel programs.- A calculus for the mathematical theory of computation.- Admissibility of fixed-point induction in first-order logic of typed theories.- A formal approximation theory of semantic data types.- Some features of a language for a proof-checking programming system.

Du kanske också är intresserad av

D. W. Scheuermann - Über den Feinbau des Myocards von Rana temporaria (L.) / Ultrastructure of ventricular cardiac muscle of Rana temporaria, Häftad

Über den Feinbau des Myocards von Rana temporaria (L.) / Ultrastructure of ventricular cardiac muscle of Rana temporaria

D. W. Scheuermann

Häftad, 1974

749 kr

P. Schmitz - GI-BIFOA Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung, Häftad

GI-BIFOA Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung

P. Schmitz

Häftad, 1974

239 kr

P. Brandlmeier, P. Brandlmeier - Die Allgemeinpraxis, Häftad

Die Allgemeinpraxis

P. Brandlmeier, P. Brandlmeier

Häftad, 1974

749 kr

A. Ershov, C.H.A. Koster - Methods of Algorithmic Language Implementation, Häftad

Methods of Algorithmic Language Implementation

A. Ershov, C.H.A. Koster

Häftad, 1977

729 kr

Rebecca Yarros - Untitled Empyrean (Not Book Four), Inbunden

Nyhet

Untitled Empyrean (Not Book Four)

Rebecca Yarros

Inbunden, 2026

339 kr

Rebecca Yarros - Ny Empyréan, Häftad

Nyhet

Ny Empyréan

Rebecca Yarros

Häftad, 2026

299 kr

Sarah Easter Collins - Skärvor av en syster, Pocket

4 pocket för 3

Skärvor av en syster

Sarah Easter Collins

Pocket, 2025

129 kr

Alex Michaelides - Den tysta patienten, Pocket

4 pocket för 3

Den tysta patienten

Alex Michaelides

Pocket, 2020

129 kr

Freida McFadden - Hembiträdet, Pocket

Del 1

Hembiträdet

Freida McFadden

Pocket, 2025

79 kr129 kr

Elle Kennedy - Spelet, Pocket

4 pocket för 3

Del 1

Spelet

Elle Kennedy

Pocket, 2024

129 kr