Ebook > Naturwissenschaft > Informatik > Anwendungs-Software > Dominique Mery & Stephan Merz: Integrated Formal Methods (PDF)

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

Support

Adobe DRM

Cover von Dominique Mery & Stephan Merz: Integrated Formal Methods (PDF)

€56.18

Sprache Englisch ● Format PDF ● ISBN 9783642162657 ● Herausgeber Dominique Mery & Stephan Merz ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2010 ● herunterladbar 3 mal ● Währung EUR ● ID 6321649 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Dominique Mery Stephan Merz

15.978 Ebooks in dieser Kategorie

Cover von Muskan (Amity University Rajasthan, India) Garg & Amit Kumar (Amity University Rajasthan, India) Gupta: Graph Learning and Network Science for Natural Language Processing

Muskan (Amity University Rajasthan, India) Garg & Amit Kumar (Amity University Rajasthan, India) Gupta: Graph Learning and Network Science for Natural Language Processing

Advances in graph-based natural language processing (NLP) and information retrieval tasks have shown the importance of processing using the Graph of Words method. This book covers recent concrete …

Cover von Kendra M. L. (University of Texas, Dallas, USA) Cooper & Walt Scacchi: Computer Games and Software Engineering

Kendra M. L. (University of Texas, Dallas, USA) Cooper & Walt Scacchi: Computer Games and Software Engineering

Computer games represent a significant software application domain for innovative research in software engineering techniques and technologies. Game developers, whether focusing on …

Cover von Stephen S. (Florida Hospital, Altamonte, Florida, USA) Beaver & David (Hyper9, Austin, Texas, USA) Marshall: VMware ESX Essentials in the Virtual Data Center

Stephen S. (Florida Hospital, Altamonte, Florida, USA) Beaver & David (Hyper9, Austin, Texas, USA) Marshall: VMware ESX Essentials in the Virtual Data Center

Flexible and efficient, VMware ESX is the tool of choice for enterprise data centers looking to make the most of the latest virtualization methods. However, to date, no single manual provides users …

Cover von Vishal (Sharda University, Greater Noida, India) Jain & Mandeep Kaur: Software-Defined Network Frameworks

Vishal (Sharda University, Greater Noida, India) Jain & Mandeep Kaur: Software-Defined Network Frameworks

Software-Defined Networks (SDN) work by virtualization of the network and the Cognitive Software-Defined Network (CSDN) combines the efficiencies of SDN with cognitive learning algorithms and enhance …

Cover von Roger Ye: .NET MAUI Cross-Platform Application Development

Roger Ye: .NET MAUI Cross-Platform Application Development

Build apps using .NET MAUI and Blazor with this comprehensive, revised guide for .NET 8. Purchase of the print or Kindle book includes a free e Book in PDF format. Key Features Handle data …

Cover von George (University of Nevada, US) Bebis & El-Sayed M. (King Fahd University of Petroleum: Intelligent Image and Video Analytics

George (University of Nevada, US) Bebis & El-Sayed M. (King Fahd University of Petroleum: Intelligent Image and Video Analytics

Video has rich information including meta-data, visual, audio, spatial and temporal data which can be analysed to extract a variety of low and high-level features to build predictive computational …

Cover von Mohuiddin Ahmed & Abu S.S.M Barkat Ullah: Security Analytics for the Internet of Everything

Mohuiddin Ahmed & Abu S.S.M Barkat Ullah: Security Analytics for the Internet of Everything

Security Analytics for the Internet of Everything compiles the latest trends, technologies, and applications in this emerging field. It includes chapters covering emerging security trends, cyber gove …

Cover von S. Albert (Vellore Institute of Technology, India) Alexander & Mary (Infant Jesus College of Engineering, India) Jasmine: Algorithm and Design Complexity

S. Albert (Vellore Institute of Technology, India) Alexander & Mary (Infant Jesus College of Engineering, India) Jasmine: Algorithm and Design Complexity

Computational complexity is critical in analysis of algorithms and is important to be able to select algorithms for efficiency and solvability. Algorithm and Design Complexity initiates with …

Cover von 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 …

Cover von Vivek (Corporate IT Strategy Consultant, Thane (West), India) Kale: Big Data Computing

Vivek (Corporate IT Strategy Consultant, Thane (West), India) Kale: Big Data Computing

This book unravels the mystery of Big Data computing and its power to transform business operations. The approach it uses will be helpful to any professional who must present a case for realizing Big …

nächste Seite >>>