Koornneef (66 Ergebnisse)

Hardcover. Zustand: Gut. 414 S. Ehem. Bibliotheksexemplar mit Bib.-Signatur und Stempel in GUTEM Zustand. Kaum Gebrauchsspuren. 9024736889 Sprache: Englisch Gewicht in Gramm: 550.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New. pp. 436.

Zustand: New. pp. 400.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Paper.- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems.- Verification and Validation.- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection.- Speeding-Up Fault Injection Campaigns in VHDL Models.- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.- Validation of Control System Specifications with Abstract Plant Models.- A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software.- Expert Error: The Case of Trouble-Shooting in Electronics.- The Safety Management of Data-Driven Safety-Related Systems.- Software Support for Incident Reporting Systems in Safety-Critical Applications.- Software Process Improvement.- A Dependability-Explicit Model for the Development of Computing Systems.- Deriving Quantified Safety Requirements in Complex Systems.- Improving Software Development by Using Safe Object Oriented Development : OTCD.- A Safety Licensable PES for SIL 4 Applications.- Safety and Security Issues in Electric Power Industry.- Dependability of Computer Control Systems in Power Plants.- A Method of Analysis of Fault Trees with Time Dependencies.- Formal Methods.- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.- Formal Methods: The Problem Is Education.- Formal Methods Diffusion: Past Lessons and Future Prospects.- Invited Paper.- Safe Tech: A Control Oriented Viewpoint.- Safety Guidelines, Standards and Certification.- Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems.- IEC 61508 - A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems .- Hardware Aspects.- An Approach toSoftware Assisted Recovery from Hardware Transient Faults for Real Time Systems.- Programmable Electronic System Design & Verification Utilizing DFM.- SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller.- Safety Assessment I.- Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.- Estimating Dependability of Programmable Systems Using BBNs.- Design for Safety.- Improvements in Process Control Dependability through Internet Security Technology.- A Survey on Safety-Critical Multicast Networking.- Invited Paper.- Causal Reasoning about Aircraft Accidents.- Transport & Infrastructure.- Controlling Requirements Evolution: An Avionics Case Study.- HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems.- Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components.- Safety Assessment II.- Risk Ordering of States in Safecharts.- Dependability Evaluation: Model and Method Based on Activity Theory.- Forensic Software Engineering and the Need for New Approaches to Accident Investigation.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 34th InternationalConference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held inDelft, The Netherlands, in September 2014. The 32 revised full papers presentedtogether with 3 invited talks were carefully reviewed andselected from 104 submissions. The papers are organized in topical sections onflight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.…

