Mostrando 1,321 - 1,340 Resultados de 2,749 Para Buscar '"Terminator"', tiempo de consulta: 0.08s Limitar resultados
  1. 1321
    por Jedlička, Alois
    Publicado 1991
    Tabla de Contenidos: “…. - Jungmannova naučna próza s terminologii literârnë vëdnou a lingu ie tic k ou - II. Termin, te rm in o lo g ie - RoztHdëni term inu podle pùvodu a p ra m e n ù - Terminologie t r a d i č n i - Adaptace t e r m i n u - S l a v i s m v - Neologismy v uzkém slova smyslu. - Typy tvoreni - Pomër к pfedlohá. …”
    Libro electrónico
  2. 1322
    Publicado 1976
    Tabla de Contenidos: “…Introduction to Minicomputers; Advantages of the minicomputer; History; Current uses; Factors resulting in low cost; Core storage; Semiconductor storage; Organisation of storage; Instruction set; Addressing techniques; Interrupts; Input and output transfers; File storage; Output; Terminals; Chapter 2. Software; Operating systems; Emulators; Loaders and other systems utilities; Engineering Diagnostic Software; Arithmetical software; Program development ('debugging') software; Compilers and assemblers…”
    Libro electrónico
  3. 1323
    Publicado 2012
    Tabla de Contenidos: “…Working through and termination; Part III : eXtended range; 12. Psychodynamic approaches to agoraphobia and other phobias; 13. …”
    Libro electrónico
  4. 1324
    Publicado 2018
    Tabla de Contenidos: “…Schizophrenia-psychotherapy, termination, reparation: ""Florence""; Chapter 11. Paranoid psychosis-delusional body image: ""Elmer""; Chapter 12. …”
    Libro electrónico
  5. 1325
    por Gregory, Jon, Ph. D.
    Publicado 2010
    Tabla de Contenidos: “…3.2 Default-remote entities 3.2.1 High-quality counterparties; 3.2.2 Special purpose vehicles; 3.2.3 Central counterparties; 3.3 Termination and walkaway features; 3.3.1 Termination events; 3.3.2 Additional termination events; 3.3.3 Walkaway features; 3.4 Netting and close-out; 3.4.1 Close-out; 3.4.2 Payment and close-out netting; 3.4.3 The need for close-out netting; 3.4.4 The birth of netting; 3.4.5 Netting agreements; 3.4.6 The ISDA Master Agreement; 3.4.7 Product coverage; 3.4.8 Netting and exposure; 3.4.9 Advantages and disadvantages of netting; 3.4.10 Multilateral netting…”
    Libro electrónico
  6. 1326
    por Yaapa, Hage
    Publicado 2013
    Tabla de Contenidos: “…-- Simulating production environment -- Benchmarking the app -- Creating an app cluster -- Handling critical events -- Closing the server -- Handling uncaught errors -- Using try-catch to catch uncaught errors -- Using domains to handle uncaught errors -- What to do in case of uncaught errors - to terminate the process or not to terminate? -- Handling process termination -- Ensuring uptime -- Forever -- Upstart -- Using a reverse proxy -- The trust proxy option -- Summary -- Index…”
    Libro electrónico
  7. 1327
    por Wells, Karen C.
    Publicado 2008
    Tabla de Contenidos: “…Chapter 10 Session 8: Establishing Rules and ExpectationsChapter 11 Session 9: Discipline and Punishment-Part I; Chapter 12 Session 10: Discipline and Punishment-Part II; Chapter 13 Session 11: Getting Ready for Summer; Coping Power Program: Year 2; Chapter 14 Session 12: Academic Support in the Home-Review Session; Chapter 15 Session 13: Building Family Cohesion; Chapter 16 Session 14: Family Problem Solving; Chapter 17 Session 15: Family Communication; Chapter 18 Session 16: Long-Term Planning, Termination; References; About the Authors…”
    Libro electrónico
  8. 1328
    Publicado 2009
    Tabla de Contenidos: “…Aspectos deontológicos y prácticos / Trastornos mentales y dependencia / El anciano terminal : la dependencia como expresión última de la vida / Familia y dependencia : una mirada distinta, una respuesta diferente / Efectos en los niños de madres drogodependientes en el embarazo / Estimulación temprana : intervención en niños de cero a tres años / Intervención psicológica integral en vejez / Daño cerebral y dependencia / Autodeterminación y personas con discapacidad intelectual. …”
    Libro
  9. 1329
    Publicado 2011
    Tabla de Contenidos: “…Mediateca de Sendai / Toyo Ito. Terminal Marítima de Yokohama / Foreign Office Architects. …”
    Libro
  10. 1330
    Publicado 2019
    Tabla de Contenidos: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Completion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution)…”
    Libro electrónico
  11. 1331
    Tabla de Contenidos: “…-- Tables -- Figures -- References -- Annexes -- Data on the Lyons Urban Area Network -- Development of the Marketing Concept in Public Transport: Extracts from the report by the International Commission on Transport Economics -- Marketing and Service Quality in Public Transport by Lennart Olsson, Sweden -- -Introduction -- Organisation -- Targets and strategies -- Co-ordination -- Fares -- Radio communication -- Information -- Quality -- A profitability approache -- Speed and high comfort -- Fast express services -- Out-and-out express network -- Commuter trains -- Train pool -- "West trains" -- Terminals -- Marketing and creating an image -- Target groups and individual travel -- Figures -- SUMMARY OF DISCUSSIONS -- LIST OF PARTICIPANTS…”
    Libro electrónico
  12. 1332
    Publicado 2018
    Tabla de Contenidos: “…The role of wide area monitoring systems in dynamic vulnerability assessment -- Steady state security -- Probabilistic indicators for the assessment of reliability and security of future power systems -- An enhanced WAMS-based power system oscillation analysis approach -- Pattern-recognition-based approach for dynamic vulnerability status prediction -- Performance-indicator-based real-time vulnerability assessment -- Challenges ahead risk-based AC optimal power flow under uncertainty for smart, sustainable power systems -- Modelling preventive and corrective actions using linear formulations -- Model-based predictive control for damping electromechanical oscillations in power systems -- Voltage stability enhancement by computational intelligence methods -- Knowledge-based primary and optimization-based secondary control of multi-terminal HVDC grids -- Model based voltage/reactive control in sustainable distribution systems -- Multi-agent-based approach for intelligent control of reactive power injection in transmission systems -- Operation of distribution systems within secure limits using real-time model predictive control -- Enhancement of transmission system voltage stability through local control of distribution networks -- Electric power network splitting considering frequency dynamics and transmission overloads constraints -- High-speed transmission line protection based on empirical orthogonal functions -- Implementation of a real phasor based vulnerability assessment and control scheme : the Ecuadorian wampac system…”
    Libro electrónico
  13. 1333
    Publicado 2008
    Tabla de Contenidos: “…Cover; Half-title; Title; Copyright; Contents; Contributors; Acknowledgements; 1 Introduction; Categories and continua; Changing views of the epidemiology of schizophrenia; The aetiology of psychosis; Course and outcome of psychosis; Society and psychosis; Models and conclusions; REFERENCES; 2 Climate change in psychiatry: periodic fluctuations or terminal trend?; Introduction; Influences on research output; The rise of biological research; Searching for trends in the psychiatric literature (1) Method; Searching for trends in the psychiatric literature (2) Findings; Conclusions…”
    Libro electrónico
  14. 1334
    Publicado 1953
    Tabla de Contenidos: “…Rights of the individual ; Marriage and the family ; Termination of marriage; the 'agunah ; Property rights in marriage -- Property. …”
    Libro electrónico
  15. 1335
    Publicado 2024
    Tabla de Contenidos: “…Passion: The Best Fuel Out There, Other Than Chocolate -- Failure: The Shittiest Part of Finding Success -- Termination: Why Being "Let Go" Is the Best Euphemism Ever for Losing Your Job -- Dreams: Sometimes Scary, Always Interesting -- Apprenticeship: Fake It Till You Make It -- Working: Career, Job, or Hellscape? …”
    Libro electrónico
  16. 1336
    por Mojica, Jose
    Publicado 2002
    Tabla de Contenidos: “…Contents; C# & VB.NET Conversion Pocket Reference; Introduction; Conventions Used in This Book; Syntax Differences; Case Sensitivity; Line Termination; Comments; Namespace Declaration and Usage; Variable Declaration; Variable Initialization; Declaring Function Parameters; Passing Function Parameters; Optional Parameters; Parameter Lists; Method Declaration; Returning Output Parameters; Program Startup; Exiting Programs/Methods/Loops; Member Scope; Static and Shared Methods; Classes Versus Modules; If Statements; Short-Circuiting; Conditional Statement; Properties and Indexers; Arrays…”
    Libro electrónico
  17. 1337
    por Giles, Timothy
    Publicado 2009
    Tabla de Contenidos: “…Appendix E: BASIC PHYSICAL SECURITY STANDARDS Appendix F: Sample Termination Checklist; Appendix G: CRISIS MANAGEMENT EMERGENCY PLANNING CHECKLIST; INDEX; Back cover…”
    Libro electrónico
  18. 1338
    Publicado 2012
    Tabla de Contenidos: “…Openness to techniques from other therapies27. Termination; 28. Supervision and training; 29. Ethical issues and precautions; 30. …”
    Libro electrónico
  19. 1339
    por Weissman, Myrna
    Publicado 2016
    Tabla de Contenidos: “…; 2 Beginning IPT; 3 Grief; 4 Interpersonal Disputes; 5 Role Transitions; 6 Interpersonal Deficits; 7 Termination; 8 Techniques in IPT and the Therapist's Role; 9 Common Therapeutic Issues and Patient Questions; Section II: Adaptations of IPT for Mood Disorders; 10 Overview of Adaptations of IPT; 11 Maintenance Treatment of Depression; 12 Pregnancy, Miscarriage, and Postpartum Depression; 13 Depression in Adolescents and Children; 14 Depression in Older Adults; 15 Depression in Medical Patients; 16 Dysthymic Disorder…”
    Libro electrónico
  20. 1340
    por Glicken, Morley D.
    Publicado 2005
    Tabla de Contenidos: “…Part 3: Evidence-Based Practice With Special Client Populations8 - Evidence-Based Practice With Cluster B Personality Disorders; 9 - Evidence-Based Practice With Victims of Violence and Terrorism; 10 - Evidence-Based Practice with Substance Abusers; 11 - Evidence-Based Practice With Mental Illness and Severe Mood Disorders; 12 - Evidence-Based Practice With Terminal Illness and Bereavement; 13 - Evidence-Based Practice With Anxiety and Depression in Older Adults; Part 4: Evidence-Based Practice and Alternative Approaches to Helping…”
    Libro electrónico