Skip to main content

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


“vasco amaral”

Showing 1 - 12 of 12 results for “vasco amaral”
Skip side bar filters
  • Multi-Paradigm Modelling Approaches for Cyber-Physical Systems

    Multi-Paradigm Modelling for Cyber-Physical Systems explores modeling and analysis as crucial activities in the development of Cyber-Physical Systems, which are inherently cross-disciplinary in nature and require distinct modeling techniques related to different disciplines, as well as a common background knowledge. This book will serve as a reference for anyone starting in the field of CPS who ... Read more

    $132.79 CAD

People who read this also enjoyed

  • Software Technologies

    10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; ... Read more

    $64.99 CAD

  • Artificial Intelligence Methods For Software Engineering

    Software is an integral part of our lives today. Modern software systems are highly complex and often pose new challenges in different aspects of Software Engineering (SE).Artificial Intelligence (AI) is a growing field in computer science that has been proven effective in applying and developing AI techniques to address various SE challenges.This unique compendium covers applications of state-of ... Read more

    $142.99 CAD

  • Cyberpatterns

    Unifying Design Patterns with Security and Attack Patterns

    Edited by Clive Blackwell, Hong Zhu ...
    Series series Computer Science (R0)
    Cyberspace in increasingly important to people in their everyday lives for purchasing goods on the Internet, to energy supply increasingly managed remotely using Internet protocols. Unfortunately, this dependence makes us susceptible to attacks from nation states, terrorists, criminals and hactivists. Therefore, we need a better understanding of cyberspace, for which patterns, which are ... Read more

    $64.99 CAD

  • Evaluation of Novel Approaches to Software Engineering

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

    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

    $64.99 CAD

  • Semantic Multimedia Analysis and Processing

    Series series Digital Imaging and Computer Vision
    Broad in scope, Semantic Multimedia Analysis and Processing provides a complete reference of techniques, algorithms, and solutions for the design and the implementation of contemporary multimedia systems. Offering a balanced, global look at the latest advances in semantic indexing, retrieval, analysis, and processing of multimedia, the book features the contributions of renowned researchers from ... Read more

    $157.99 CAD

  • Open Data for Education

    Linked, Shared, and Reusable Data for Teaching and Learning

    Series series Computer Science (R0)
    This volume comprises a collection of papers presented at an Open Data in Education Seminar and the LILE workshops during 2014-2015.In the first part of the book, two chapters give different perspectives on the current use of linked and open data in education, including the use of technology and the topics that are being covered.The second part of the book focuses on the specific, practical ... Read more

    $64.99 CAD

  • Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection

    15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, ... Read more

    $64.99 CAD

  • Cyber-Physical Systems of Systems

    Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

    Series series Computer Science (R0)
    This book is open access under a CC BY 4.0 license.Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective – form the backbone of most of today’s infrastructure. The energy grid, most transportation systems, the global banking industry, the water-supply system, the military equipment, ... Read more

    Free

  • Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

    Edited by Anna-Lena Lamprecht ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 ... Read more

    $64.99 CAD

  • An Introduction to Self-adaptive Systems

    A Contemporary Software Engineering Perspective

    by Danny Weyns ...
    Series series IEEE Press
    A concise and practical introduction to the foundations and engineering principles of self-adaptationThough it has recently gained significant momentum, the topic of self-adaptation remains largely under-addressed in academic and technical literature. This book changes that. Using a systematic and holistic approach, An Introduction to Self-adaptive Systems: A Contemporary Software Engineering ... Read more

    $127.99 CAD

  • Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives

    Ambient Intelligence (AmI) is a multidisciplinary approach aimed at enriching physical environments with a network of distributed devices, such as sensors, actuators, and computational resources, in order to support humans in achieving their everyday activities. Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives covers the cutting-edge aspects of AMI ... Read more

    $278.99 CAD

    PRE-ORDER