Software Development 5

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. ……続きを見る

Discover the newest major features of C++20, including modules, concepts, spaceship operators, and smart pointers. This book is a handy code cookbook reference guide that covers the C++ core languag……続きを見る

This is a handbook targeting people interested or involved in Ruby on Rails development that doesn't want to think hard about dependencies often times. There are RoR developers who work in one proje……続きを見る

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction……続きを見る

A practical guide to understanding the latest features of the Rust programming language, useful libraries, and frameworks that will help you design and develop interesting projectsKey FeaturesWork t……続きを見る

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction……続きを見る

This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastruc……続きを見る

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, ……続きを見る

Explore Qt Creator, Qt Quick, and QML to design and develop applications that work on desktop, mobile, embedded, and IoT platformsKey FeaturesBuild a solid foundation in Qt by learning about its cor……続きを見る

Si le code informatique est partout aujourd’hui, écrire du bon code est un exercice qui s’apprend. Il ne s’agit pas seulement de technique ou de réflexion. Les plus beaux codes sont comme des oeuvre……続きを見る

Build your expertise in the BPF virtual machine in the Linux kernel with this practical guide for systems engineers. You’ll not only dive into the BPF program lifecycle but also learn to write appli……続きを見る

Learn C++ the quick, easy, and “lazy” way. This book is an introductory programming text that uses humor and fun to make you actually willing to read, and eager to do the projects -- with the popula……続きを見る

About the necessity and usefulness of developing a philosophy specific to the blockchain technology, emphasizing on the ontological aspects. After an Introduction that highlights the main philosophi……続きを見る

This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces prin……続きを見る

Learn how to get the most out of JMeter, improve the productivity of your apps, and integrate JMeter with your Agile and DevOps processes. Key Features Gain insights into preparing test environment……続きを見る

The book provides a comprehensive approach to configuration management from a variety of product development perspectives, including embedded and IT. It provides authoritative advice on how to exten……続きを見る

Fully updated for Android Studio 3.4, Android 9, Android Jetpack and the modern architectural guidelines and components, the goal of this book is to teach the skills necessary to develop Android-bas……続きを見る

Delve deep into the various technical practices, principles, and values of Agile. Key Features Discover the essence of Agile software development and the key principles of software design Explore t……続きを見る

This is not a book about the latest technology, nor is it a book about how to code verbatim. I discuss topics with the reader on a one to one basis, as if you and I were "pair programming." I provid……続きを見る

The three volume-set LNCS 11476, 11477, and 11478 constitute the thoroughly refereed proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Technique……続きを見る

This book will teach you the basic information and skills you need to develop applications with COBOL on IBM mainframes running z/OS. The instruction, examples and sample programs in this book are a……続きを見る

Learn to create and customize impressive Drupal 8 modules to extend your website\\'s functionalitiesKey FeaturesExplore a plethora of Drupal 8 APIs and get the best out of them using the power of PH……続きを見る

O presente livro reúne vários resultados de pesquisa apresentados e selecionados por pares durante o V Seminário de Pesquisa, Pós-graduação e Inovação realizado em novembro de 2017 na Regional Catal……続きを見る

C is a computer programming language. That means that you can use C to create lists of instructions for a computer to follow. C is one of thousands of programming languages currently in use. C has b……続きを見る

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 ……続きを見る

This book constitutes the proceedings of the First International Conference on Computer and Communication Engineering, ICCCE 2018, held in Guayaquil, Ecuador, in October 2018. The 12 full papers pre……続きを見る

This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, i……続きを見る

An easy to read introduction to programming in C++ which assumes some basic programming knowledge. Illustrated throughout with code samples and includes suggested tutorial exercises without solution……続きを見る

The essential blueprints and workflow you need to build successful AI business applicationsKey FeaturesLearn and master the essential blueprints to program AI for real-world business applicationsGai……続きを見る

This book constitutes the refereed proceedings of five workshops symposia, held at the 37th International Conference on Conceptual Modeling, ER 2018, in Xi’an, China, in October 2018. The 42 papers ……続きを見る