Del 122 - Lecture Notes in Computer Science

Algorithms in Modern Mathematics and Computer Science

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

Häftad, Engelska, 1981

Av A. P. Ershov, Donald E. Knuth, D. E. Knuth

519 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

Snön faller tät på Mistletoe Square

Nyhet

Snön faller tät på Mistletoe Square

79 kr125 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Den yttersta hemligheten

Del 6

Den yttersta hemligheten

289 kr329 kr

Vitön : den fristående fortsättningen på Expeditionen

Nyhet

Vitön : den fristående fortsättningen på Expeditionen

399 kr

Art of Computer Programming, Volume 1, Fascicle 1, The

Art of Computer Programming, Volume 1, Fascicle 1, The

Donald Knuth, Donald E. Knuth

259 kr

Selected Papers on Computer Languages

Selected Papers on Computer Languages

Donald E. Knuth

489 kr

Kafé Pumpkin Spice

Nyhet

Del 1

Kafé Pumpkin Spice

79 kr125 kr

Mathematics for the Analysis of Algorithms

Mathematics for the Analysis of Algorithms

D.H. Greene, Donald E. Knuth

389 kr

Digital Typography

Digital Typography

Donald E. Knuth

549 kr

Selected Papers on Discrete Mathematics

Selected Papers on Discrete Mathematics

Donald E. Knuth

1 029 kr