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


Showing 1 - 12 of 12 results for “flavio corradini”
Skip side bar filters

  • Society 5.0

    5th International Conference Society 5.0 2025, San Benedetto Del Tronto, Italy, June 25–27, 2025, Revised Selected Papers

    Edited by Flavio Corradini, Knut Hinkelmann, Hanlie Smuts, Barbara Re ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected proceedings from the 5th International Conference on Society 5.0, Society 5.0 2025, held in San Benedetto Del Tronto, Italy, during June 25–27, 2025.The 24 full papers presented in this volume were carefully reviewed and selected from 64 submissions. They focus on advancing the vision of a human-centered society built on a ‘fair pact’ between human being ... Read more

    $89.99 USD

  • A Process Algebraic Approach to Software Architecture Design

    by Alessandro Aldini, Marco Bernardo, Flavio Corradini ...
    Series series Computer Science (R0)
    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for ... Read more

    $49.49 USD

  • Models, Languages, and Tools for Concurrent and Distributed Programming

    Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

    Edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese ...
    Series series Computer Science (R0)
    This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, ... Read more

    $49.99 USD

People who read these also enjoyed

  • Programming with Qt

    Writing Portable GUI applications on Unix and Win32

    by Matthias Kalle Dalheimer ...
    The popular open source KDE desktop environment for Unix was built with Qt, a C++ class library for writing GUI applications that run on Unix, Linux, Windows 95/98, Windows 2000, and Windows NT platforms. Qt emulates the look and feel of Motif, but is much easier to use. Best of all, after you have written an application with Qt, all you have to do is recompile it to have a version that works on ... Read more

    $25.99 USD

  • Learn Ionic 2

    Develop Multi-platform Mobile Apps

    by Joyce Justin, Joseph Jude ...
    Series series Professional and Applied Computing (R0)
    Explore key scenarios required for building quality Ionic apps quickly and easily and bring them to the iOS and Android mobile ecosystem.Learn Ionic 2 explains various techniques to quickly integrate third-party back end systems. With this short guide, you'll benefit from practical examples of implementing authentication and authorization, connecting to social media, integrating with payment ... Read more

    $31.99 USD

  • Handbook of Biometric Anti-Spoofing

    Trusted Biometrics under Spoofing Attacks

    Edited by Sébastien Marcel, Mark S. Nixon, Stan Z. Li ...
    Series series Computer Science (R0)
    Presenting the first definitive study of the subject, this Handbook of Biometric Anti-Spoofing reviews the state of the art in covert attacks against biometric systems and in deriving countermeasures to these attacks. Topics and features: provides a detailed introduction to the field of biometric anti-spoofing and a thorough review of the associated literature; examines spoofing attacks against ... Read more

    $107.99 USD

  • Cloud Computing

    Principles, Systems and Applications

    Edited by Nikos Antonopoulos, Lee Gillam ...
    Series series Computer Science (R0)
    Cloud computing continues to emerge as a subject of substantial industrial and academic interest. Although the meaning and scope of “cloud computing” continues to be debated, the current notion of clouds blurs the distinctions between grid services, web services, and data centers, among other areas. Clouds also bring considerations of lowering the cost for relatively bursty applications to the ... Read more

    $152.09 USD

  • Business Intelligence

    5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015, Tutorial Lectures

    Edited by Alberto Abelló, Esteban Zimányi ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book constitutes the tutorial lectures of the 5th European Business Intelligence Summer School, eBISS 2015, held in Barcelona, Spain, in July 2015.The tutorials presented here in an extended and refined format were given by renowned experts and cover topics including schema evolution for databases and data warehouses, publishing OLAP cubes on the Semantic Web, design issues in social business ... Read more

    $40.49 USD

  • Testbeds and Research Infrastructures for the Development of Networks and Communities

    11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers

    Edited by Guiyi Wei, Yang Xiang, Xiaodong Lin, Pascal Lorenz, Song Guo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2016, held in Hangzhou, China, in June 2016.The 16 papers were carefully selected from 25 submissions and provide a forum about technologies of big data, cyber physical systems and computer communications. The ... Read more

    $40.49 USD

  • Cooperative Networking in a Heterogeneous Wireless Medium

    by Muhammad Ismail, Weihua Zhuang ...
    Series series Computer Science (R0)
    This brief focuses on radio resource allocation in a heterogeneous wireless medium. It presents radio resource allocation algorithms with decentralized implementation, which support both single-network and multi-homing services. The brief provides a set of cooperative networking algorithms, which rely on the concepts of short-term call traffic load prediction, network cooperation, convex ... Read more

    $49.99 USD

  • Soft Errors in Modern Electronic Systems

    Edited by Michael Nicolaidis ...
    Series series Engineering (R0)
    This book provides a comprehensive presentation of the most advanced research results and technological developments enabling understanding, qualifying and mitigating the soft errors effect in advanced electronics, including the fundamental physical mechanisms of radiation induced soft errors, the various steps that lead to a system failure, the modelling and simulation of soft error at various ... Read more

    $161.99 USD

  • Quantitative Evaluation of Systems

    14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

    Edited by Nathalie Bertrand, Luca Bortolussi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and ... Read more

    $49.99 USD