Thierry Coquand & Peter Dybjer 
Types for Proofs and Programs 
International Workshop, TYPES’99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers

How can we recruit out of your program? We have a project – how do we reach out to your students? If we do research together who owns it? We have employees who need to ’upskill’ in analytics – can yo …

Over the period of last few decades, the ‘C’ language has become an icon for computer programmers. The field of computer science has undergone tremendous change, and the rate of obsolescence of …

Fully updated and expanded from the previous edition,   A Practical Guide to Database Design, Second Edition  is intended for those involved in the design or development of a database syste …

Toward Deep Neural Networks: WASD Neuronet Models, Algorithms, and Applications introduces the outlook and extension toward deep neural networks, with a focus on the weights-and-structure determinati …

Written in an informal yet informative style, Programming Language Fundamentals by Example uses active learning techniques, giving students a professional learning experience based on professional …

Advanced Data Science and Analytics with Python enables data scientists to continue developing their skills and apply them in business as well as academic settings. The subjects discussed in this boo …

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 …

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at …

Master AI image generation by leveraging Gen AI tools and techniques such as diffusers, Lo RA, textual inversion, Control Net, and prompt design Key Features Master the art of generating stunning AI …