Filtrera

Språk
  • (25)
  • (2)
Ämne
  • (26)
  • (3)
  • (1)
  • (1)
  • (8)
  • (1)
  • (2)
Format
  • (8)
  • (11)
  • (8)
Inspiration
  • (1)
Pris
  • (4)
Leveranstid
  • (11)

Böcker av Krzysztof Apt

Sökningen gav 27 träffar.

Sortering:
  1. Logic Programming Languages

    av Krzysztof R Apt, J W De Bakker, J M Rutten

    Häftad, Engelska, 1993-03-01, ISBN 9780262511674

    This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valu...

  2. Meta-Logics and Logic Programming

    av Krzysztof R Apt, Franco Turini

    Häftad, Engelska, 2003-03-01, ISBN 9780262511681

    Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programm...

  3. Verification of Sequential and Concurrent Programs

    av Krzysztof R Apt, Ernst-Rudiger Olderog

    Inbunden, Engelska, 1997-05-01, ISBN 9780387948966

    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 th...

  4. Principles of Constraint Programming E-bok

    av Krzysztof Apt

    E-bok, Engelska, 2003-08-28, ISBN 9780511056161

    Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in...

  5. Constraint Logic Programming using Eclipse E-bok

    av Krzysztof R Apt, Mark Wallace

    E-bok, Engelska, 2006-12-21, ISBN 9780511345852

    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 bi...

  6. Principles of Constraint Programming

    av Krzysztof Apt

    Häftad, Engelska, 2009-12-17, ISBN 9780521125499

    Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in...

  7. Lectures in Game Theory for Computer Scientists

    av Krzysztof R Apt

    Inbunden, Engelska, 2011-01-06, ISBN 9780521198660

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

  8. Principles of Constraint Programming

    av Krzysztof Apt

    Inbunden, Engelska, 2003-08-01, ISBN 9780521825832

    Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in...

  9. Constraint Logic Programming using Eclipse

    av Krzysztof R Apt

    Inbunden, Engelska, 2006-12-01, ISBN 9780521866286
    (1 röst)

    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 bi...

  10. Lectures in Game Theory for Computer Scientists E-bok

    av Krzysztof R Apt, Erich Gradel

    E-bok, Engelska, 2011-01-06, ISBN 9781139005593

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

  11. Verification of Sequential and Concurrent Programs

    av Krzysztof R Apt, Frank S De Boer, Ernst-Rudiger Olderog

    Häftad, Engelska, 2012-03-04, ISBN 9781447125136

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

  12. Verification of Sequential and Concurrent Programs E-bok

    av Krzysztof R Apt, Ernst-Rudiger Olderog

    E-bok, Engelska, 2013-03-09, ISBN 9781475727142

    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 th...

  13. Verification of Sequential and Concurrent Programs E-bok

    av Krzysztof R Apt, Ernst-Rudiger Olderog

    E-bok, Engelska, 2013-03-09, ISBN 9781475743760

    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 stud...

  14. Verification of Sequential and Concurrent Programs E-bok

    av Krzysztof R Apt, Amir Pnueli, Frank S De Boer, Ernst-Rudiger Olderog

    E-bok, Engelska, 2009-09-18, ISBN 9781848827455

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

  15. Logics and Models of Concurrent Systems

    av Krzysztof Apt

    Inbunden, Engelska, 1985-07-01, ISBN 9783540151814

    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], be...

  16. Recent Advances in Constraints E-bok

    av Krzysztof R Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Vancza

    E-bok, Engelska, 2004-03-26, ISBN 9783540246626

    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 ?eldhaveenjoy...

  17. New Trends in Constraints E-bok

    av Krzysztof R Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi

    E-bok, Engelska, 2003-05-15, ISBN 9783540446545

    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 s...

  18. Programmverifikation

    av Krzysztof R Apt

    Inbunden, Tyska, 1994-03-01, ISBN 9783540574798

    Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische ...

  19. The Logic Programming Paradigm

    av V W Narek, Krzysztof R Apt, D S Warren

    Inbunden, Engelska, 1999-06-01, ISBN 9783540654636

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

  20. New Trends in Constraints

    av Krzysztof R Apt, Antonis C Kakas, Eric Monfroy, Francesca Rossi

    Häftad, Engelska, 2000-08-01, ISBN 9783540678854

    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 s...

  21. Verification of Sequential and Concurrent Programmes

    av Krzysztof R Apt, Ernst-Rudiger Olderog

    Inbunden, Engelska, 1991-07-01, ISBN 9783540975328

    This work provides a structured introduction to programme verification and the semantics of structured concurrent programmes. Sequential programmes in the form of deterministic and nondeterministic programmes, and concurrent programmes in the form...

  22. Programmverifikation E-bok

    av Krzysztof R Apt, Ernst-Rudiger Olderog

    E-bok, Tyska, 2013-03-07, ISBN 9783642579479
  23. Logic Programming Paradigm E-bok

    av Krzysztof R Apt, Victor W Marek, Mirek Truszczynski, David S Warren

    E-bok, Engelska, 2012-12-06, ISBN 9783642600852

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

  24. The Logic Programming Paradigm

    av Krzysztof R Apt, Victor W Marek, Mirek Truszczynski, David S Warren

    Häftad, Engelska, 2011-09-19, ISBN 9783642642494

    This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are all leading world experts in Logic Programming,...

  25. Logics and Models of Concurrent Systems E-bok

    av Krzysztof R Apt

    E-bok, Engelska, 2013-03-08, ISBN 9783642824531

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

  26. Logics and Models of Concurrent Systems

    av Krzysztof R Apt

    Häftad, Engelska, 2011-12-30, ISBN 9783642824555

    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], be...

  27. New Perspectives on Games and Interaction

    av Krzysztof R Apt, Robert Van Rooij

    Häftad, Engelska, 2008-09-01, ISBN 9789089640574

    This volume is a collection of papers presented at the 2007 colloquium on new perspectives on games and interaction at the Royal Dutch Academy of Sciences in Amsterdam. The purpose of the colloquium was to clarify the uses of the concepts of game ...