Immerse yourself in learning Python and introductory data analytics with this book’s project-based approach. Through the structure of a ten-week coding bootcamp course, you’ll learn key concepts and……続きを見る
Eliminate the guesswork involved in writing and deploying a cloud application. This step-by-step guide uses PHP to minimize the complexity of the code and setup, but the tools and techniques can be ……続きを見る
Know how to use the features of Visual Studio 2019 and utilize the IDE correctly to become your one-stop solution for creating quality code. Learn what's new in VS 2019 and explore the existing feat……続きを見る
This quick Julia programming language guide is a condensed code and syntax reference to the Julia 1.x programming language, updated with the latest features of the Julia APIs, libraries, and package……続きを見る
Build and develop web applications with Blazor in C#. This book will cover all three types of Blazor – server-side, client-side, and hosted along with other features of the technology. You’ll see th……続きを見る
Learn how to make better decisions and write cleaner Ruby code. This book shows you how to avoid messy code that is hard to test and which cripples productivity. Author Carleton DiLeo shares hard-le……続きを見る
Explore microservices using the Python-based Django framework and review the benefits and drawbacks of them. This book will examine what microservices look like, how they talk to each other, and how……続きを見る
Get started with Dart and learn to program with this language suitable for high-performing, modern applications. You'll gain the basics and be ready to move to the next level: web and mobile apps. W……続きを見る
著者:Vladimir Lifschitz
出版社: Springer International Publishing
発売日: 2019年08月29日
Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibi……続きを見る
著者:Anthony Davis
出版社: ADavis Publishing
発売日: 2019年12月12日
In this book, we jump into a virtual machine, compiler and opcodes, without needing to read about parsing first. The language is already written, meaning you can dive into the source code of a worki……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月13日
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.
The workshop was held in Porto, Portugal, on October ……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月16日
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.
The 10 full an……続きを見る
Get up and running fast with the basics of programming using Java as an example language. This short book gets you thinking like a programmer in an easy and entertaining way. Modern Programming Made……続きを見る
出版社: Springer International Publishing
発売日: 2020年01月18日
This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019. The 18 re……続きを見る
This textbook covers R data analysis related to environmental science, starting with basic examples and proceeding up to advanced applications of the R programming language. The main objective of th……続きを見る
Roll up your sleeves and jump into building web applications using .NET Core 2.1 and the most popular JavaScript frameworks.
You will start by building a data access layer using Entity Framework Cor……続きを見る
出版社: Springer International Publishing
発売日: 2018年11月19日
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.
The 16 regular papers presented i……続きを見る
Gain the fundamental concepts of object-oriented programming with examples in Java. This second edition comes with detailed coverage and enhanced discussion on fundamental topics such as inheritance……続きを見る
Build Android apps using the popular and efficient Android Studio 3 suite of tools, an integrated development environment (IDE) with which Android developers can now use the Kotlin programming langu……続きを見る
Use DevOps principles with Google Cloud Platform (GCP) to develop applications and services. This book builds chapter by chapter to a complete real-life scenario, explaining how to build, monitor, a……続きを見る
Leverage your existing web development skills to learn the whole cycle of hybrid mobile app development. This edition is fully updated with the changes in Ionic 4, including Stencil, a new framework……続きを見る
Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, rea……続きを見る
出版社: Springer International Publishing
発売日: 2019年05月02日
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.
The 16 full pape……続きを見る
著者:James T. Streib
出版社: Springer International Publishing
発売日: 2020年01月23日
This concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the ar……続きを見る
出版社: Springer International Publishing
発売日: 2018年11月12日
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwe……続きを見る
出版社: Springer International Publishing
発売日: 2018年10月30日
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validat……続きを見る
Discover the open source Eclipse Tasking Engine Advanced (TEA) project in this compact to-the-point book. It covers how to automate tasks using TEA and focuses on simplifying and aiding the creation……続きを見る
Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. You’ve had an idea and have done some preliminary experiments, and it looks promising.……続きを見る
出版社: Springer International Publishing
発売日: 2018年11月07日
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.
The 21 full papers presented togethe……続きを見る