Krzysztof R. Apt – författare
Visar alla böcker från författaren Krzysztof R. Apt. Handla med fri frakt och snabb leverans.
29 produkter
Logic Programming Languages
Constraints, Functions, and Objects
Av Krzysztof R. Apt, J. W. de Bakker m. fl.
Häftad, 1993
557 kr
Lägg i varukorg
Meta-Logics and Logic Programming
Av Krzysztof R. Apt, Franco Turini
Häftad, 2003
793 kr
Lägg i varukorg
Lectures in Game Theory for Computer Scientists
Av Krzysztof R. Apt, Erich Grädel
Inbunden, 2011
1660 kr
Lägg i varukorg
Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This …
Constraint Logic Programming using Eclipse
Av Krzysztof R. Apt, Mark Wallace
Inbunden, 2006
5,0 utav 5 stjärnor. Totalt antal röster: (1)
1286 kr
Lägg i varukorg
Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software …
New Perspectives on Games and Interaction
Av Krzysztof R. Apt, Robert Van Rooij
E-bok, 2025
27 kr
Lägg i varukorg
New Perspectives in Book History. Contributions from the Low Countries' is published on the occasion of the fourteenth annual conference of the Society for the History of Authorship, Reading and Publishing (SHARP) in The Hague and Leiden, July 2006. SHARP is the leading international scholarly …
New Perspectives on Games and Interaction
Av Krzysztof R. Apt, Robert Van Rooij
E-bok, 2025
1126 kr
Lägg i varukorg
New Perspectives in Book History. Contributions from the Low Countries'' is published on the occasion of the fourteenth annual conference of the Society for the History of Authorship, Reading and Publishing (SHARP) in The Hague and Leiden, July 2006. SHARP is the leading international scholarly …
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer m. fl.
Häftad, 2012
905 kr
Lägg i varukorg
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming …
Edsger Wybe Dijkstra
His Life, Work, and Legacy
Av Krzysztof R. Apt, Tony Hoare m. fl.
Häftad, 2022
1051 kr
Lägg i varukorg
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as …
Edsger Wybe Dijkstra
His Life, Work, and Legacy
Av Tony Hoare, Krzysztof R. Apt
E-bok, 2022
954 kr
Lägg i varukorg
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing . Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as …
Edsger Wybe Dijkstra
His Life, Work, and Legacy
Av Krzysztof R. Apt, Tony Hoare m. fl.
Inbunden, 2022
1515 kr
Lägg i varukorg
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as …
Edsger Wybe Dijkstra
His Life, Work, and Legacy
Av Tony Hoare, Krzysztof R. Apt
E-bok, 2022
994 kr
Lägg i varukorg
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing . Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as …
Verification of Sequential and Concurrent Programs
Av Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok, 2013
1174 kr
Lägg i varukorg
Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook …
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Ernst-Rüdiger Olderog
2012
686 kr
Lägg i varukorg
Verification of Sequential and Concurrent Programs
Av Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok, 2013
1183 kr
Lägg i varukorg
This book provides a structured introduction to the verification of sequen tial and concurrent programs. It thus belongs to the area of programming languages but at the same time it is firmly based on mathematical logic. In logic one usually studies fixed syntactic or semantic objects. This is not …
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer m. fl.
Inbunden, 2009
1128 kr
Lägg i varukorg
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming …
Verification of Sequential and Concurrent Programs
Av Ernst-Rudiger Olderog, Frank S. de Boer m. fl.
E-bok, 2009
1175 kr
Lägg i varukorg
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming …
Recent Advances in Constraints
Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
Av Krzysztof R. Apt, Francois Fages m. fl.
Häftad, 2004
567 kr
Lägg i varukorg
Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research …
Recent Advances in Constraints
Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
Av Josef Vancza, Peter Szeredi m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research …
New Trends in Constraints
Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
Av Francesca Rossi, Eric Monfroy m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully …
Programmverifikation
Sequentielle, parallele und verteilte Programme
Av Krzysztof R. Apt, Ernst-Rüdiger Olderog
Häftad, 1994
312 kr
Lägg i varukorg
New Trends in Constraints
Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
Av Krzysztof R. Apt, Antonis Kakas m. fl.
Häftad, 2000
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully …
Programmverifikation
Sequentielle, parallele und verteilte Programme
Av Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok, 2013
326 kr
Lägg i varukorg
Logic Programming Paradigm
A 25-Year Perspective
Av David S. Warren, Mirek Truszczynski m. fl.
E-bok, 2012
1502 kr
Lägg i varukorg
Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. …
Logic Programming Paradigm
A 25-Year Perspective
Av Krzysztof R. Apt, Victor W. Marek m. fl.
Häftad, 2011
1128 kr
Lägg i varukorg
Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book deal with both theoretical and practical issues. …
Logics and Models of Concurrent Systems
E-bok, 2013
1502 kr
Lägg i varukorg
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent …
Logics and Models of Concurrent Systems
Häftad, 2011
1128 kr
Lägg i varukorg
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent …
BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A
Inbunden, 2024
1019 kr
Lägg i varukorg
This book offers a short and accessible account of the history of mathematics, written for the intelligent layman to gain a better appreciation of its beauty, relevance, and place in history. It traces the development of the subject throughout the centuries, starting with the so-called Lebombo …
BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A
Häftad, 2024
585 kr
Lägg i varukorg
This book offers a short and accessible account of the history of mathematics, written for the intelligent layman to gain a better appreciation of its beauty, relevance, and place in history. It traces the development of the subject throughout the centuries, starting with the so-called Lebombo …
