General Computing 87

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented t……続きを見る

Der vorliegende Band versammelt die als Kultkolumnen gefeierten Beiträge der Beta-Inside-Kolumne aus dem Informatik-Spektrum von 2013 bis 2017. Frühere Kolumnen der Jahre 1999 bis 2013 erschienen be……続きを見る

This book constitutes the refereed proceedings of 5 workshops held at the 21st International Conference on Financial Cryptography and Data Security, FC 2017, in Sliema, Malta, in April 2017. The 39 ……続きを見る

This book constitutes the refereed proceedings of the 18th International Conference on Product-Focused Software Process Improvement, PROFES 2017, held in Innsbruck, Austria, in November/December 201……続きを見る

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume we……続きを見る

Vous êtes fatigué des ralentissements intempestifs...? Changer d'ordinateur lorsque vous avez un problème majeur, c'est vraiment couteux ! Avant de jeter votre ordinateur, il existe plusieurs manipu……続きを見る

This book presents the proceedings of International Conference on Emerging Research in Computing, Information, Communication and Applications, ERCICA 2016. ERCICA provides an interdisciplinary forum……続きを見る

Walter Hehl eröffnet in seinem Buch einen neuen Blick auf die Person Galileo Galilei und dessen Leistungen – sowohl im Kontext der Wissenschaft im Zeitalter der Renaissance als auch aus Sicht der he……続きを見る

This book constitutes the refereed proceedings of the 20th International Conference on Information Security, ISC 2017, held in Ho Chi Minh City, Vietnam, in November 2017. The 25 revised full papers……続きを見る

This book constitutes the post-conference proceedings of the 11th International Conference on Critical Information Infrastructures Security, CRITIS 2016, held in Paris, France, in October 2016. The ……続きを見る

The Handbook of Discrete and Computational Geometry is intended as a reference book fully accessible to nonspecialists as well as specialists, covering all major aspects of both fields. The book off……続きを見る

Contemporary High Performance Computing: From Petascale toward Exascale focuses on the ecosystems surrounding the world’s leading centers for high performance computing (HPC). It covers many of the ……続きを見る

"Despite spending more than $600 billion on information technology over the past decade, the Federal Government has achieved little of the productivity improvements that private industry has realize……続きを見る

Partial differential equations (PDEs) play an important role in the natural sciences and technology, because they describe the way systems (natural and other) behave. The inherent suitability of PDE……続きを見る

Computer simulation is an effective and popular universal tool that can be applied to almost all disciplines. Requiring only basic knowledge of programming, mathematics, and probability theory, Comp……続きを見る

This book constitutes the thoroughly refereed post-workshop proceedings of the 25th International Workshop on Security Protocols, held in Cambridge, UK, in March 2017. The volume consists of 16 thor……続きを見る

Work with blockchain and understand its potential application beyond cryptocurrencies in the domains of healthcare, Internet of Things, finance, decentralized organizations, and open science. Featur……続きを見る

Arduino is an open-source electronics platform based on easy-to-use hardware and software while LabVIEW is a graphical programming telling how to connect functions and work with a variety of datatyp……続きを見る

Unternehmen machen immer noch viele Fehler, wenn es darum geht, eine Unternehmenspräsenz auf Facebook aufzubauen. Damit Sie nicht die gleichen machen müssen, wie andere vor Ihnen, gibt es dieses Buc……続きを見る

Problem solving in computing is referred to as computational thinking. The theory behind this concept is challenging in its technicalities, yet simple in its ideas. This book introduces the theory o……続きを見る

This book constitutes the refereed proceedings of the 13th International Conference on Information Systems Security, ICISS 2017, held in Mumbai, India, in December 2017. The 17 revised full papers a……続きを見る

This book constitutes the proceedings of the 13th International Conference on Information Security and Practice and Experience, ISPEC 2017, held in Melbourne, Australia, in December 2017. The 34 ful……続きを見る

Many customers look for suppliers with ISO/IEC 20000 certification, seeking the reassurance it provides. This book will guide you through implementation and certification. Your streamlined managemen……続きを見る

With a quality management system (QMS) based on ISO 9001 – the world’s most established quality framework – you can ensure the quality of the products and services your company provides, thereby enh……続きを見る

Agile: An Executive Guide describes Agile methods in clear business language specifically written for professionals. It will help you make realistic business-driven decisions on whether Agile method……続きを見る

This is the simplest, quickest, least technical, most affordable introduction to basic electronics. No tools are necessary--not even a screwdriver. Easy Electronics should satisfy anyone who has fel……続きを見る

Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-orie……続きを見る

Ce manuel est un guide pratique qui donne les clés permettant d’améliorer soi-même son référencement naturel dans les moteurs de recherche, et surtout Google. Il n’y a pas besoin de s’y connaitre en……続きを見る

This is a beginner’s guide to learning and implementing the essential aspects of modeling organic objects and using an organic workflow to model anything. This book gives an aspiring modeler all the……続きを見る

This volume offers a gradual exposition to matrix theory as a subject of linear algebra. It presents both the theoretical results in generalized matrix inverses and the applications. The book is as ……続きを見る