Mostrando 1,481 - 1,500 Resultados de 2,758 Para Buscar '"Termination"', tiempo de consulta: 0.08s Limitar resultados
  1. 1481
    por Butz, Thorsten
    Publicado 2021
    Tabla de Contenidos: “…-- Objektorientierung und Pipeline -- Kapitel 3: Installieren und Aktualisieren der PowerShell -- Installation von PowerShell 7 unter Windows -- Windows Package Manager (WinGet) -- Chocolatey -- Dotnet tool -- Installation von PowerShell 7 unter Linux -- Installation der PowerShell unter macOS -- Update auf Windows PowerShell 5.1 -- Installation von Visual Studio Code -- Installation des Windows Terminal -- Kapitel 4: Das Hilfesystem -- Kapitel 5: Die Grundlagen der PowerShell -- Cmdlets und Aliasse -- Objektorientierung -- Provider -- Umgebungsvariablen -- Einfache Formatierungen -- Zeichenfolgen: Strings -- Variablen -- Typbezeichner und Typkonvertierung -- Type Accelerator -- Mengenlehre: Arrays &amp -- Co. -- Array versus Arraylist -- Assoziative Arrays: Hash Tables -- Kapitel 6: Operatoren -- Vergleichsoperatoren -- Kapitel 7: Flusskontrolle -- Die Anweisungen if, elseif und else -- Die Anweisung switch -- Die for-Schleife -- Die foreach-Schleife -- Schleifen mit while, do, until -- Ablaufsteuerung mit break und continue -- Kapitel 8: Pipelining -- ForEach-Object -- Where-Object -- Calculated Properties -- Kapitel 9: Verwalten von Fehlern -- Nonterminating Errors -- Terminating Errors -- Ein- und Ausgabeumleitung: Streams -- Write-Host -- Kapitel 10: Den Funktionsumfang der PowerShell erweitern -- Snap-ins und Module -- Snap-ins -- Module -- RSAT -- Paketverwaltung -- Der Unterbau: OneGet und NuGet -- Erste Schritte: Aktualisieren und Konfigurieren -- Die PowerShell Gallery -- Kapitel 11: Vom Skript zum Modul -- Execution Policies (Ausführungsrichtlinien) -- Profile -- Eigene Skripte schreiben -- Argumente übergeben -- Einfache und erweiterte Funktionen…”
    Libro electrónico
  2. 1482
    por Campbell, Matthew
    Publicado 2012
    Tabla de Contenidos: “…Title Page; Copyright Page; Contents at a Glance; Table of Contents; About the Author; About the Technical Reviewer; Acknowledgments; Prefance; Chapter 1: Application Development; 1.1 Creating a Terminal Application; Problem; Solution; How It Works; The Code; Usage; 1.2 Writing to the Console; Problem; Solution; How It Works; The Code; Usage; 1.3 Creating a New Custom Class; Problem; Solution; How It Works; The Code; Usage; 1.4 Code Property Assessors; Problem; Solution; How It Works; The Code; Usage; 1.5 Code Property Assessors with @synthesize; Problem; Solution; How It Works; The Code…”
    Libro electrónico
  3. 1483
    Publicado 2010
    Tabla de Contenidos: “….); SOLUCIONES TEST; TEST 27 ENFERMEDAD TERMINAL (...); SOLUCIONES TEST; TEST 28 EL PERSONAL AUXILIAR (...); SOLUCIONES TEST…”
    Libro electrónico
  4. 1484
    por Springer Singapore
    Publicado 2020
    Tabla de Contenidos: “…Announcing Molecular Biomedicine -- Structural characterization of the C-terminal domain of SARS-CoV-2 nucleocapsid protein -- Structural basis for the multimerization of nonstructural protein nsp9 from SARS-CoV-2 -- Development of a novel TLR8 agonist for cancer immunotherapy -- The bone marrow niche components are adversely affected in sepsis -- Integrin-Src-YAP1 signaling mediates the melanoma acquired resistance to MAPK and PI3K/mTOR dual targeted therapy -- Low dose of emetine as potential anti-SARS-CoV-2 virus therapy: preclinical in vitro inhibition and in vivo pharmacokinetic evidences -- Multimodality molecular imaging of the alveolar-capillary barrier in lung disease using albumin based optical and PET tracers -- GEF-independent Ran activation shifts a fraction of the protein to the cytoplasm and promotes cell proliferation -- RAD50 deficiency is a predictor of platinum sensitivity in sporadic epithelial ovarian cancers -- Progress in exosome associated tumor markers and their detection methods -- Revisiting cancer hallmarks: insights from the interplay between oxidative stress and non-coding RNAs -- cGAS/STING: novel perspectives of the classic pathway -- Profiling chromatin regulatory landscape: insights into the development of ChIP-seq and ATAC-seq -- Developing inhaled protein therapeutics for lung diseases -- Nose to brain delivery of antiretroviral drugs in the treatment of neuroAIDS -- Update on treatment and preventive interventions against COVID-19: an overview of potential pharmacological agents and vaccines -- A promising vaccine candidate against COVID-19 -- SARS-CoV-2 is less likely to infect aquatic food animals: sequence and phylogeny analysis of ACE2 in mammals and fish…”
    Revista digital
  5. 1485
    Publicado 2019
    Tabla de Contenidos: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. …”
    Libro electrónico
  6. 1486
    Publicado 2015
    Tabla de Contenidos: “…Part I Markets, Regulation, and Model Risk -- A Random Holding Period Approach for Liquidity-Inclusive Risk Management -- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models -- Model Risk in Incomplete Markets with Jumps -- Part II Financial Engineering -- Bid-Ask Spread for Exotic Options Under Conic Finance -- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model -- A Two-Sided BNS Model for Multicurrency FX Markets -- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors -- Copula-Specific Credit Portfolio Modeling -- Implied Recovery Rates—Auctions and Models -- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence -- Part III Insurance Risk and Asset Management -- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design -- Reducing Surrender Incentives Through Fee Structure in Variable Annuities -- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment -- Risk Control in Asset Management: Motives and Concepts -- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash -- Improving Optimal Terminal Value Replicating Portfolios -- Part IV Computational Methods for Risk Management -- Risk and Computation -- Extreme Value Importance Sampling for Rare Event Risk Measurement -- A Note on the Numerical Evaluation of the Hartman–Watson Density and Distribution Function -- Computation of Copulas by Fourier Methods -- Part V Dependence Modelling -- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions -- Duality in Risk Aggregation -- Some Consequences of the Markov Kernel Perspective of Copulas -- Copula Representations for Invariant Dependence Functions -- Nonparametric Copula Density Estimation Using a Petrov–Galerkin Projection…”
    Libro electrónico
  7. 1487
    Publicado 2021
    Tabla de Contenidos: “…Conclusion -- Conclusion -- Appendix: Demonstrating the Terminal Value (TV) of DCFs -- References -- Index -- Other titles from iSTE in Innovation, Entrepreneurship and Management -- EULA…”
    Libro electrónico
  8. 1488
    Publicado 2016
    Tabla de Contenidos: “…Intro -- Title Page -- Copyright Page -- About the Author -- About the Technical Reviewer -- Contents -- Acknowledgments -- A Note to Readers -- Chapter 1: Search Problems -- Chapter 2: Exhaustive Search for an Informant -- Chapter 3: Arrays and Indexes on a Criminal's Farm -- Chapter 4: Strings and Hidden Messages -- Chapter 5: Binary Search for a Smuggler's Ship -- Chapter 6: Binary Search for Clues -- Chapter 7: Adapting Algorithms for a Daring Escape -- Chapter 8: Socks: An Interlude and an Introduction -- Chapter 9: Backtracking to Keep the Search Going -- Chapter 10: Picking Locks with Breadth-First Search -- Chapter 11: Depth-First Search in an Abandoned Prison -- Chapter 12: Cafeteria Stacks and Queues -- Chapter 13: Stacks and Queues for Search -- Chapter 14: Let's Split Up: Parallelized Search -- Chapter 15: Iterative Deepening Can Save Your Life -- Chapter 16: Inverted Indexes: The Search Narrows -- Chapter 17: A Binary Search Tree Trap -- Chapter 18: Building Binary Search Ladders -- Chapter 19: Binary Search Trees for Suspects -- Chapter 20: Adding Suspects to the Search Tree -- Chapter 21: The Binary Search Tree Property -- Chapter 22: Tries for Paperwork -- Chapter 23: Best-First Search: A Detective's Most Trusted Tool -- Chapter 24: Priority Queues for Investigations -- Chapter 25: Priority Queues for Lock Picking -- Chapter 26: Heuristics in Search -- Chapter 27: Heaps in Politics and Academia -- Chapter 28: Difficult Search Problems -- Chapter 29: Search Termination -- Epilogue -- Index -- Updates -- Meet Frank Runtime. …”
    Libro electrónico
  9. 1489
    por Blazek, Jody
    Publicado 2024
    Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- Contents -- List of Exhibits -- Preface -- About the Author -- Acknowledgments -- Chapter 1 Distinguishing Characteristics of Tax-Exempt Organizations -- Chapter 1.3 -- Chapter 1.4 Role of the Internal Revenue Service -- Chapter 1.5 Suitability as an Exempt Organization -- Chapter 3 Religious Organizations -- Chapter 4 Charitable Organizations -- 4.6 Promotion of Health -- Chapter 5 Educational, Scientific, and Literary Purposes and Prevention of Cruelty to Children and Animals -- 5.1 Educational Purposes -- 5.5 Fostering Amateur Sports Educational Purposes -- Chapter 6 Civic Leagues and Local Associations of Employees: (c)(4) -- 6.2 Qualifying and Nonqualifying Civic Organizations -- Chapter 6.2 Qualifying and Nonqualifying Civic Organizations -- (a) Limitation on Involvement with Political Candidates -- 6.4 Neighborhood and Homeowner's Associations -- 6.5 Disclosures of Nondeductibility -- Chapter 9 Social Clubs -- 9.1 Organizational Requirements and Characteristics -- (a) Purpose Clause and Activities -- Chapter 11 Public Charities -- 11.2a Donor Advised Funds -- Chapter 12 Private Foundations-General Concepts -- 12.1 Why Private Foundations Are Special -- 12.4 Termination of Private Foundation Status -- (e) Mergers, Split-Ups, and Transfers Between Foundations -- (h) Notifying the IRS -- Chapter 18 IRS Filings, Procedures, and Policies -- Chapter 24 Deductibility and Disclosures -- 24.1 Overview of Deductibility -- 24.6 Inflation Reduction Act -- Chapter 25 Employment Taxes -- Chapter 27 Cryptocurrency -- 27.1 What Is Cryptocurrency? …”
    Libro electrónico
  10. 1490
    por Lescuyer, Pierre, 1967-
    Publicado 2008
    Tabla de Contenidos: “…. / / 2.5 Policy Control and Charging. / / 2.6 The Terminal. / / 2.7 The Evolved UMTS Interfaces. / / 2.8 Major Disruptions with 3G UTRAN-FDD Networks . -- 3. …”
    Libro electrónico
  11. 1491
    por Rodriguez, Jacobo
    Publicado 2013
    Tabla de Contenidos:
    Libro electrónico
  12. 1492
    Publicado 2011
    Tabla de Contenidos: “…Foster + Partners. Passenger terminal complex, Suvarnabhumi International Airport (Bangkok, Thailand), Arq. …”
    Libro
  13. 1493
    Publicado 2023
    Tabla de Contenidos: “…Republicanism, History, and the American Experiment in Mercy Otis Warren's History of the Rise, Progress, and Termination of the American Revolution -- Tribunes and Negative Sovereignty in Rousseau's The Social Contract -- Historiographie et profondeur. …”
    Libro
  14. 1494
    por Parra Ortiz, Harold Ferney
    Publicado 2021
    “…The book is structured into twenty chapters, covering all stages of the process, from preliminary steps to execution and termination. It serves as a valuable resource for tax authorities, legal advisors, academics, and the general public interested in the intricacies of the coercive collection process. …”
    Libro electrónico
  15. 1495
    Publicado 2018
    “…A psychoanalytic process from its beginning to its termination is described to illustrate crucial technical issues in the treatment of individuals with narcissistic personality organization and the countertransference manifestations such patients stimulate in the analyst. …”
    Libro electrónico
  16. 1496
    por Keig, Andrew
    Publicado 2013
    Tabla de Contenidos: “…Scaling Express horizontallyvision-core; vision-api; vision-worker; vision-web; Vertical scale with Cluster; Balancing load with Hipache; Summary; Chapter 7: Production; Error handling, domains, and crash-only design; Redis sessions; SSL termination; Caching; Favicon; Minification; Compression; Logging; Summary; Index…”
    Libro electrónico
  17. 1497
    por Muller, Max, 1947-
    Publicado 2013
    Tabla de Contenidos: “…Sexual Harassment Defined -- The Faragher-Ellerth Defense -- The Investigation -- Workplace Violence -- Chapter 8: Privacy Issues -- Introduction -- Background Checks -- Medical Information During the Hiring Process -- The Employee Polygraph Protection Act of 1988 -- Monitoring Employees in the Workplace -- The National Labor Relations Act and Monitoring Employee Behavior -- Surveillance, Searches, and Other Intrusions -- Invasion of Privacy -- Defamation, Libel, and Slander -- Intentional Infliction of Emotional Distress or Outrage -- False Imprisonment -- Chapter 9: Firing and Separation -- Introduction -- Policy Statements May Alter At-Will Employment -- How to Reestablish the At-Will Privilege -- Progressive Discipline -- The Termination Session -- Wrongful Discharge -- The Worker Adjustment and Retraining Notification Act -- Chapter 10: Documentation and Records Retention -- Introduction -- Personnel Records in General -- Medical Information -- Other Documents That Should Not Be Kept in a Personnel File -- EEOC Minimum Document Retention Rules Under Title VII -- Document Retention Policies -- OSHA Recordkeeping -- Index…”
    Libro electrónico
  18. 1498
    Publicado 2013
    Tabla de Contenidos: “…Die wichtigsten Neuerungen in PowerPoint 2013 -- Ansichten und Folien -- Die Oberfläche von PowerPoint 2013 im Überblick -- Die Ansichten -- Neue Folien hinzufügen -- Folien neu anordnen -- Mit Folienlayouts arbeiten -- Mit Foliendesigns arbeiten -- Folienmaster - Überblick -- Folienmaster und Layoutfolie hinzufügen -- Folieninhalte eingeben und bearbeiten -- Text auf einer Folie eingeben -- In der Gliederungsansicht arbeiten -- Text neu anordnen -- Bilder hinzufügen -- Videoclip hinzufügen -- Audioclip hinzufügen -- Präsentationen vorbereiten und vorführen -- Übergänge zwischen Folien festlegen -- Animationseffekte für Objekte zuweisen -- Bildschirmpräsentation einrichten -- Ablauf der Bildschirmpräsentation testen -- Bildschirmpräsentation vorführen -- Zwischen Folien navigieren -- Die Referentenansicht -- Während der Bildschirmpräsentation auf Folien zeichnen -- Kommunikation mit Microsoft Outlook 2013 -- Die wichtigsten Neuerungen in Outlook 2013 -- E-Mail-Nachrichten austauschen -- Die Outlook-Benutzeroberfläche im Überblick -- E-Mail-Konten automatisch einrichten lassen -- E-Mail-Konten manuell einrichten -- Konten für soziale Netzwerke -- Der Bereich »E-Mail« im Überblick -- Mit dem Ordnerbereich arbeiten -- E-Mail-Nachrichten erstellen und versenden -- E-Mail-Nachrichten empfangen -- E-Mail-Nachrichten lesen -- E-Mail-Nachrichten beantworten oder weiterleiten -- Mit Anhängen arbeiten -- Junk-Mail herausfiltern -- Kontakte verwalten -- Der Bereich »Personen« im Überblick -- Kontakteintrag erstellen -- Kontaktdaten in Ansichten organisieren -- Verteilerlisten -- Mit Kontakten kommunizieren -- Kommunikation über einen Unternehmensserver -- Termine und Aufgaben -- Der Bereich »Kalender« im Überblick -- Termine eintragen -- Terminserien -- Termine ändern -- Der Bereich »Aufgaben« im Überblick -- Aufgaben eintragen -- Mit Aufgaben arbeiten…”
    Libro electrónico
  19. 1499
    Publicado 2020
    Tabla de Contenidos: “…-- 8.2 Die Privilegien bei Ubuntu -- 8.3 Das Ubuntu-Ökosystem -- 8.4 Spectre und Meltdown -- 8.5 Sichere Passwörter -- 8.6 Start absichern -- 8.7 Daten verschlüsseln -- 8.8 Firefox absichern -- 8.9 Ihre Daten sichern -- Kapitel 9: Der Linux-Verzeichnisbaum - Eine etwas andere Logik -- 9.1 Die wichtigsten Verzeichnisse -- 9.2 Geräte im Verzeichnisbaum -- 9.3 Eine Festplatte in den eigenen /home-Ordner einbinden -- 9.4 Das Terminal -- 9.5 Nautilus -- 9.6 Dateiverknüpfungen -- Nachwort…”
    Libro electrónico
  20. 1500
    por Chandra, Praphul
    Publicado 2005
    Tabla de Contenidos: “…3.6 Security at Layer 5+Chapter 4: Voice-Oriented Wireless Networks; 4.1 The Wireless Medium; 4.1.1 Radio Propagation Effects; 4.1.2 Hidden Terminal Problem; 4.1.3 Exposed Terminal Problem; 4.1.4 Bandwidth; 4.1.5 Other Constraints; 4.2 The Cellular Architecture; 4.3 TWNs: First Generation; 4.3.1 Addresses in AMPS; 4.3.2 Call Setup in AMPS; 4.4 TWNs: Second Generation; 4.4.1 Addresses in GSM; 4.4.2 Call Setup in GSM; 4.5 TWNs: Third Generation; 4.5.1 Connection Setup in UMTS; 4.6 The Overall Picture; Chapter 5: Data-Oriented Wireless Networks; 5.1 WLANs; 5.1.1: Addresses in 802.11…”
    Libro electrónico