Ebook > Nauka > Informatyka > Oprogramowanie użytkowe > Hubert Garavel & John Hatcliff: Tools and Algorithms for the Construction and Analysis of Systems (PDF)

Hubert Garavel & John Hatcliff
Tools and Algorithms for the Construction and Analysis of Systems [PDF ebook]
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Wsparcie

Pokrywa Hubert Garavel & John Hatcliff: Tools and Algorithms for the Construction and Analysis of Systems (PDF)

€113.93

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9783540365778 ● Redaktor Hubert Garavel & John Hatcliff ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2003 ● Do pobrania 3 czasy ● Waluta EUR ● ID 6317348 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Hubert Garavel John Hatcliff

16 549 Ebooki w tej kategorii

Pokrywa Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy …

Pokrywa Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Pokrywa Donald J. (President, Reifer Consultants LLC, Prescott, Arizona, USA) Reifer: Software Maintenance Success Recipes

Donald J. (President, Reifer Consultants LLC, Prescott, Arizona, USA) Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are …

Pokrywa Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity i …

Pokrywa Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as …

Pokrywa Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

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 …

Pokrywa Rathinaraja (National Institute of Technology, India) Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

Rathinaraja (National Institute of Technology, India) Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …

Pokrywa Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

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 …

Pokrywa Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

C# 11 is the latest version of C#, a popular programming language for building cloud, web, and desktop applications. It is a powerful and versatile language that can create a wide range of …

Pokrywa Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

Następna strona >>>