Verwandte Artikel zu Algorithms in Modern Mathematics and Computer Science:...
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science): 122 - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 37,44
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Algorithms in Modern Mathematics and Computer Science:...
Beispielbild für diese ISBN
Algorithms in modern mathematics and computer science. Lecture notes in computer science 122.
Verlag:
Berlin ; Heidelberg ; New York [u.a.] : Springer, 1981
ISBN 10: 3540111573
ISBN 13: 9783540111573
Gebraucht
Softcover
Anbieter: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. B250-028
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms in Modern Mathematics and Computer Science
Verlag:
Springer-Verlag, Berlin, 1981
ISBN 10: 3540111573
ISBN 13: 9783540111573
Gebraucht
Softcover
Erstausgabe
Anbieter: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Good. 1st Edition. xi + 487 p; many Ill. [LECTURE NOTES IN COMPUTER SCIENCE ; 122]. Buch. Artikel-Nr. 012980-122
Anzahl: 1 verfügbar
Foto des Verkäufers
Algorithms in Modern Mathematics and Computer Science : Proceedings, Urgench, Uzbek SSR September 16-22, 1979
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9783540111573
Anzahl: 1 verfügbar
Foto des Verkäufers
Algorithms in Modern Mathematics and Computer Science
ISBN 10: 3540111573
ISBN 13: 9783540111573
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9783540111573
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science, 122)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540111573_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 487 pages. 7.80x5.12x1.00 inches. In Stock. Artikel-Nr. x-3540111573
Anzahl: 2 verfügbar