Angebote zu "Mult" (12 Treffer)

Kategorien

Shops

Schwarz, V: Nestlé. A Corporate Financial Analy...
15,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11.09.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Nestlé. A Corporate Financial Analysis of a Multi Million Dollar Company, Autor: Schwarz, Viktoria, Verlag: GRIN Verlag, Sprache: Englisch, Rubrik: Betriebswirtschaft, Seiten: 40, Informationen: Paperback, Gewicht: 72 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.11.2020
Zum Angebot
Schwarz, V: Nestlé. A Corporate Financial Analy...
15,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11.09.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Nestlé. A Corporate Financial Analysis of a Multi Million Dollar Company, Autor: Schwarz, Viktoria, Verlag: GRIN Verlag, Sprache: Englisch, Rubrik: Betriebswirtschaft, Seiten: 40, Informationen: Paperback, Gewicht: 72 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.11.2020
Zum Angebot
Specification and Verification of Multi-agent S...
162,03 € *
ggf. zzgl. Versand

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems.Chapters include: - Using Theorem Proving to Verify Properties of Agent Programs - The Refinement of Multi-Agent Systems - Model Checking Agent Communication - Directions for Agent Model Checking - Model Checking Logics of Strategic Ability: Complexity - Correctness of Mult-Agent Programs: A Hybrid Approach - The Norm Implementation Problem in Normative Multi-Agent Systems - A Verification Logic for GOAL Agents - Using the Maude Term Rewriting Language for Agent Development with Formal Foundations - The Cognitive Agents Specification Language and Verification Environment - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns - Assurance of Agent Systems: What Role Should Formal Verification Play?Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

Anbieter: Dodax
Stand: 30.11.2020
Zum Angebot
Progress in Essential Oil Research
338,00 CHF *
ggf. zzgl. Versand

Frontmatter -- Preface -- Otto Wallach memorial session -- Acknowledgements -- CONTENTS -- SECTION I. COMPOSITION OF ESSENTIAL OILS, FLAVOURS AND FLOWER VOLATILES -- The flavour of the passionfruit - a review / Whitfield, F.B. / Last, J.H. -- Aroma volatiles of Nigella Sativa L. seeds / Aboutabl, E.A. / El-Azzouny, A.A. / Hammerschmidt, F.-J. -- Study of the fragrance given off by certain springtime flowers / Joulain, D. -- Essential oil composition of some nigerian medicinal plants / Ekundayo, Olusegun -- Volatile constituents of Achillea Wilhelmsii C. Koch (syn. A. Santolina auct. mult.) from egypt and the turkey / Brunke, E.-J. / Hammerschmidt, F.-J. -- Volatiles of Orthosiphon Stamineus Benth. / Schmidt, S. / Bos, R. -- The chemical composition of laurel leaf oil, obtained by steam distillation and hydrodiffusion / Boelens, M.H. / Sindreu, R.J. -- Volatile constituents of coriander fruit cultivated at different localities and isolated by different methods / Hirvi, T. / Salovaara, I. / Oksanen, H. / Honkanen, E. -- Essential oil of Cedrela Odorata L. (meliaceae) from brazil - revised list of constituents / Brunke, E.-J. / Hammerschmidt, F.-J. / Kôster, F.-H. -- Variations in the essential oil content and composition in individual plants obtained after breeding experiments with a Valeriana officinalis strain / Bos, R. / van Putten, F. M. S. / Hendriks, H. -- GC/MS analysis of essential oils of some tagetes species / Héthelyi, É. / Dânos, B. / Tétényi, P. / Koczka, I. -- Comparison of the volatile composition of some Calamintha/ Satureja species / De Pooter, H.L. / Schamp, N.M. -- The essential oils of three origanum species grown in turkey / Scheffer, J.J.C. / Looman, A. / Svendsen, A. Baerheim / Sarer, E. -- Chemical composition and variation of the essential oil from the norwegian Thymus praecox ss. arcicus and Thymus pulegioides / Stahl, E. -- Carvacrol and thymol chemotypes of east mediteranean wild labiatae herbs / Ravid, U. / Putievsky, E. -- The essential oil of Portuguese pine needles. First results / Carmo, M.M. / Frazão, S. -- SECTION II. NEW CONSTITUENTS OF ESSENTIAL OILS -- Isolation and synthesis of compounds from the essential oil of Helichrysum Italicum / Weyerstahl, P. / Marschall-Weyerstahl, H. / Weirauch, M. / Meier, N. / Manteuffel, E. / Leimner, J. / Scholz, S. -- Analytical results concerning the essential oil of Artemisia pallene / Klimes, I. / Lamparsky, D. -- Isolation and synthesis of (Z,Z)-4,7-Decadienal, the character impact compound in the oil of Acorus calamus L. / van Lier, F.P. / van der Linde, L.M. / van der Weerdt, A.J.A. -- New natural products of structural and olfactory interest identified in fig leaf absolute (Ficus carica L.) / Kaiser, R. -- An unusual compound isolated from Mentha piperita oil / Koepsel, M. / Krempel, A. / Surburg, H. -- New terpenoids from mexican stevia species / Zdero, C. / Bohlmann, F. -- A volatile diterpenoid from Ammi visnaga fruits / Stahl, Elisabeth / Sinnwell, V. -- Terpene alcohols in B-D-Glucosides in the leaves of dalmatian Salvia officinalis / Grzunov, K. / Mastelic, J. / Ružić, N. -- Structural elucidation of an irregular sesquiterpene alcohol from Peucedanum palustre (L.) moench / Kubeczka, K.-H. / Schmaus, G. / Formaćek, V. -- New constituents from the essential oils of pimpinella species / Kubeczka, K.-H. / Bohn, I. / Formaček, V. -- SECTION III. SYNTHESIS OF TERPENOIDS -- Sesquiterpene syntheses via cationic π-cyclizations / Wolf, H. -- First total synthesis of spirosantalol, a sesquiterpene alcohol from east indian sandalwood oil / Brunke, Ernst-Joachim / Tumbrink, Ludwig -- Synthesis of Tetramethyl Monoterpenes / Hoffmann, H.M.R. -- Synthesis of fragrance compounds within the bicyclo[2.2.2]octane series / Buchbauer, G. / Spreitzer, H. -- Synthesis of g- and d-lactones and their odorous and plant-growth regulating activity / Ikan, R. / Cramer, B. / Weinstein, V. / Goldschmidt, Z. / Spiegelstein, H. -- SECTION IV. BIOTECHNOLOGY, BIOCHEMISTRY -- Transformations of terpenoids / Kieslich, K. / Abraham, W.R. / Stumpf, B. / Thede, B. / Washausen, P. -- Screening for volatile terpenes in yeasts / Hanssen, H.-P. / Sprecher, E. / Klingenberg, A. -- Antimicrobial screening of essential oils - aspects

