• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    From Semantics to Computer Science

    Essays in Honour of Gilles Kahn

    AvYves Bertot,Gérard Huet

    Inbunden, Engelska, 2009

    1 637 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.

    Produktinformation

    • Utgivningsdatum:2009-09-24
    • Mått:180 x 254 x 30 mm
    • Vikt:1 320 g
    • Format:Inbunden
    • Språk:Engelska
    • Antal sidor:594
    • Förlag:Cambridge University Press
    • ISBN:9780521518253

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT

    Mer om författaren

    Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Castéran) of Coq'Art: The Calculus of Inductive Constructions (2004). Gérard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt. Jean-Jacques Lévy is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt. Gordon Plotkin is a Professor in the School of Informatics at the University of Edinburgh.

    Innehållsförteckning

    • Preface; List of contributors; 1. Determinacy in a synchronous π-calculus Roberto Amadio and Mehdi Dogguy; 2. Classical coordination mechanisms in the chemical model Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac; 3. Sequential algorithms as bistable maps Pierre-Louis Curien; 4. The semantics of dataflow with firing Edward A. Lee and Eleftherios Matsikoudis; 5. Kahn networks at the dawn of functional programming David B. MacQueen; 6. A simple type-theoretic language: mini-TT Thierry Coquand, Yoshiki Kinoshita, Bengt Nordström, and Makoto Takeyama; 7. Program semantics and infinite regular terms Bruno Courcelle; 8. Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations Bruno Courcelle, Gilles Kahn, and Jean Vuillemin; 9. Generalized finite developments Jean-Jacques Lévy; 10. Semantics of program representation graphs G. Ramalingam and Thomas Reps; 11. Tribute to a great meta-technologist - from centaur to the meta-environment Paul Klint; 12. Towards a theory of document structure Bengt Nordström; 13. Grammars as software libraries Aarne Ranta; 14. The Leordo computation system Erik Sandewall; 15. Theorem proving support in programming language semantics Yves Bertot; 16. Nominal verification of algorithm W Christian Urban and Tobias Nipkow; 17. A constructive denotational semantics for Kahn networks in Coq Christine Paulin-Mohring; 18. Asclepios: a research project-team at INRIA for the analysis and simulation of biomedical images Nicholas Ayache, Olivier Clatz, Hervé Delingette, Grégoire Malandain, Xavier Pennec and Maxime Sermesant; 19. Proxy caching in split TCP: dynamics, stability and tail asymptotics François Baccelli, Giovanna Carofiglio, and Serguei Foss; 20. Two-by-two static, evolutionary, and dynamic games Pierre Bernhard and Frédéric Hamelin; 21. Reversal strategies for adjoint algorithms Laurent Hascoët; 22. Reflections on INRIA and the role of Gilles Kahn Alain Bensoussan; 23. Can a systems biologist fix a tamagotchi? Luca Cardelli; 24. Computational science: a new frontier for computing Andrew Herbert; 25. The descendants of centaur: a personal view on Gilles Kahn's work Emmanuel Ledinot; 26. The tower of informatic models Robin Milner.