Computer Science 100

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers pres……続きを見る

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 i……続きを見る

Get up and running with Apple's latest version of Xcode, and see how to use Swift in Xcode to build a variety of projects. If you already have some programming experience with iOS SDK and Objective-……続きを見る

Learn the code to write algorithms, numerical computations, data analysis and much more using the Python language: look up and re-use the recipes for your own Python coding. This book is your handy ……続きを見る

This book constitutes the refereed proceedings of the 17th International Conference on Cryptology in India, INDOCRYPT 2016, held in Kolkata, India, in December 2016. The 23 revised full papers prese……続きを見る

In diesem Buch werden in kompakter Form mithilfe zahlreicher Beispiele die üblichen Modelle und Methoden der angewandten Wahrscheinlichkeitstheorie und Statistik dargestellt. Es ist daher insbesonde……続きを見る

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and ……続きを見る

Algorithm Engineering is a methodology for algorithmic research that combines theory with implementation and experimentation in order to obtain better algorithms with high practical impact. Traditio……続きを見る

This is a short and self-contained introduction to the field of mathematical modeling of gene-networks in bacteria. As an entry point to the field, we focus on the analysis of simple gene-network dy……続きを見る

This book covers the basics of numerical methods, while avoiding the definition-theorem-proof style and instead focusing on numerical examples and simple pseudo-codes. The book is divided into ten c……続きを見る

The book covers all knowledge areas from the BABOK®, Third Edition, and is designed to be a study guide for the CBAP® certification from IIBA™. It includes over 300 sample questions. It is also usab……続きを見る

Human behavior is fascinating so it’s no surprise that psychologists and neuroscientists spend their lives designing rigorous experiments to understand it. MATLAB is one of the most widely used piec……続きを見る

Written for those starting a career in IT or whose career is well advanced, this career guide shows how to blaze a path to success through the jungle of modern IT. With a career spanning five decade……続きを見る

This book provides a first-hand account of business analytics and its implementation, and an account of the brief theoretical framework underpinning each component of business analytics. The themes ……続きを見る

This book constitutes the refereed proceedings of the 16th International Conference on Innovations for Community Services, I4CS 2016, held in Vienna, Austria, in June 2016. The 12 revised full paper……続きを見る

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together wit……続きを見る

The papers in this volume represent a broad, applied swath of advanced contributions to the 2015 ICSA/Graybill Applied Statistics Symposium of the International Chinese Statistical Association, held……続きを見る

The two-volume set LNCS 10031 and LNCS 10032 constitutes the refereed proceedings of the 22nd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYP……続きを見る

The two-volume set LNCS 10031 and LNCS 10032 constitutes the refereed proceedings of the 22nd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYP……続きを見る

Mit Fotos bieten macOS und iOS eine plattformübergreifende App zur Verwaltung, Bearbeitung und Präsentation Ihrer Bilder und Videos. Fotos löst die beiden etwas in die Jahre gekommenen Programme iPh……続きを見る

続きを見る

This textbook presents the concepts and tools necessary to understand, build, and implement algorithms for computing elementary functions (e.g., logarithms, exponentials, and the trigonometric funct……続きを見る

Design Computing will help you understand the rapidly evolving relationship between computing, designers, and the many different environments they create or work in. The book introduces the topic of……続きを見る

Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as wel……続きを見る

This book is the first systematic exposition on the emerging domain of wireless power transfer in ad hoc communication networks. It selectively spans a coherent, large spectrum of fundamental aspect……続きを見る

Edited under the auspices of the Association of Logic, Language and Information (FoLLI), this book constitutes the refereed proceedings of the 20th anniversary of the International Conference on Log……続きを見る

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Practice of Natural Computing, TPNC 2016, held in Sendai, Japan, in December 2016. The 16 revised ful……続きを見る

Differential Transformation Method for Mechanical Engineering Problems focuses on applying DTM to a range of mechanical engineering applications. The authors modify traditional DTM to produce two ad……続きを見る

Developing and implementing a systematic analytics strategy can result in a sustainable competitive advantage within the sport business industry. This timely and relevant book provides practical str……続きを見る

The main aim of this book is to offer companies a simple and practical method to assess their maturity in the Governance Information System, so that they are in working order to face the challenges ……続きを見る