Ershov a p (33 risultati)

Condizione: 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.

Broschiert. Condizione: Gut. VIII, 351 Seiten: graph. Darst. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 560. …

paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Condizione: Good. Proceedings Uzbek SSR, sept 1979. Lecture notes in Computer Science 122. Goos & Hartmans eds. Paperback, 487pp. VG condition.

Condizione: New.

Paperback. Condizione: New.

Condizione: New. In English.

Softcover. Condizione: Good. 1st Edition. xi + 487 p; many Ill. [LECTURE NOTES IN COMPUTER SCIENCE ; 122]. Buch.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In English.

PF. Condizione: New.

Condizione: New.

Condizione: New.

Taschenbuch. Condizione: 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. …

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 415.

Paperback. Condizione: Brand New. 1st edition. 487 pages. 7.80x5.12x1.00 inches. In Stock.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies. …

Paperback. Condizione: Brand New. revised edition. 432 pages. 9.25x6.10x0.98 inches. In Stock.

Taschenbuch. Condizione: Neu. Perspectives of System Informatics | 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers | Andrei Voronkov | Taschenbuch | xiii | Englisch | 2015 | Springer | EAN 9783662468227 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

paperback. Condizione: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

127 Seiten mit zahlreichen farbigen Abbildungen auf 6 Tafeln. Fotokopie des russischen Originaltexts mit Eintrag des Vorbesitzers "übersetzter Text 1251" in der Titelei. Beigelegt Fotokopie der Übersetzung ins Deutsche von C. Crüger aus "Stettiner Entomologische Zeitung 35 (1874), S.386-417". Gutes Exemplar mit nur leichten Gebrauchsspuren. Textsauber und aus einem Nichtraucherhaushalt. // Attention: photocopy of the Russian original text! Private hardcover, with numerous colored illustrations on 6 plates. Photocopy of the original with the previous owner's entry "translated text 1251" in the title page. Added photocopy of the translation into German by C. Crüger from "Stettiner Entomologe Zeitung 35 (1874), pp.386-417". Clean book in good condition. Book from a non smoking environment. ru Etwas größerer privater Leinenband.…

Hardcover. Condizione: Used - Very Good. No Jacket. This is a vintage copy of a famous Russian Fairy Tale orginially done in paperback then bound into this hardcover. Transliterated title is Konyok-Gorbunok. Illustrated by A. Bychkova. 8.75x7.25 hardcover dimensions. It may have been published around 1925. Contact us for more detail. Written in Russian Cyrillic.…

Taschenbuch. Condizione: 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.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies. 432 pp. Englisch.…

Condizione: 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.…

Condizione: New. Print on Demand pp. 415.

Condizione: new. Questo è un articolo print on demand.

Condizione: New. PRINT ON DEMAND pp. 415.