Ershov andrei p (13 Ergebnisse)

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

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

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

Zustand: New. In English.

Zustand: New. In English.

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

Zustand: Used. pp. 280.

Zustand: New.

Zustand: Used. pp. 280.

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