Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Static Analysis of Software: The Abstract Interpretation (ISTE)
Static Analysis of Software: The Abstract Interpretation (ISTE)

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.

This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space,...

Metaheuristic Optimization: Nature-Inspired Algorithms Swarm and Computational Intelligence, Theory and Applications (Studies in Computational Intelligence, 927)
Metaheuristic Optimization: Nature-Inspired Algorithms Swarm and Computational Intelligence, Theory and Applications (Studies in Computational Intelligence, 927)
This book exemplifies how algorithms are developed by mimicking nature. Classical techniques for solving day-to-day problems is time-consuming and cannot address complex problems. Metaheuristic algorithms are nature-inspired optimization techniques for solving real-life complex problems. This book emphasizes the social behaviour of insects,...
Kali Linux: Assuring Security By Penetration Testing
Kali Linux: Assuring Security By Penetration Testing

Master the art of penetration testing with Kali Linux

Overview

  • Learn penetration testing techniques with an in-depth coverage of Kali Linux distribution
  • Explore the insights and importance of testing your corporate network systems before the hackers strike
  • Understand the...
Encyclopedia of Genocide (2 Volumes)
Encyclopedia of Genocide (2 Volumes)

The Encyclopedia is designed in an innovative structure that combines four types of entries:

  • Traditional Entries, or basic encyclopedic summaries of the knowledge in a typical area or field of study;
  • Feature Entries, which include...
Formal Methods for Concurrency
Formal Methods for Concurrency

The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages,...

Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011
Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011

This volume contains the proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics 2011 (LACL 2011), held June 29- July 1, 2011 in Montpellier, France. The LACL conferences aim at providing a forum for the presentation and discussion of current research in all the formal and logical aspects of...

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010

Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g., Java, C++, or C#. The International Conference on Formal...

Graph Theory with Algorithms and its Applications: In Applied Science and Technology
Graph Theory with Algorithms and its Applications: In Applied Science and Technology

The book has many important features which make it suitable for both undergraduate and postgraduate students in various branches of engineering and general and applied sciences. The important topics interrelating Mathematics & Computer Science are also covered briefly. The book is useful to readers with a wide range of backgrounds...

Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound...
LR Parsing: Theory and Practice (Cambridge Studies in Cultural Systems)
LR Parsing: Theory and Practice (Cambridge Studies in Cultural Systems)

LR parsing has become a widely used method of syntax analysis; this is largely due to the availability of parser generators and compiler- compilers based on LR techniques. However, the readily available ac counts of the theory of these techniques are either superficial or are weighed down with tedious mathematical detail of a merely...

Call Center Operation: Design, Operation and Maintenance
Call Center Operation: Design, Operation and Maintenance

Every customer-facing corporation has at least one call center. In the United States, call centers handle a billion calls per year. Call Center Operation gives you the complete coverage of the critical issues involved in the design, implementation, organization, and management of a customer call center. Sharp provides information on...

Windows Server 2008 Hyper-V Unleashed
Windows Server 2008 Hyper-V Unleashed
Hyper-V is Microsoft’s server virtualization technology built-in to Windows Server 2008.  Virtual Machine Manager 2008 is a System Center add-on that helps organizations better manage their virtual guest images, delegate administration and management, and even extract virtual images from existing physical and virtual servers.  This...
unlimited object storage image
Result Page: 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy