Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « bart jacobs »
Skip side bar filters

  • Democratie onder druk

    Over de geheime diensten in turbulente tijden

    par Bart Jacobs, Rowin Jansen ...
    Wat als een Nederlandse minister politieke tegenstanders aanmerkt als een 'gevaar voor de nationale veiligheid' of zelfs als 'terrorist'? Wie stopt de minister als deze vervolgens de geheime diensten inzet voor zijn eigen politieke doelen? En wat als protesterende ambtenaren en kritische toezichthouders worden ontslagen? Het misbruiken van de diensten om de machthebbers te beschermen en hun ... En savoir plus

    $12.99 CAD

  • Foundations of Software Science and Computation Structures

    19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Modifié par Bart Jacobs, Christof Löding ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85 ... En savoir plus

    $64.09 CAD

  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    par Bart Jacobs ...
    Collections Livre 59 - Cambridge Tracts in Theoretical Computer Science
    The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts ... En savoir plus

    $184.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Topics in Theoretical Computer Science

    Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

    Modifié par Mohammad Reza Mousavi, Jiří Sgall ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... En savoir plus

    $64.09 CAD

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

    Modifié par Axel Legay, Tiziana Margaria ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... En savoir plus

    $64.99 CAD

  • Probability Theory

    The Logic of Science

    par E. T. Jaynes ...
    The standard rules of probability can be interpreted as uniquely valid principles in logic. In this book, E. T. Jaynes dispels the imaginary distinction between 'probability theory' and 'statistical inference', leaving a logical unity and simplicity, which provides greater technical power and flexibility in applications. This book goes beyond the conventional mathematics of probability theory, ... En savoir plus

    $138.99 CAD

  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

    Modifié par Tiziana Margaria, Bernhard Steffen ...
    Collections Livre 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... En savoir plus

    $64.99 CAD

  • Language and Automata Theory and Applications

    11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

    Modifié par Frank Drewes, Carlos Martín-Vide, Bianca Truthe ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017.The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics ... En savoir plus

    $64.09 CAD

  • Computation and its Limits

    par Paul Cockshott, Lewis M. Mackenzie, Gregory Michaelson ...
    Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so effective in science and seeks to explain this in terms of the modelling of one part of physical reality by another. Going from the origins of counting to the most blue-skies proposals for novel methods ... En savoir plus

    $41.99 CAD

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

    Modifié par Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... En savoir plus

    $64.99 CAD

  • Information Theory and Coding by Example

    par Mark Kelbert, Yuri Suhov ...
    This fundamental monograph introduces both the probabilistic and algebraic aspects of information theory and coding. It has evolved from the authors' years of experience teaching at the undergraduate level, including several Cambridge Maths Tripos courses. The book provides relevant background material, a wide range of worked examples and clear solutions to problems from real exam papers. It is a ... En savoir plus

    $64.99 CAD

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Modifié par Jonathan P. Bowen, Huibiao Zhu ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... En savoir plus

    $64.99 CAD