Laurent Fribourg 
Computer Science Logic [PDF ebook] 
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

The world is becoming increasingly mobile. Smartphones and tablets have become more powerful and popular, with many of these devices now containing confidential business, financial, and personal info …

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

There is an intrinsic conflict between creating secure systems and usable systems. But usability and security can be made synergistic by providing requirements and design tools with specific usable s …

If you are a typical Oracle professional, you don”t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

The impressive Godot game engine allows any programmer to start making 2D and 3D games without any specialized language requirements. In addition, this game engine makes it simple to design video gam …

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

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 ro …

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framew …