Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Animal sauvage --- wild animals --- Population animale --- Animal population --- Habitat --- habitats --- Structure de la population --- population structure --- Ressource animale --- Animal resources --- Gestion des ressources --- resource management --- Conservation des ressources --- Resource conservation --- Échantillonnage --- Sampling --- Surveillance --- monitoring --- Mesure --- Measurement --- Évaluation --- evaluation --- 502.6 --- 502.7 --- Wildlife management --- Wildlife research. --- Wildlife habitat improvement. --- Habitat conservation. --- 57.08 --- Conservation of habitat --- Habitat preservation --- Habitat protection --- Habitat (Ecology) --- Preservation of habitat --- Protection of habitat --- Nature conservation --- Habitat improvement, Wildlife --- Animal ecology --- Wildlife conservation --- Wildlife attracting --- Zoology --- Animal populations --- Game management --- Management, Game --- Management, Wildlife --- Plant populations --- Wildlife resources --- Natural resources --- Protection of inanimate nature, landscape --- Protection of animate nature. Wildlife conservation and protection --- Technique. --- Biological techniques. Experimental methods. Equipment --- Conservation --- Protection --- Modification --- Research --- Management --- 57.08 Biological techniques. Experimental methods. Equipment --- 502.7 Protection of animate nature. Wildlife conservation and protection --- 502.6 Protection of inanimate nature, landscape --- habitats. --- evaluation. --- Wildlife research --- Wildlife habitat improvement --- Habitat conservation --- Technique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Disraeli, Benjamin --- Disraeli, Benjamin, - Earl of Beaconsfield, - 1804-1881.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

Computer software --- Electronic digital computers --- Logiciels --- Ordinateurs --- Verification --- Congresses. --- Evaluation --- Vérification --- Congrès --- Vérification --- Congrès --- Congresses --- Logic design. --- Information theory. --- Computer hardware. --- Software engineering. --- Computer science. --- Logics and Meanings of Programs. --- Theory of Computation. --- Computer Hardware. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Special Purpose and Application-Based Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electric current converters --- Electric driving. --- Electric machinery --- Field orientation principle (Electric engineering). --- Numbers, Complex. --- Vector analysis. --- Mathematical models. --- Alternating current --- Field orientation principle (Electric engineering) --- Electric driving --- Numbers, Complex --- Vector analysis --- #TELE:ELEN --- Algebra, Universal --- Mathematics --- Quaternions --- Spinor analysis --- Vector algebra --- Complex numbers --- Imaginary quantities --- Quantities, Imaginary --- Electromechanical devices --- Machinery --- Electric power --- Power transmission --- Converters, Electric --- Electric converters --- Electric power supplies to apparatus --- Power electronics --- Mathematical models --- Alternating current&delete&

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)