Zoltan Esik 
Computer Science Logic [PDF ebook] 
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, 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 …

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 …

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 …

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 …

C++ continues to remain relevant despite the advent of many new modern languages. This book dives into the significant features of C++20 ("big four") and C++23, addressing challenges and im …

This comprehensive guide starts with the fundamentals and gradually progresses to advanced techniques. It provides a structured learning path with clear explanations, practical examples, and hands-on …

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

Written by VM-certified instructors with years of professional and teaching experience, VMware Certified Professional Test Prep is the ultimate guide to the VCP exam. Its organized and highly practic …