Computer Science 7

This book constitutes the thoroughly refereed workshop post-proceedings of the 15th International Workshop on Approximation and Online Algorithms, WAOA 2017, held in Vienna, Austria, in September 20……続きを見る

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017. The 11 revised full pa……続きを見る

This book constitutes the thoroughly refereed revised selected papers of the 10th International Conference on Bioinspired Optimization Models and Their Applications, BIOMA 2018, held in Paris, Franc……続きを見る

Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objects of our knowledge. His starting poin……続きを見る

This collaborative book presents recent trends on the study of sequences, including combinatorics on words and symbolic dynamics, and new interdisciplinary links to group theory and number theory. O……続きを見る

Introduction to Mathematical Modeling and Computer Simulations is written as a textbook for readers who want to understand the main principles of Modeling and Simulations in settings that are import……続きを見る

Comprehensive and self contained, this tutorial covers the design of a plethora of combinational and sequential logic circuits using conventional logic design and Verilog HDL. Number systems and num……続きを見る

This book deals with one of the most novel advances in natural computing, namely, in the field of tactile sense analysis. Massage, which provides relaxation and stimulation for human beings, is anal……続きを見る

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017. The 22 full papers presented toge……続きを見る

The creation, accumulation, and use of copious amounts of data are driving rapid change across a wide variety of industries and academic disciplines. This ‘Big Data’ phenomenon is the result of rece……続きを見る

This textbook explores both the theoretical foundation of the Finite Volume Method (FVM) and its applications in Computational Fluid Dynamics (CFD). Readers will discover a thorough explanation of t……続きを見る

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verific……続きを見る

Let This Book Usher You Into The New And Interesting World Of iPhone SE So That You Make The Most Of Its Cutting Edge Features To Transform Your Life In All Manner Of Ways! Have you recently purchas……続きを見る

This ebook talks about 'Hashing' data structure. Hashing can go deep. However the intention of this ebook is to understand the basics of the data structure and walk through with conceptual developme……続きを見る

Responsive Security: Be Ready to Be Secure explores the challenges, issues, and dilemmas of managing information security risk, and introduces an approach for addressing concerns from both a practit……続きを見る

This book contains a selection of the best papers that were presented at the 28th edition of the annual Benelux Conference on Artificial Intelligence, BNAIC 2016. The conference took place on Novemb……続きを見る

Designed as a self-contained account of a number of key algorithmic problems and their solutions for linear algebraic groups, this book combines in one single text both an introduction to the basic ……続きを見る

This book constitutes the refereed proceedings of the First International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2017, held in Dublin, Ireland, in June 2017. The 15 ……続きを見る

You're intelligent, right? So you've already figured out that Business Intelligence can be pretty valuable in making the right decisions about your business. But you’ve heard at least a dozen defini……続きを見る

This book constitutes the revised selected papers of the 11th Italian Workshop on Advances in Artificial Life, Evolutionary Computation and Systems Chemistry, WIVACE 2016, held at Fisciano, Italy, i……続きを見る

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 20……続きを見る

The very first electronic computers were invented at the end of World War II. They were very large machines that could only be used in special air conditioned rooms. Today, almost everybody carries ……続きを見る

Social Networks with Rich Edge Semantics introduces a new mechanism for representing social networks in which pairwise relationships can be drawn from a range of realistic possibilities, including d……続きを見る

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised f……続きを見る

This book constitutes revised selected papers from the 5th International Conference on Operations Research and Enterprise Systems, ICORES 2016, held in Rome, Italy, in February 2016. The 14 papers p……続きを見る

The healthcare industry is under privacy attack. The book discusses the issues from the healthcare organization and individual perspectives. Someone hacking into a medical device and changing it is ……続きを見る

This book constitutes the refereed proceedings of the Third Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2017, held in Geelong, VIC, Australia, in January/Februa……続きを見る

This book helps auditors understand the reality of performing the internal audit role and the importance of properly managing ethical standards. It provides many examples of ethical conflicts and pr……続きを見る

This book constitutes the refereed proceedings of the 12th China Workshop on Machine Translation, CWMT 2016, held in Urumqi, China, in August 2016. The 10 English papers presented in this volume wer……続きを見る

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 Oc……続きを見る