Anbieter: Orell Fuessli CH
Stand: 30.11.2020
Zum Angebot
Specification and Verification of Multi-agent S...
210,00 CHF *
ggf. zzgl. Versand

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: • Using Theorem Proving to Verify Properties of Agent Programs • The Refinement of Multi-Agent Systems • Model Checking Agent Communication • Directions for Agent Model Checking • Model Checking Logics of Strategic Ability: Complexity • Correctness of Mult-Agent Programs: A Hybrid Approach • The Norm Implementation Problem in Normative Multi-Agent Systems • A Verification Logic for GOAL Agents • Using the Maude Term Rewriting Language for Agent Development with Formal Foundations • The Cognitive Agents Specification Language and Verification Environment • A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns • Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

Anbieter: Orell Fuessli CH
Stand: 30.11.2020
Zum Angebot
Environmental Stress and Cellular Response in A...
56,90 CHF *
ggf. zzgl. Versand

While the subject of environmental stress in animals is broad, the available information is fragmentary and lacks an up-to-date overview and analysis. Environmental Stress and Cellular Response in Arthropods fills these knowledge gaps. Written by three experts from the same institution, the chapters have a consistency not often found in mult

Anbieter: Orell Fuessli CH
Stand: 30.11.2020
Zum Angebot
Specification and Verification of Multi-agent S...
194,90 CHF *
ggf. zzgl. Versand

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: . Using Theorem Proving to Verify Properties of Agent Programs . The Refinement of Multi-Agent Systems . Model Checking Agent Communication . Directions for Agent Model Checking . Model Checking Logics of Strategic Ability: Complexity . Correctness of Mult-Agent Programs: A Hybrid Approach . The Norm Implementation Problem in Normative Multi-Agent Systems . A Verification Logic for GOAL Agents . Using the Maude Term Rewriting Language for Agent Development with Formal Foundations . The Cognitive Agents Specification Language and Verification Environment . A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns . Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

Anbieter: Orell Fuessli CH
Stand: 30.11.2020
Zum Angebot
Progress in Essential Oil Research
179,95 € *
ggf. zzgl. Versand

