Programming with higher-order logic /
Automated Deduction – CADE 28
Rust high performance : learn to skyrocket the performance of your Rust applications /
Programming Languages and Systems
Feature Models
Learning Dart - Second Edition.
Tools and Algorithms for the Construction and Analysis of Systems
Computer Aided Verification
RUST WEB PROGRAMMING : a hands-on guide to developing fast and secure web apps with the ... rust programming language.
Foundations of Software Science and Computation Structures
Julia high performance : design and develop high performing programs with Julia /
Exploring SE for android : discover Security Enhancements (SE) for Android to build your own protected Android-based systems /
Android Native Development Kit cookbook. : a step-by-step tutorial with more than 60 concise recipes on Android NDK development skills /
Automated Reasoning
Reactive programming in Kotlin : design and build non-blocking, asynchronous Kotlin applications with RXKotlin, Reactor-Kotlin, Android, and Spring /
Getting Started with V Programming : An End-To-end Guide to Adopting the V Language from Basic Variables and Modules to Advanced Concurrency.
Steps in Scala : an introduction to object-functional programming /
Software life cycle management standards : real-world scenarios and solutions for savings /
Constraint solving over multi-valued logics : application to digital circuits /