Algorithms in Modern Mathematics and Computer Science

Proceedings, Urgench, Uzbek SSR September 16-22, 1979

Häftad, Engelska, 1981

AvA. P. Ershov,D. E. Knuth

499 kr

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

Produktinformation

Utgivningsdatum1981-11-01
Mått216 x 279 x 28 mm
Vikt1 215 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor490
Upplaga1981
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540111573

Tillhör följande kategorier

Programmeringsböcker inom Data och IT

Al-khorezmi his background, his personality his work and his influence.- Algorithms in modern mathematics and computer science.- What are the gains of the theory of algorithms.- On inductive synthesis of programs.- Expanding constructive universes.- The logical approach to programming.- The structural synthesis of programs.- On finding invariant relations of program.- What can we do with problems of exhaustive search?.- The algorithmic complexity of linear algebras.- Algorithms in various contexts.- Role of a notion of algorithm in the arithmetic language semantics.- From logicism to proceduralism (an autobiographical account).- Abstract computability on algebraic structures.- Algorithms and algebra.- On formal transformations of algorithms.- What should we do having proved a decision problem to be unsolvable?.- On the experience of riding two horses in programming.- Church-rosser transformers and decidable propertis of tree processing.- Supplement 1 summaries of oral presentations.- Supplement 2 technical program.- Supplement 3 publications on the symposium.- List of participants.- Supplement 5 photoillustrations.

Du kanske också är intresserad av

Grönsaker A-Ö : recept och bruksanvisning

Paul Svensson

Inbunden

399 kr

Bokrea

Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr

Bokrea

Del 3

Lucia är död

Katarina Wennstam

Inbunden

289 kr

Bokrea

17 juni

Alex Schulman

Inbunden

119 kr329 kr