Jaco van der Pol & Michael Weber 
Model Checking Software 
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

<p><b>Leverage the reactive paradigm with Rx JS and signals in your Angular applications using common patterns and techniques designed for real-world use …

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 …

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 …

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 …

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 …

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 …

Deno is a web platform that offers capabilities for Java Script and Type Script and supports modern web standards. It is a straightforward, up-to-date, secure runtime environment for web …

Everyone thinks of Excel differently, and its full potential is often untapped. Businesses tend to decide to invest heavily in proper BI tools, perhaps wrongfully assuming that Excel has a minimal …

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 …