Published by Berlin ; Heidelberg ; New York [u.a.] : Springer, 1981
ISBN 10: 3540111573 ISBN 13: 9783540111573
Language: English
Seller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Germany
US$ 28.71
Convert currencyQuantity: 1 available
Add to basketCondition: gut. XI, 487 S , Abb., 25 cm, Einband leicht fleckig und berieben, Titelblatt mit Bleistiftmarkierung. Proceedings, Urgench, Uzbek SSR, Sept. 16 - 22, 1979. Sprache: Englisch.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 45.74
Convert currencyQuantity: 10 available
Add to basketPF. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 51.60
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Springer-Verlag, Berlin, 1981
ISBN 10: 3540111573 ISBN 13: 9783540111573
Language: English
Seller: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Germany
First Edition
US$ 38.89
Convert currencyQuantity: 1 available
Add to basketSoftcover. Condition: Good. 1st Edition. xi + 487 p; many Ill. [LECTURE NOTES IN COMPUTER SCIENCE ; 122]. Buch.
Published by Springer 1981, 1981
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
US$ 34.69
Convert currencyQuantity: 1 available
Add to basketSoftcover Sehr gut erhalten.
Published by Springer Berlin Heidelberg, 1981
ISBN 10: 3540111573 ISBN 13: 9783540111573
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 44.79
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Published by Springer: Berlin, 1981, 1981
Seller: Antiquariaat Fenix, Amsterdam, Netherlands
US$ 21.53
Convert currencyQuantity: 1 available
Add to basketCondition: Good. Proceedings Uzbek SSR, sept 1979. Lecture notes in Computer Science 122. Goos & Hartmans eds. Paperback, 487pp. VG condition.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 89.01
Convert currencyQuantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 487 pages. 7.80x5.12x1.00 inches. In Stock.
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1981, 1981
ISBN 10: 3540111573 ISBN 13: 9783540111573
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
US$ 44.79
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.
Seller: BooksByLisa, Highland Park, IL, U.S.A.
Soft cover. Condition: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 116.06
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 135.06
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 175.89
Convert currencyQuantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 243 pages. 9.25x6.10x0.60 inches. In Stock.
Published by Springer Berlin Heidelberg Nov 1981, 1981
ISBN 10: 3540111573 ISBN 13: 9783540111573
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
US$ 44.79
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 504 pp. Englisch.
Published by Springer Berlin Heidelberg, 1981
ISBN 10: 3540111573 ISBN 13: 9783540111573
Language: English
Seller: moluna, Greven, Germany
US$ 42.11
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 log.