Ershov andrei p (39 resultados)

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

Hardcover. Condición: 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. Condición: 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.

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

Hardcover. Condición: 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.

Condición: New.

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

Condición: As New. Unread book in perfect condition.

Condición: 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.

Paperback. Condición: New.

PF. Condición: New.

Condición: New.

Condición: New.

Condición: New. In English.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Condición: New. pp. 296.

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

Condición: Used. pp. 280 1st Edition.

Condición: New. pp. 415.

Taschenbuch. Condición: 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. Condición: 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. …

Condición: Used. pp. 280.

Condición: New.

Condición: Used. pp. 280.

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

Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 296 pp. Englisch.…