Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Top Series in United States

Showing 1 - 12 of 12 results for “giorgio bacci”
Skip side bar filters

  • Models, Algorithms, Logics and Tools

    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

    Edited by Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...
    Series series Computer Science (R0)
    This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... Read more

    $49.49 USD

People who read this also enjoyed

  • Windows 7: The Missing Manual

    by David Pogue ...
    In early reviews, geeks raved about Windows 7. But if you're an ordinary mortal, learning what this new system is all about will be challenging. Fear not: David Pogue's Windows 7: The Missing Manual comes to the rescue. Like its predecessors, this book illuminates its subject with reader-friendly insight, plenty of wit, and hardnosed objectivity for beginners as well as veteran PC users.Windows 7 ... Read more

    $23.09 USD

  • Software for Exascale Computing - SPPEXA 2013-2015

    Edited by Hans-Joachim Bungartz, Philipp Neumann, Wolfgang E. Nagel ...
    Series series Springer Nature Proceedings excluding Computer Science
    The research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application ... Read more

    $89.09 USD

  • Animation, Embodiment, and Digital Media

    Human Experience of Technological Liveliness

    by K. Chow ...
    Series series Literature, Cultural and Media Studies (R0)
    Animation, Embodiment and Digital Media articulates the human experience of technology-mediated animated phenomena in terms of sensory perception, bodily action and imaginative interpretation, suggesting a new theoretical framework with analyses of exemplary user interfaces, video games and interactive artworks. ... Read more

    $49.49 USD

  • Advances in Applied Self-Organizing Systems

    Edited by Mikhail Prokopenko ...
    Series series Computer Science (R0)
    How do we design a self-organizing system? Is it possible to validate and control non-deterministic dynamics? What is the right balance between the emergent patterns that bring robustness, adaptability and scalability, and the traditional need for verification and validation of the outcomes?The last several decades have seen much progress from original ideas of “emergent functionality” and “design ... Read more

    $89.09 USD

  • Parallel Computing Technologies

    14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

    Edited by Victor Malyshkin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in ... Read more

    $49.49 USD

  • Software, Animation and the Moving Image

    What's in the Box?

    by A. Wood ...
    Series series Literature, Cultural and Media Studies (R0)
    Software, Animation and the Moving Image brings a unique perspective to the study of computer-generated animation by placing interviews undertaken with animators alongside an analysis of the user interface of animation software. Wood develops a novel framework for considering computer-generated images found in visual effects and animations. ... Read more

    $49.49 USD

  • Parallel Computing Technologies

    13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

    Edited by Victor Malyshkin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on parallel models, algorithms and programming methods; ... Read more

    $49.49 USD

  • Evaluation of Novel Approaches to Software Engineering

    11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

    Edited by Leszek A. Maciaszek, Joaquim Filipe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Read more

    $49.49 USD

  • Handbook of Mobile Ad Hoc Networks for Mobility Models

    by Radhika Ranjan Roy ...
    Series series Computer Science (R0)
    The Mobile Ad Hoc Network (MANET) has emerged as the next frontier for wireless communications networking in both the military and commercial arena. Handbook of Mobile Ad Hoc Networks for Mobility Models introduces 40 different major mobility models along with numerous associate mobility models to be used in a variety of MANET networking environments in the ground, air, space, and/or under water ... Read more

    $215.09 USD

  • Formal Techniques for Safety-Critical Systems

    4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

    Edited by Cyrille Artho, Peter Csaba Ölveczky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway ... Read more

    $49.49 USD

  • Intelligent Computer Mathematics

    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

    Edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of ... Read more

    $49.49 USD