Taschenbuch. Zustand: Neu. Computer Safety, Reliability, and Security | 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings | Floor Koornneef (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2015 | Springer | EAN 9783319242545 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Computer Safety, Reliability, and Security | SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings | Floor Koornneef (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxvi | Englisch | 2015 | Springer | EAN 9783319242484 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Computer Safety, Reliability, and Security | 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings | Floor Koornneef (u. a.) | Taschenbuch | x | Englisch | 2000 | Springer | EAN 9783540411864 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 460 pages. 9.25x6.10x1.08 inches. In Stock.

Paperback. Zustand: Brand New. 508 pages. 9.25x6.10x1.15 inches. In Stock.

Paperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Zustand: New. In English.

Zustand: New.

Zustand: New.

Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Zustand: As New. Unread book in perfect condition.

Gebunden. Zustand: New. Proceedings of the 7th International Protoplast Symposium, Wageningen, The Netherlands, December 6-11, 1987 Progress in Plant Protoplast Research.- Obstacles and Perspectives in Protoplast Research.- Aspects of Protoplast Culture and Plant Regenera.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Progress in Plant Protoplast Research.- Obstacles and Perspectives in Protoplast Research.- Aspects of Protoplast Culture and Plant Regeneration.- Recent Developments in the Regeneration of Agronomically Important Crops from Protoplasts.- Selection, Experimental Manipulation and Culture of Single Protoplasts.- Uniparental, Fusant, and Chimeric Plants Regenerated from Protoplasts after Streak Plating in Agarose Gels.- Electroporation Mediated Enhancement of Plant Protoplast Division and Plant Regeneration.- Selection of Potato Cell Suspension Protoplast Subpopulation by Rhodamine 123.- Protoplast Culture of Dioscorea opposita Thunb. (D. Batatas Decne).- Isolation and Culture of Buckwheat (Faqopyrum esculentum Moench.) Callus Protoplasts.- Partial Purification of a Cellulase Used for Protoplast Isolation from Barley (Hordeum vulgare).- Plant Regeneration from Cell Suspension Protoplasts of Festuca arundinacea Schreb., Lolium perenne L. and L. multiflorum Lam.- Isolation, Culture and Regeneration of Lolium perenne and Lolium multiflorum Protoplasts.- Mature Plant Regeneration from cultivated Protoplasts of Rice (Oryza sativa L.).- The Plants Regenerated from Protoplasts of Suspension Cells of Rice (Oryza sativa L).- Regeneration of Plantlets from Protoplasts of Poa pratensis L. (Kentucky Bluegrass).- Somatic Embryogenesis and Plant Regeneration from Protoplast of Maize (Zea mays L.).- Protoplasts from Actinidia deliciosa (Kiwi): Obtention and Culture.- Colony Formation from Cell Suspension Culture Protoplasts of Kiwifruit.- Isolation and Culture of Grapevine Protoplasts (Vitis Vinifera L.).- Studies Towards a Protoplast Isolation and Culture Procedure in Sugarbeet (Beta vulgaris L.) Applicable to a Variety of Genotypes.- Improvement of Protoplast Culture in Helianthus annuus (L).- Factors Influencing Protoplasts Plating Efficiency and Direct Somatic Embryogenesis Induction in Sunflower (Helianthus annuus L.).- Comparison of Sunflower Protoplast Development in Liquid or Solidified Media.- Plant Regeneration from Protoplasts of Rudbeckia and Dimorphotheca Species (Compositae).- Optimization of Lettuce Calli Regeneration from Protoplasts.- Optimal Density and Osmolality of Protoplasts for Improved Cultural Performance.- Development of Protoplast Culture Procedures in Brassica Crops Suitable for in vitro Selection Herbicide Resistance Mutants and Cybrids.- Somatic Embryogenesis in Stationary Phase Suspension Cultures Derived from Hypocotyl Protoplasts of Brassica napus L.- Plant Regeneration from Cucumber Protoplasts.- Callus Formation from Mesophyll protoplasts of Forage Legume Astragalus huangheensis Fu et Lin.- Preliminary Studies of Lupinus Protoplasts.- Regeneration and Differentiation of Protoplasts in Grain Legumes.- Plant Regeneration from Strawberry (Fragaria ananassa) Mesophyll Protoplasts.- Isolation and Culture of Apple Mesophyll Protoplasts.- Phizogenesis as an Intermediate Step Towards Plant Regeneration of Protoolasts of Sour Cherry (Prunus cerasus L.) Rosaceae.- Isolation and Culture of Protoplasts from Totipotent Cell Cultures of Populus ciliata.- A Protoplast System for Populus which will Support Genetic Engineering Research of Tree Species.- Factors Influencing Digitalis obscura Mesophyll Protoplast Development.- Cotyledon Protoplasts from Solanum melongena L. Regeneration to Fertile.- Isolation, Culture and Regeneration of Leaf Protoplasts in the Genus Capsicum.- Isolation and Properties of Protoplasts of Theobroma cacao L.- Plantlet Regeneration from Protoplasts of Levisticum officinale Koch. and its Cytological Investigation.- Differences in Developmental Morphology of Protoplasts from Two Cell lines of which Spruce (Picea glauca).- Protoplast Development from Porphyra linearis - An Edible Marine Red Alga.- Structure and Physiology of the Protoplast Plasma Membrane.- Why do Mesophyll Protoplasts Dedifferentiate .- Release of Phytotoxic Factors from Plant Cell Walls During Protoplast Isolation.- Role of Pero.…

Zustand: New. Proceedings of the 7th International Protoplast Symposium, Wageningen, The Netherlands, December 6-11, 1987 Progress in Plant Protoplast Research.- Obstacles and Perspectives in Protoplast Research.- Aspects of Protoplast Culture and Plant Regenera.