Frontmatter -- Preface -- Otto Wallach memorial session -- Acknowledgements -- CONTENTS -- SECTION I. COMPOSITION OF ESSENTIAL OILS, FLAVOURS AND FLOWER VOLATILES -- The flavour of the passionfruit - a review / Whitfield, F.B. / Last, J.H. -- Aroma volatiles of Nigella Sativa L. seeds / Aboutabl, E.A. / El-Azzouny, A.A. / Hammerschmidt, F.-J. -- Study of the fragrance given off by certain springtime flowers / Joulain, D. -- Essential oil composition of some nigerian medicinal plants / Ekundayo, Olusegun -- Volatile constituents of Achillea Wilhelmsii C. Koch (syn. A. Santolina auct. mult.) from egypt and the turkey / Brunke, E.-J. / Hammerschmidt, F.-J. -- Volatiles of Orthosiphon Stamineus Benth. / Schmidt, S. / Bos, R. -- The chemical composition of laurel leaf oil, obtained by steam distillation and hydrodiffusion / Boelens, M.H. / Sindreu, R.J. -- Volatile constituents of coriander fruit cultivated at different localities and isolated by different methods / Hirvi, T. / Salovaara, I. / Oksanen, H. / Honkanen, E. -- Essential oil of Cedrela Odorata L. (meliaceae) from brazil - revised list of constituents / Brunke, E.-J. / Hammerschmidt, F.-J. / Kôster, F.-H. -- Variations in the essential oil content and composition in individual plants obtained after breeding experiments with a Valeriana officinalis strain / Bos, R. / van Putten, F. M. S. / Hendriks, H. -- GC/MS analysis of essential oils of some tagetes species / Héthelyi, É. / Dânos, B. / Tétényi, P. / Koczka, I. -- Comparison of the volatile composition of some Calamintha/ Satureja species / De Pooter, H.L. / Schamp, N.M. -- The essential oils of three origanum species grown in turkey / Scheffer, J.J.C. / Looman, A. / Svendsen, A. Baerheim / Sarer, E. -- Chemical composition and variation of the essential oil from the norwegian Thymus praecox ss. arcicus and Thymus pulegioides / Stahl, E. -- Carvacrol and thymol chemotypes of east mediteranean wild labiatae herbs / Ravid, U. / Putievsky, E. -- The essential oil of Portuguese pine needles. First results / Carmo, M.M. / Frazão, S. -- SECTION II. NEW CONSTITUENTS OF ESSENTIAL OILS -- Isolation and synthesis of compounds from the essential oil of Helichrysum Italicum / Weyerstahl, P. / Marschall-Weyerstahl, H. / Weirauch, M. / Meier, N. / Manteuffel, E. / Leimner, J. / Scholz, S. -- Analytical results concerning the essential oil of Artemisia pallene / Klimes, I. / Lamparsky, D. -- Isolation and synthesis of (Z,Z)-4,7-Decadienal, the character impact compound in the oil of Acorus calamus L. / van Lier, F.P. / van der Linde, L.M. / van der Weerdt, A.J.A. -- New natural products of structural and olfactory interest identified in fig leaf absolute (Ficus carica L.) / Kaiser, R. -- An unusual compound isolated from Mentha piperita oil / Koepsel, M. / Krempel, A. / Surburg, H. -- New terpenoids from mexican stevia species / Zdero, C. / Bohlmann, F. -- A volatile diterpenoid from Ammi visnaga fruits / Stahl, Elisabeth / Sinnwell, V. -- Terpene alcohols in B-D-Glucosides in the leaves of dalmatian Salvia officinalis / Grzunov, K. / Mastelic, J. / Ružić, N. -- Structural elucidation of an irregular sesquiterpene alcohol from Peucedanum palustre (L.) moench / Kubeczka, K.-H. / Schmaus, G. / Formaćek, V. -- New constituents from the essential oils of pimpinella species / Kubeczka, K.-H. / Bohn, I. / Formaček, V. -- SECTION III. SYNTHESIS OF TERPENOIDS -- Sesquiterpene syntheses via cationic π-cyclizations / Wolf, H. -- First total synthesis of spirosantalol, a sesquiterpene alcohol from east indian sandalwood oil / Brunke, Ernst-Joachim / Tumbrink, Ludwig -- Synthesis of Tetramethyl Monoterpenes / Hoffmann, H.M.R. -- Synthesis of fragrance compounds within the bicyclo[2.2.2]octane series / Buchbauer, G. / Spreitzer, H. -- Synthesis of g- and d-lactones and their odorous and plant-growth regulating activity / Ikan, R. / Cramer, B. / Weinstein, V. / Goldschmidt, Z. / Spiegelstein, H. -- SECTION IV. BIOTECHNOLOGY, BIOCHEMISTRY -- Transformations of terpenoids / Kieslich, K. / Abraham, W.R. / Stumpf, B. / Thede, B. / Washausen, P. -- Screening for volatile terpenes in yeasts / Hanssen, H.-P. / Sprecher, E. / Klingenberg, A. -- Antimicrobial screening of essential oils - aspects

Anbieter: Thalia AT
Stand: 30.11.2020
Zum Angebot
Specification and Verification of Multi-agent S...
216,99 € *
ggf. zzgl. Versand

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: • Using Theorem Proving to Verify Properties of Agent Programs • The Refinement of Multi-Agent Systems • Model Checking Agent Communication • Directions for Agent Model Checking • Model Checking Logics of Strategic Ability: Complexity • Correctness of Mult-Agent Programs: A Hybrid Approach • The Norm Implementation Problem in Normative Multi-Agent Systems • A Verification Logic for GOAL Agents • Using the Maude Term Rewriting Language for Agent Development with Formal Foundations • The Cognitive Agents Specification Language and Verification Environment • A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns • Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

Anbieter: Thalia AT
Stand: 30.11.2020
Zum Angebot