Gordon Plotkin & Colin P. Stirling 
Proof, Language, and Interaction – Essays in Honour of Robin Milner [PDF ebook] 
Essays in Honour of Robin Milner

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy …

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as …

Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity i …

Develop your programming skills by exploring essential topics such as code reviews, implementing TDD and BDD, and designing APIs to overcome code inefficiency, redundancy, and other problems arising …

This book will take you on an engaging experience to understand SQL querying from the most basic to the most expert level, using various SQL techniques to extract valuable insights from your Maria DB …

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a …