Del i serien Lecture Notes in Computer Science

International Symposium on Theoretical Programming

Häftad, Engelska, 1974

AvA. Ershov,V.A. Nepomniaschy

519 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

759 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

759 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

739 kr

Kollegieblock A4 linjerat svart, Övrigt

Kollegieblock 3 för 2

Kollegieblock A4 linjerat svart

Kollektion Stora A

39 kr

Sara Strömberg - Sot, Pocket

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Rebecca Yarros - Threshing Day - (ej bok fyra i Empyréan-serien), Häftad

Nyhet

Threshing Day - (ej bok fyra i Empyréan-serien)

Rebecca Yarros

Häftad, 2026

299 kr

Kollegieblock A4 rutat svart, Övrigt

Kollegieblock 3 för 2

Kollegieblock A4 rutat svart

Kollektion Stora A

39 kr

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar, Övrigt

3 för 2 Frixion

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar

Pilot

55 kr

Vendela Blomström, Jeanna Wennerberg - Akademiskt läsande och skrivande, Häftad

Akademiskt läsande och skrivande

Vendela Blomström, Jeanna Wennerberg

Häftad, 2026

469 kr