Ershov Andrei (48 results)

Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Soft cover. Condition: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book.

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

Hardcover. 280pp, 74 illustrations. Foxed top edge else very good plus condition with text clean and binding sound.

Hardcover. Condition: Very Good+. No Dust Jacket. First Edition. Bound in silver over board with red titles. Crisp clean contents with light shelf and edge wear.

paperback. Condition: 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.

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

Hardcover. Condition: Very Good- with no dust jacket. 280 pp. Index. Diagrams. Spine, corners bumped. Prev owner's name on front pastedown. Focuses on the mathematical abstractions of programs. ; 8vo 8" - 9" tall.

Condition: New.

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

Condition: As New. Unread book in perfect condition.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New. In.

Condition: New. In.

Paperback. Condition: New.

PF. Condition: New.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Condition: New. pp. 296.

Condition: As New. Unread book in perfect condition.

Condition: New. pp. 415.

Condition: Used. pp. 280 1st Edition.

Paperback. Condition: Brand New. reprint edition. 290 pages. 9.25x6.10x0.70 inches. In Stock.

Condition: Used. pp. 280.

Condition: Used. pp. 280.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence of theoretical programming as an independent discipline. The principal goals in this book are to explain the line of thought that was followed in solving these problems, demonstrate the workings of the mathematical way of thinking, carefully analyze the different stages of descriptive analysis and problem formulation, and reveal the aesthetic component in the search for solutions - in other words, to try to turn the reader into a true witness of the process of discovering mathematical results. In the first part of the book the author considers the storage minimization packing, or storage problem schemas. The problem of storage packing is treated as an example that illustrates how to solve an application problem by means of mathematical methods. In the second part the author presents the theory of Yanov program schemas, a classical theory generally recognized as having served as a foundation of the mathematical theory of programming. This is analyzed as a methodological example that illustrates how a fully developed theory can be extended to a new class of phenomena and objects: program schemas and configurations of program schemas.…

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