Mostrando 1,321 - 1,340 Resultados de 2,758 Para Buscar '"Termination"', tiempo de consulta: 0.08s Limitar resultados
  1. 1321
    Tabla de Contenidos: “…How Transport Costs Shape the Spatial Pattern of Economic Activity -- The Informed and Oriented Transport System User -- Potential Economic Impacts of Technological and Organizational Innovations in Intermodal Access to Major Passenger Terminals -- Summary of Discussions -- Environmental Aspects of Inter-City Passenger Transport -- The Economics of Co2 Emissions Trading for Aviation -- The Contribution of Strategic Environmental Assessment to Transport Policy Governance -- Does Strategic Environmental Assessment Change Outcomes? …”
    Libro electrónico
  2. 1322
    Publicado 2018
    Tabla de Contenidos: “…Understanding DStreams -- Getting ready -- How to do it... -- Terminal 1 - Netcat window -- Terminal 2 - Spark Streaming window -- How it works... -- There's more... -- Understanding global aggregations -- Getting ready -- How to do it... -- Terminal 1 - Netcat window -- Terminal 2 - Spark Streaming window -- How it works... -- Continuous aggregation with structured streaming -- Getting ready -- How to do it... -- Terminal 1 - Netcat window -- Terminal 2 - Spark Streaming window -- How it works... -- Chapter 8: GraphFrames - Graph Theory with PySpark -- Introduction -- Installing GraphFrames -- Getting ready -- How to do it... -- How it works... -- Preparing the data -- Getting ready -- How to do it... -- How it works... -- There's more... -- Building the graph -- How to do it... -- How it works... -- Running queries against the graph -- Getting ready -- How to do it... -- How it works... -- Understanding the graph -- Getting ready -- How to do it... -- How it works... -- Using PageRank to determine airport ranking -- Getting ready -- How to do it... -- How it works... -- Finding the fewest number of connections -- Getting ready -- How to do it... -- How it works... -- There's more... -- See also -- Visualizing the graph -- Getting ready -- How to do it... -- How it works... -- Index…”
    Libro electrónico
  3. 1323
    Publicado 2019
    Tabla de Contenidos: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach – A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
    Libro electrónico
  4. 1324
    Publicado 2011
    Tabla de Contenidos: “…Luethi : La Chine et la guerre du Vietnam, 1971-1973 - Chen Jian: China, the Vietnam War, and the Path toward the Paris Peace Accord, 1968-1973 - Yuko Torikata: On the Fringe of Empires: The Vietnam War and Japan's Search for an Independent Role in Asia - Pierre Asselin: Hanoi's Diplomatic Struggle during the American War - Nguyen Van Khanh/Vu Quang Hien : Nord-Vietnam - Etats-Unis : le chemin de la paix vers la negociation et la signature de l'Accord de paix de Paris - Nguyen Manh Ha: The Paris Peace Talks: The Double Standard Carrot and Stick Policy of Nixon and Kissinger - Jeffrey Kimball: The Negotiated Termination of the American War in Vietnam: Evidence, Theory, Public Opinion, and the Anti-War Movement - Larry Berman: Not a Moment of Peace: Afterthoughts on No Peace, No Honor: Nixon, Kissinger and Betrayal in Vietnam - Antoine Coppolani : Diplomatie et outil militaire : l'exemple des negociations sur la fin de la guerre du Vietnam, 1972-1973 - Pierre Journoud : La France, cinquieme partie aux negociations ? …”
    Libro
  5. 1325
    por Barranco Martos, Antonio
    Publicado 2010
    Tabla de Contenidos: “….); TEMA 27 ENFERMEDAD TERMINAL (...); 1. ENFERMEDAD TERMINAL; 2. CUIDADOS PALIATIVOS; 3. …”
    Libro electrónico
  6. 1326
    por Editorial CEP S.L.
    Publicado 2010
    Tabla de Contenidos: “…ATENCIÓN AL ENFERMO TERMINAL; Atención al enfermo terminal; Atención al anciano ante la defunción; Atención post mortem; Lo que hemos aprendido; TEMA 24. …”
    Libro electrónico
  7. 1327
    Tabla de Contenidos: “…Research on clustering analysis and its application in customer data mining of enterpriseStudy on EEG monitoring information based on visual stimulation; Image encryption algorithm based on the key extracted from iris character; The prototype of the personalized information recommendation engine; Research on data mining in social network; The design of nautical navigation message system based on DSP; Research on the personal maritime search and rescue terminal; Design and implementation of image acquisition and processing system of QR code based on embedded system…”
    Libro electrónico
  8. 1328
    por Gibson, Darril
    Publicado 2008
    Tabla de Contenidos: “…Answers to Review QuestionsChapter 5: Monitoring and Maintaining Active Directory; Active Directory Roles; Active Directory Rights and Permissions; Active Directory Backup and Recovery; Group Policy; Summary; Exam Essentials; Review Questions; Answers to Review Questions; Chapter 6: Monitoring and Maintaining Print and File Servers; File Servers; Print Servers; Distributed File System; SharePoint Services; Summary; Exam Essentials; Review Questions; Answers to Review Questions; Chapter 7: Planning Terminal Services Servers; Terminal Services Servers; Internet Information Services; Summary…”
    Libro electrónico
  9. 1329
    Publicado 2023
    Tabla de Contenidos: “…Chapter 3: Understanding Algorithms and Algorithmic Thinking -- Technical requirements -- Defining algorithms in depth -- Algorithms should be clear and unambiguous -- Algorithms should have inputs and outputs that are well defined -- Algorithms should have finiteness -- Algorithms should be feasible -- Algorithms should be language independent -- Designing algorithms -- Problem 1 -- an office lunch -- Problem 2 -- a catering company -- Analyzing algorithms -- Algorithm analysis 1 -- states and capitals -- Algorithm analysis 2 -- terminating or not terminating? -- Summary…”
    Libro electrónico
  10. 1330
    Publicado 2023
    Tabla de Contenidos: “…Running services with init and systemd -- Portable Operating System Interface (POSIX) -- Summary -- Chapter 2: Learning More about Process Management -- Technical requirements -- Disassembling process creation -- Memory segments -- Continuing with process states and some scheduling mechanisms -- Scheduling mechanisms -- Scheduling at a high level -- Scheduling at a low level -- Learning more about process creation -- Introducing fork() -- exec and clone() -- Terminating a process -- Blocking a calling process -- Introducing the system calls for thread manipulation in C++…”
    Libro electrónico
  11. 1331
    Publicado 2006
    Tabla de Contenidos: “…6 Perspectives on Premarital Postdissolution Relationships: Account-Making of Friendships Between Former Romantic Partners7 Hurtful Interactions and the Dissolution of Intimacy; 8 Relationship Dissolution Following Infidelity; 9 What Goes Up May Come Down: Sex and Gendered Patterns in Relational Dissolution; 10 Social Construction of Accounts in the Process of Relationship Termination; 11 Process of Disaffection in Relationship Breakdown; 12 Divorce and Dissolution of Romantic Relationships: Stage Models and Their Limitations; 13 Coparenting Following Divorce and Relationship Dissolution…”
    Libro electrónico
  12. 1332
    Publicado 2016
    Tabla de Contenidos: “…Pan and tilt headSophisticated mountings; Camera Cables and Cabling Points; Cable care; Cabling points; Vision and Lighting Control Area; Control room position; Cabling; Operational considerations; Signal Processing (Camera Control Unit); Control features; Line-up of Camera Channels; Starting the day; Zoom tracking; Line-up charts; Vision Control; Lightweight cameras; Full-facility vision control; Monitoring the Vision Signal; The TV waveform; Signal levels; Picture Monitors: Monochrome; Monitor adjustment; Monitor termination; Monitor suitability; Picture Monitors: Colour; Monitor grades…”
    Libro electrónico
  13. 1333
    Publicado 2022
    Tabla de Contenidos: “…-- Il Cuore di Cristo: simbolo di amore e misericordia -- Una giusta comprensione del termine riparazione…”
    Libro
  14. 1334
    por Nelson-Jones, Richard
    Publicado 2002
    Tabla de Contenidos: “…Chapter 9 - Changing Thinking - 1Chapter 10 - Changing Thinking - 2; Chapter 11 - Changing Feelings and Physical Reactions; Chapter 12 - Conducting Middle Sessions; Chapter 13 - Consolidating Skills and Terminating Counselling and Therapy; Part III - Practice and Training Issues; Chapter 14 - Diversity Sensitive Counselling and Therapy; Chapter 15 - Ethical Issues in Practice and Training; Chapter 16 - Supervision and Continuing Professional Development; Appendix; Bibliography; Name Index; Subject Index; Also Available from SAGE Publications…”
    Libro electrónico
  15. 1335
    por Thompson, M. Guy, 1947-
    Publicado 1994
    Tabla de Contenidos: “…"Classical" Technique—and Freud's -- Introduction -- 25. Psychoanalysis, Terminable—or Impossible? -- 26. The End of Analysis -- References -- Index…”
    Libro electrónico
  16. 1336
    Publicado 2009
    Tabla de Contenidos: “…. -- Large-scale schedule-based transit assignment – further optimization of the solution algorithms -- Schedule-based transit assignment: new dynamic equilibrium model with vehicle capacity constraints -- MILATRAS: a new modeling framework for the transit assignment problem -- Simulation-based evaluation of Advanced Public Transportation Information Systems (APTIS) -- The build-up of capacity problems during the peak hour -- Schedule-based passenger and freight mode choice models for ex- urban trips -- A schedule-based methodology proposal for Sea Motorways feasibility evaluation -- Estimation of target time distribution for agri-food products by road transport -- A macroscopic model of a container terminal based on diachronic networks…”
    Libro electrónico
  17. 1337
    Publicado 2012
    Tabla de Contenidos: “…Chapter 12: Cable InstallationChapter 13: Splicing, Terminating, and Accessories; Chapter 14: Ampacity of Cables; Chapter 15: Thermal Resistivity of Soil; Chapter 16: Sheath Bonding and Grounding; Chapter 17: Underground System Fault Locating; Chapter 18: Field Assessment of Power Cable Systems; Chapter 19: Treeing; Chapter 20: Lightning Protection of Distribution Cable Systems; Chapter 21: Cable Performance; Chapter 22: Concentric Neutral Corrosion; Chapter 23: Armor Corrosion of Submarine Cables; Chapter 24: Glossary and Acronyms; Back Cover…”
    Libro electrónico
  18. 1338
    por Sinha, Sanjib. author
    Publicado 2017
    Tabla de Contenidos: “…Install Kali Linux & Other OS in VB Chapter - 5. Linux Terminals and Basic Functionalities -- Chapter 6 – Role of Python in Ethical Hacking -- Chapter 7 - Python environment -- Chapter 8 – General Syntaxes -- Chapter 9 – Variables, Objects and Values.…”
    Libro electrónico
  19. 1339
    Publicado 2022
    Tabla de Contenidos: “…-- Il Cuore di Cristo: simbolo di amore e misericordia -- Una giusta comprensione del termine riparazione…”
    991009653422906719
  20. 1340
    Publicado 2008
    Tabla de Contenidos: “…Chapter 11. Project TerminationPART III: REFERENCES GUIDES; Reference A: Traditional IT Metrics Reference; Reference B: Value Measuring Methodology1; Reference C: Establishing a Software Measurement Program1; Reference D: Selected Performance Metrics1; Reference E: Introduction to Software Engineering; Reference F: The Feasibility Study and Cost-Benefit Analysis; Reference G: Project Plan Outline; Reference H: Glossary; PART IV: INDEX; Index; Back cover…”
    Libro electrónico