Compilers 20

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

Discover hidden relationships among the variables in your data, and learn how to exploit these relationships. This book presents a collection of data-mining algorithms that are effective in a wide v……続きを見る

Develop apps for the iPhone, iPad, and Apple wearables using Visual Studio for the Mac. Learn how to set up your development environment and emulators, and how to create adaptive user interfaces for……続きを見る

Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming ……続きを見る

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it ……続きを見る

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised……続きを見る

This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrate……続きを見る

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers a……続きを見る

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with ……続きを見る

Choose the best approach for your app and implement your solution quickly by leveraging complete projects. This book is a collection of practical projects that use advanced Android techniques and ap……続きを見る

Mit der Entwicklung neuer Technologien werden auch die einzelnen Software-Projekte stetig komplexer. Zu analysieren, warum manche Projekte scheitern und andere erfolgreich sind, wird daher immer wic……続きを見る

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pr……続きを見る

This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/Febr……続きを見る

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this……続きを見る

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FB……続きを見る

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017,……続きを見る

Learn to use the Java Persistence API (JPA) and other related APIs as found in the Java EE 8 platform from the perspective of one of the specification creators. A one-of-a-kind resource, this in-dep……続きを見る

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, ……続きを見る

This book takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching you how to become the world’s worst programmer who generally cause……続きを見る

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017. ……続きを見る

Gain the basics of Ruby’s map, reduce, and select functions and discover how to use them to solve data-processing problems. This compact hands-on book explains how you can encode certain complex pro……続きを見る

Scala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, inco……続きを見る

This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in Mar……続きを見る

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017. T……続きを見る

This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017. The 37 ……続きを見る

Get started with PostgreSQL on the cloud and discover the advantages, disadvantages, and limitations of the cloud services from Amazon, Rackspace, Google, and Azure. Once you have chosen your cloud ……続きを見る

Wer heute das Programmieren lernen möchte, kommt nicht daran vorbei, sich mit einer der beliebtesten Programmiersprachen für Einsteiger und Profis zu befassen: Python. Mit Python hat ihr Erfinder, G……続きを見る

Learn to program with Rust in an easy, step-by-step manner on Unix, Linux shell, macOS and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapt……続きを見る

Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 an……続きを見る