Ershov a (34 Ergebnisse)

Zustand: Good. 407 pp., paperback, ex library, spine worn else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: Good. Taping to the spine of the book. Corners are taped also. Inscription to the inside cover. Taping to the cover/page binding also. Fine to read.

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.

Broschiert. Zustand: 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.…

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Zustand: Good. Lecture Notes In Computer Science, 5; 6.1 X 0.96 X 9.25 inches; 407 pages; Ex-Library copy with usual identifiers. Light wear on cover edges and on the head of the spine. Minor fading and rubbing on the covers. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated.…

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

Zustand: New. In English.

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

Paperback. Zustand: Brand New. 57 pages. 8.25x5.50x0.15 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - An axiomatic definition of the programming language PASCAL.- The logic of 'can do'.- Copying in commutation - Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques systémes de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On the average speed of automaton with terminal state.- Logical-termal equivalence of program schemata.- On universal classes of program schemas.- Certain decompositions of Gödel numbering and the semantics of programming languages.- Criteria for the algorithmic completeness of the systems of operations.- Data flow schemas.- Operation patterns.- Looking for an approach to a theory of models for parallel computation.- Configurable computers: A new class of general purpose machines.- A method for determining program data relationships.- Towards automatical construction of parallel programs.- A calculus for the mathematical theory of computation.- Admissibility of fixed-point induction in first-order logic of typed theories.- A formal approximation theory of semantic data types.- Some features of a language for a proof-checking programming system.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

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

Zustand: new. Pages: 211 Language: Russian. Dannaja kniga posvjaschena osobennostjam vzimodejstvija ultrazvuka s biologicheskimi obektami, issledovaniju mekhanizmov biologicheskogo i lechebnogo dejstvija ultrazvuka, metodam ultrazvukovoj diagnostiki. Ona pomozhet studentam osvoit teoreticheskie i prakticheskie voprosy primenenija ultrazvuka v khirurgii, biotekhnologii i farmatsii, izuchit osnovy ultrazvukovoj stimuljatsii i terapii. Izdanie snabzheno illjustrativnym materialom, tablitsami i grafikami. Sootvetstvuet aktualnym trebovanijam Federalnogo gosudarstvennogo obrazovatelnogo standarta srednego professionalnogo obrazovanija i professionalnym trebovanijam. Dlja studentov obrazovatelnykh uchrezhdenij srednego professionalnogo obrazovanija. 9785534129571.…

25 cm. original cloth. x,302 pp. diagrams, tables. references. index. "Studies in Organic Chemistry". -(slightly rubbed, otherwise (very) good). 730g.

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

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

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Problem-oriented languages and DEPOT implementing system.- Semantic attributes processing in the system DELTA.- Usability and portability of a compiler writing system.- Semantic unification in a multi-language compiler.- Procedure implementation in the multi-language translator.- Program structure analysis in a global optimization.- Metalanguage for formal definition of semantics of programming languages.- Some principles of compiler constructions.- Almost top-down analysis for generalized LR(K) grammars.- An approach to the automation of constructing Multilanguage Translating Systems.- Metaalgorithmic system of general application (MASON).- A simple translation automaton allowing the generation of optimized code.- Some automatic transformations of CF-grammars.- Several aspects of theory of parametric models of languages and parallel syntactic analysis.- A sublanguage of ALGOL 68 and its implementation.- A programming system with automatic program synthesis.- Experimental implementation of SETL.- MIDL: A hybrid language of medium level.- The data structures representation in machine oriented higher level language.- On the macro extension of programming languages.- Pragmatics in a compiler production system.- CDL - A compiler implementation language. …

Softcover. Zustand: Sehr gut. Dedicated to the Memory of A.I. Mal'cev. Providence, AMS (1992). gr.8°. XXVI,712; XXVI,666; XXVI,704 p. Pbck. (corners slightly bumped).- Contemporary Mathematics, 131.

Hardcover. Zustand: Very Good+. No Jacket. 1st Edition in English. 358 pages in very good condition. Translated from Russian by G. G. Egorov. Pages are clean and unmarked, with monochrome illustrations and diagrams throughout. Pen inscription by previous owner on front and back of ffep. Periodic table of Elements printed on front end-paper. Corners are lightly bumped, front and back covers have some small subtle scuffs and stains. Spine is slightly stained. VG+/ - -. Book.…

Zustand: New.

Hardcover/Hardback. Zustand: Good. Izlozheny osnovnye polozheniya mekhaniki sploshnoj sredy i zadachi na ikh baze, vstrechayushchiesya v gornom dele. Rassmotreny fiziko-mekhanicheskie protsessy gornykh massivov, privedeny kharakternye zadachi o napryazhenno-deformirovannom sostoyanii massiva, o voprosakh gidrodinamiki podzemnykh vod i teploprovodnosti. Reshenie zadachi opredeleniya napryazhenno-deformirovannogo sostoyaniya massiva pri provedenii v nem vyrabotok, v tom chisle metodom zamorazhivaniya.…

Zustand: New. With contributions by numerous expertsProblem-oriented languages and DEPOT implementing system.- Semantic attributes processing in the system DELTA.- Usability and portability of a compiler writing system.- Semantic unification in a multi-language comp.

Taschenbuch. Zustand: 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. Zustand: Brand New. revised edition. 432 pages. 9.25x6.10x0.98 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 540 pages. 9.50x6.25x1.25 inches. In Stock.

Zustand: New. 1996. Hardcover. . . . . . Books ship from the US and Ireland.