Dominique Mery & Stephan Merz 
Integrated Formal Methods 
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

<p><b>Discover ways to enhance your application”s functionality through hands-on learning for designing, testing, securing, deploying, and maintaining production-ready …

Leverage the power of Web Assembly with .NET 7 and C# to develop cutting-edge frontend web applications systematically with this comprehensive guide Purchase of the print or Kindle book includes a …

Authored by a Microsoft Regional Director, this book shows you how to leverage the power of the community-driven Git Hub Actions workflow platform to automate repetitive engineering tasks Key …

Venture into microservices with Node.js, uncovering step-by-step roadmaps, insightful demonstrations, and cutting-edge techniques to build robust web applications Key Features Explore microservices …

The Human Machine Interaction in the Digital Era (ICHMIDE) 2023 conference aims to address the main issues of concern in the design issues with a particular emphasis on the design and development of …

Develop modern web UIs with Blazor Server and Blazor Web Assembly now introducing Streaming and Static Server-Side Rendering (SSR) and flexible hosting models in .NET 8Purchase of the print or Kindle …

Provides a practical overview of the most common database management tasks for those who need to manage …

The term ‘data’ being mostly used, experimented, analyzed, and researched, ‘ Data Science and its Applications ‘ finds relevance in all domains of research studies including science, engineering, tec …

Making use of digital technology for social care is a major responsibility of the computing domain. Social care services require attention for ease in social systems, e-farming, and automation, etc. …

Maintaining a practical perspective, Python Programming: A Practical Approach acquaints you with the wonderful world of programming. The book is a starting point for those who want to learn Python pr …