sergey ilya (32 Ergebnisse)

Paperback. Zustand: Good. No Jacket. Shelf and handling wear to cover and binding, with general signs of previous use. Binding and pages are intact. All pages are free from any markings. Creasing visible across covers of paperback. Secure packaging for safe delivery.

Zustand: new.

Paperback. Zustand: Brand New. 306 pages. 9.22x6.14x1.00 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch.

Paperback. Zustand: Brand New. 227 pages. 9.25x6.10x0.55 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Paperback. Zustand: Brand New. 239 pages. 9.25x6.10x0.51 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 252 pages. 8.43x5.85x0.73 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17¿19, 2024.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17-19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logicprogramming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarativeprogramming techniques to artificial intelligence and machine learning.

Zustand: Gut. Zustand: Gut | Seiten: 620 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 620 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Russisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17¿19, 2024. The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.

Paperback. Zustand: Brand New. 236 pages. 9.90x6.90x0.50 inches. In Stock.

Hardcover. Zustand: Brand New. 240 pages. 9.25x6.25x1.00 inches. In Stock.

Hardcover. Zustand: Brand New. 304 pages. 9.25x6.10x0.94 inches. In Stock.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 556 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 556 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machine-checked formal proofs are now reaching an unprecedented scale, comparable to large software projects, which leads to new challenges in proof development and maintenance. Despite its increasing importance, the field of proof engineering is seldom considered in its own right; related theories, techniques, and tools span many fields and venues.QED at Large covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. It emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.This monograph is intended for use by researchers and students who are new to the field. It provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.

Buch. Zustand: Neu. Neuware -Echoing the famous 'The Limits to Growth' report from 1972, this edited volume analyses the changes that the World System has undergone to the present, on the fiftieth anniversary of the original report. During the past fifty years, both the concept and understanding of these limits have significantly changed. This book highlights that the evolution of the World System has approached a new critical milestone, moving into a fundamentally new phase of historical development, when the old economic and social technologies no longer work as efficiently as before or even begin to function counterproductively, which leads the World System into a systemic crisis.The book discusses the transition of human society to a new phase state, the shape of which has not yet been determined. New approaches are needed for both, for the analysis of the global situation, and for forecasts. The book is based on an integrated approach including the world-systems, historical and evolutionaryperspectives, as well as a systematic view of society, in which changes in one subsystem cause transformations in others. Through mathematical modeling, it defines the main vectors of transformations of the World System; makes a detailed forecast of the development of all the main subsystems of the society and the World System, while presenting horizons of changes from short-term to ultra-long-term; and presents different development scenarios as well as recommendations on how to achieve a transition to the most favorable scenario.The book will appeal to members and followers of the Club of Rome, policy-makers, as well as to scholars from various disciplines interested in a better understanding of the World System evolution, global futures, development studies, climate change, and future societies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Echoing the famous 'The Limits to Growth' report from 1972, this edited volume analyses the changes that the World System has undergone to the present, on the fiftieth anniversary of the original report. During the past fifty years, both the concept and understanding of these limits have significantly changed. This book highlights that the evolution of the World System has approached a new critical milestone, moving into a fundamentally new phase of historical development, when the old economic and social technologies no longer work as efficiently as before or even begin to function counterproductively, which leads the World System into a systemic crisis.The book discusses the transition of human society to a new phase state, the shape of which has not yet been determined. New approaches are needed for both, for the analysis of the global situation, and for forecasts. The book is based on an integrated approach including the world-systems, historical and evolutionaryperspectives, as well as a systematic view of society, in which changes in one subsystem cause transformations in others. Through mathematical modeling, it defines the main vectors of transformations of the World System; makes a detailed forecast of the development of all the main subsystems of the society and the World System, while presenting horizons of changes from short-term to ultra-long-term; and presents different development scenarios as well as recommendations on how to achieve a transition to the most favorable scenario.The book will appeal to members and followers of the Club of Rome, policy-makers, as well as to scholars from various disciplines interested in a better understanding of the World System evolution, global futures, development studies, climate change, and future societies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Echoing the famous 'The Limits to Growth' report from 1972, this edited volume analyses the changes that the World System has undergone to the present, on the fiftieth anniversary of the original report. During the past fifty years, both the concept and understanding of these limits have significantly changed. This book highlights that the evolution of the World System has approached a new critical milestone, moving into a fundamentally new phase of historical development, when the old economic and social technologies no longer work as efficiently as before or even begin to function counterproductively, which leads the World System into a systemic crisis.The book discusses the transition of human society to a new phase state, the shape of which has not yet been determined. New approaches are needed for both, for the analysis of the global situation, and for forecasts. The book is based on an integrated approach including the world-systems, historical and evolutionaryperspectives, as well as a systematic view of society, in which changes in one subsystem cause transformations in others. Through mathematical modeling, it defines the main vectors of transformations of the World System; makes a detailed forecast of the development of all the main subsystems of the society and the World System, while presenting horizons of changes from short-term to ultra-long-term; and presents different development scenarios as well as recommendations on how to achieve a transition to the most favorable scenario.The book will appeal to members and followers of the Club of Rome, policy-makers, as well as to scholars from various disciplines interested in a better understanding of the World System evolution, global futures, development studies, climate change, and future societies.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Echoing the famous 'The Limits to Growth' report from 1972, this edited volume analyses the changes that the World System has undergone to the present, on the fiftieth anniversary of the original report. During the past fifty years, both the concept and understanding of these limits have significantly changed. This book highlights that the evolution of the World System has approached a new critical milestone, moving into a fundamentally new phase of historical development, when the old economic and social technologies no longer work as efficiently as before or even begin to function counterproductively, which leads the World System into a systemic crisis.The book discusses the transition of human society to a new phase state, the shape of which has not yet been determined. New approaches are needed for both, for the analysis of the global situation, and for forecasts. The book is based on an integrated approach including the world-systems, historical and evolutionaryperspectives, as well as a systematic view of society, in which changes in one subsystem cause transformations in others. Through mathematical modeling, it defines the main vectors of transformations of the World System; makes a detailed forecast of the development of all the main subsystems of the society and the World System, while presenting horizons of changes from short-term to ultra-long-term; and presents different development scenarios as well as recommendations on how to achieve a transition to the most favorable scenario.The book will appeal to members and followers of the Club of Rome, policy-makers, as well as to scholars from various disciplines interested in a better understanding of the World System evolution, global futures, development studies, climate change, and future societies.