eBook Details: Paperback: 175 pages Publisher: WOW! eBook (March 18, 2023) Language: English ISBN-10: 1484292588 ISBN-13: 978-1484292587 eBook Description: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This...
eBook Details: Paperback: 471 pages Publisher: WOW! eBook (April 14, 2023) Language: English ISBN-10: 1484292332 ISBN-13: 978-1484292334 eBook Description: Introducing .NET MAUI: Build and Deploy Cross-platform Applications Using C# and .NET Multi-platform App UI Interested in giving Microsoft’s new Multi-platform App UI (MAUI) a try? This Introducing .NET MAUI book provides developers...
eBook Details: Paperback: 435 pages Publisher: WOW! eBook (April 13, 2023) Language: English ISBN-10: 1484292278 ISBN-13: 978-1484292273 eBook Description: Continuous Integration (CI) and Continuous Delivery (CD): A Practical Guide to Designing and Developing Pipelines Use Continuous Integration (CI) and Continuous Delivery (CD) to improve the speed of software delivery. This book presents...
eBook Details: Paperback: 329 pages Publisher: WOW! eBook (March 28, 2023) Language: English ISBN-10: 1484291778 ISBN-13: 978-1484291771 eBook Description: High-Performance Web Apps with FastAPI: The Asynchronous Web Framework Based on Modern Python Build APIs and web apps based on Asynchronous Server Gateway Interface (ASGI). This book provides a comprehensive explanation of using...
eBook Details: Paperback: 606 pages Publisher: WOW! eBook (March 25, 2023) Language: English ISBN-10: 1484291743 ISBN-13: 978-1484291740 eBook Description: Data-Driven SEO with Python: Solve SEO Challenges with Data Science Using Python Solve SEO problems using data science. This hands-on book is packed with Python code and data science techniques to help you...
