Vor Ort
Merkzettel Warenkorb
Produktbild: Simulation and Verification of Electronic and Biological Systems

Simulation and Verification of Electronic and Biological Systems

96,29 €

inkl. gesetzl. MwSt.

Beschreibung

Produktdetails

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Nein

Erscheinungsdatum

12.01.2011

Herausgeber

Peng Li + weitere

Verlag

Springer Netherlands

Seitenzahl

196 (Printausgabe)

Dateigröße

5622 KB

Sprache

Englisch

EAN

9789400701496

Beschreibung

Produktdetails

Format

PDF

eBooks im PDF-Format haben eine festgelegte Seitengröße und eignen sich daher nur bedingt zum Lesen auf einem tolino eReader oder Smartphone. Für den vollen Lesegenuss empfehlen wir Ihnen bei PDF-eBooks die Verwendung eines Tablets oder Computers.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Nein

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Barrierefreiheit
  • keine Information zur Barrierefreiheit bekannt

Erscheinungsdatum

12.01.2011

Herausgeber

Verlag

Springer Netherlands

Seitenzahl

196 (Printausgabe)

Dateigröße

5622 KB

Sprache

Englisch

EAN

9789400701496

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Simulation and Verification of Electronic and Biological Systems
  • Forward. Preface. List of Contributors. Parallel Transistor-Level Circuit Simulation; Eric R. Keiter, Heidi K. Thornquist, Robert J. Hoekstra, Thomas V. Russo, Richard L. Schiek, and Eric L. Rankin. 1 Introduction. 2 Background. 3 Parallelism Opportunities in Circuit Simulation. 4 Graph Mitigation using Multilevel Newton Methods. 5 Software. 6 Parallel Linear Solver Strategy Comparison. 7 Graph Mitigation Example. 8 Conclusion. References. A Perspective on Fast-SPICE Simulation Technology; Michal Rewienski. 1 Introduction. 2 SPICE: transistor-level circuit simulation. 3 Fast-SPICE technologies. 4 Examples of fast-SPICE technologies. 5 Challenges of fast-SPICE and future research. References. Recent Advances in Structure-Preserving Model Order Reduction; Roland W. Freund. 1 Introduction. 2 Description of RCL Networks. 3 A Brief Review of Krylov Subspace-Based Model Order Reduction. 4 PRIMA. 5 SPRIM. 6 Thick-Restart Krylov Subspace Techniques. 7 Complex Expansion Points. 8 Concluding Remarks. References. Injection Locking Analysis and Simulation of Weakly Coupled Oscillator Networks; Prateek Bhansali and Jaijeet Roychowdhury. 1 Introduction. 2 Oscillators. 3 Injection Locking. 4 Coupled Oscillator Network Simulation. 5 Conclusions. References. Dynamic Stability of Static Memories: Concepts and Advanced Numerical Analysis Techniques; Peng Li, Wei Dong and Garng M. Huang. 1 Introduction. 2 Static Noise Margins. 3 Dynamic Stability Boundaries of Bistable Systems. 4 Dynamic Noise Margins. 5 Analysis of Dynamic Noise Margins. 6 Numerical Stability of Separatrix Tracing. 7 Extension to Memory Cells Modeled as High-Dimensional Systems. 8 Conclusions. References. Recycling Circuit Simulation Techniques for Mass-Action Biochemical Kinetics; Jared Toettcher, Joshua F.Apgar, Anya R.Castillo, Bruce Tidor and Jacob White. 1 Introduction. 2 Illustrative Examples. 3 System Comparisons. 4 Examples. 5 Conclusions. References. Circuit-based Models of Biomolecular System Dynamics; Elebeoba E. May. 1 Capturing the Dynamics of Living Circuits. 2 Simulating Metabolic Processes with Genetic Control. 3 Boolean Kinetics Framework for Simulating Large Scale Gene Networks. 4 Signal Transduction Cascades. References. Analog Verification; Ken Kundert and Henry Chang. 1 Analog Verification. 2 Design Time Line. 3 Analog Verification Engineers. 4 Adoption. 5 Examples. 6 Conclusion. References. Formal Methods for Verification of Analog Circuits; Sebastian Steinhorst and Lars Hedrich. 1 Introduction. 2 The Need for Formal Methods. 3 Overview over Formalized Analog Verification Methods. 4 Unifying and Formalizing Analog Verification Methodologies. 5 Experimental Results. 6 Conclusions. References.Index.