Mostrando 201 - 220 Resultados de 246 Para Buscar '"Korn"', tiempo de consulta: 0.08s Limitar resultados
  1. 201
    por Veeraraghavan, Sriranga
    Publicado 2002
    “…The vast majority of users utilize the Korn Shell or some variant of the Bourne Shell, such as bash. …”
    Libro electrónico
  2. 202
    por Kochan, Stephen G.
    Publicado 2003
    “…The vast majority of Unix users utilize the Korn shell or some variant of the Bourne shell, such as bash. …”
    Libro electrónico
  3. 203
    por Poniatowski, Marty
    Publicado 2002
    “…Covers all basic UNIX commands, plus sed , grep , awk , vi , and more Complete shell programming coverage—plus NEW programming section covering C/C++, Java(tm), and Internet development KornShell, Bash, C Shell, and Shell Programming Windows interoperability, in depth: Samba, NFS, Windows 2000 Services for UNIX, and much more UNIX end-users desperately need an up-to-date reference guide with real depth: one that teaches UNIX commands and doesn't just list them! …”
    Libro electrónico
  4. 204
    por Burnison, Gary, 1961-
    Publicado 2011
    “…Gary Burnison, CEO of Korn/Ferry International, the world's largest executive recruiting firm, sits down one-on-one with a highly select and elite corps, and together they openly discuss how they handled (often very publicly) war, economic…”
    Libro electrónico
  5. 205
    Publicado 2017
    Tabla de Contenidos: “…Front Cover -- Existence Theory for Generalized Newtonian Fluids -- Copyright -- Contents -- Preface -- Acknowledgment -- Notation -- Part 1 Stationary problems -- 1 Preliminaries -- 1.1 Lebesgue &amp -- Sobolev spaces -- 1.2 Orlicz spaces -- 1.3 Basics on Lipschitz truncation -- 1.4 Existence results for power law uids -- 2 Fluid mechanics &amp -- Orlicz spaces -- 2.1 Bogovskii operator -- 2.2 Negative norms &amp -- the pressure -- 2.3 Sharp conditions for Korn-type inequalities -- 3 Solenoidal Lipschitz truncation -- 3.1 Solenoidal truncation - stationary case -- 3.2 Solenoidal Lipschitz truncation in 2D -- 3.3 A-Stokes approximation - stationary case -- 4 Prandtl-Eyring uids -- 4.1 The approximated system -- 4.2 Stationary ows -- Part 2 Non-stationary problems -- 5 Preliminaries -- 5.1 Bochner spaces -- 5.2 Basics on parabolic Lipschitz truncation -- 5.3 Existence results for power law uids -- 6 Solenoidal Lipschitz truncation -- 6.1 Solenoidal truncation - evolutionary case -- 6.2 A-Stokes approximation - evolutionary case -- 7 Power law uids -- 7.1 The approximated system -- 7.2 Non-stationary ows -- Part 3 Stochastic problems -- 8 Preliminaries -- 8.1 Stochastic processes -- 8.2 Stochastic integration -- 8.3 Itô's Lemma -- 8.4 Stochastic ODEs -- 9 Stochastic PDEs -- 9.1 Stochastic analysis in in nite dimensions -- 9.2 Stochastic heat equation -- 9.3 Tools for compactness -- 10 Stochastic power law uids -- 10.1 Pressure decomposition -- 10.2 The approximated system -- 10.3 Non-stationary ows -- A Function spaces -- A.1 Function spaces involving the divergence -- A.2 Function spaces involving symmetric gradients -- B The A-Stokes system -- B.1 The stationary problem -- B.2 The non-stationary problem -- B.3 The non-stationary problem in divergence form -- C Itô's formula in in nite dimensions -- References -- Index -- Back Cover…”
    Libro electrónico
  6. 206
    Publicado 2012
    “…—Hal Johnson, Chairman, Global Human Resources Practice, Korn/Ferry International “Benton’s insights on being seen as a leader remain as relevant as ever, even though the tools with which we work have changed dramatically. . . . …”
    Libro electrónico
  7. 207
    por Aristide-Hastir, Isabelle
    Publicado 2022
    Electrónico
  8. 208
    Publicado 2012
    “…In this groundbreaking book, Burnison provides the answer. As the leader of Korn/Ferry International, Burnison is particularly well qualified to write a guide to effective leadership. …”
    Libro electrónico
  9. 209
    Publicado 2009
    Tabla de Contenidos: “…GREEN DAYGUNS N' ROSES; HENDRIX, JIMI; HOLLY, BUDDY; INCUBUS; IRON MAIDEN; JAIVAS, LOS; JANE'S ADDICTION; JETHRO TULL; JOPLIN, JANIS; JOURNEY; JOY DIVISION; JUDAS PRIEST; KING CRIMSON; KISS; KORN; LED ZEPPELIN; LENNON, JOHN; LEY, LA; LUCYBELL; MARILYN MANSON; McCARTNEY, PAUL; MECÁNICA POPULAR; MEGADETH; METALLICA; MINISTRY; MISERABLES, LOS; MÖTLEY CRÜE; MÖTORHEAD; MOX, LOS; MUSE; NINE INCH NAILS; NIRVANA; OASIS; OZZY OSBOURNE; PÁNICO; PANTERA; PANZER; PEARL JAM; PINK FLOYD; PIXIES; PLACEBO; POLICE, THE; POP, IGGY (THE STOOGES); PORCUPINE TREE; PRESLEY, ELVIS; PRISIONEROS, LOS; QUEEN…”
    Libro electrónico
  10. 210
    por Allorant, Pierre
    Publicado 2018
    Electrónico
  11. 211
    por Blancheton, Bertrand
    Publicado 2016
    Electrónico
  12. 212
    Publicado 2008
    “…Most other books do not cover all the shells, and when you have to constantly work in an organization that uses tcsh, bash, and korn, it can become very difficult. However, your book has been indispensable to me in learning the various shells and the differences between them...so I thought I’d email you, just to let you know what a great job you have done!” …”
    Libro electrónico
  13. 213
    Publicado 2011
    “…Each section of this book offers state-of-the-art processes, step-by-step practical management tools and techniques, and up-to-the-minute resources that will equip you to: Discover and develop new talent Inspire, coach, and train future leaders Reward and retain the best people Plan and realize a culture of organizational excellence Featuring breakthroughs and "best practices" from more than 30 leading global talent management firms-- Accenture, Center for Creative Leadership, Hay Group, Heidrick and Struggles, Human Capital Institute, Korn/Ferry International, Mercer, PricewaterhouseCoopers, Right Management, Sibson Consulting, Towers Watson, and others-- The Talent Management Handbook is a complete, all-in-one program designed to help you place the best people in the most critical jobs to assemble the building blocks of organizational excellence and create value--one person at a time. …”
    Libro electrónico
  14. 214
    por Akhund, Nadine
    Publicado 2022
    Electrónico
  15. 215
    Publicado 2023
    Tabla de Contenidos: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCETTM: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification — SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn–Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). …”
    Libro electrónico
  16. 216
    por André, Louis
    Publicado 2018
    Electrónico
  17. 217
    Publicado 2016
    Tabla de Contenidos: “…Machine generated contents note: Foreword Acknowledgments Preface Part I Overview Chapter 1 Women and the New Economy The New Economy: Opportunities for Women Women in Corporates and Finance Women in STEM (Science, Technology, Engineering, & Mathematics) Chapter 2 Mentoring and Sponsoring: The Keys to Success Mentoring and Sponsoring Women Employees Mentoring and Sponsoring Women Entrepreneurs Part II Voices of Women Business Leaders Chapter 3 Obstacles to Success and Solutions for Overcoming Them The Obstacles The Solutions Chapter 4 Role of Women in the Global Economy Interview with Irene Natividad, Founder and President of Global Summit of Women Chapter 5 Career Strategies for Women Interview with Professor Margaret Neale, Adams Distinguished Professor of Management at Stanford Graduate School of Business References Chapter 6 Inclusive Leadership Interview with Deborah Gillis, President & CEO of Catalyst Chapter 7 Improving the Place of Women in the Economy Interview with Audra Bohannon, Senior Partner at Korn Ferry's Leadership and Talent Consulting Chapter 8 Overcoming Women's Obstacles Interview with Christiane Bergevin, Executive Vice-President at Desjardins Group Chapter 9 Women's Spirit of Enterprise Interview with Valerie Bernis, Executive Vice President at ENGIE Part III Designing Mentoring and Sponsoring Programs Chapter 10 "Mentoring by ENGIE" Interview with Gerard Mestrallet, Chairman and Chief Executive Officer of ENGIE "Mentoring by ENGIE", A Structured Program to Train Women as Leaders Chapter 11 Oracle Women Leadership (OWL) Mentoring Program Interview with Leopoldo Boado, Chairman of Oracle Spain Oracle's Mentoring Program and Intercompany Experience Chapter 12 VivaWoman! …”
    Libro electrónico
  18. 218
    por Bossuat, Gérard
    Publicado 2022
    Electrónico
  19. 219
    por Bock, Fabienne
    Publicado 2016
    Electrónico
  20. 220
    Publicado 2017
    Tabla de Contenidos: “…Energy Leadership -- What Healthy, Productive 100-Year-Olds Can Teach Leaders -- Resilience Is a Dynamic Process -- Nature's Resilience: Rest and Activity -- Ten Principles of Resilience Mastery -- Reflection: Building Energy and Resilience -- Leadership Growth Plan: Resilience Mastery -- Chapter Seven: Being Mastery -- Leading with Presence -- Personal Journey into Being -- Going to Another Level to Resolve Leadership Challenges -- Getting Things Done by Non-Doing -- The Search for Something More -- Don't Place Descartes before the Source -- Techniques to Unfold Being -- Reflection: Exploring the Leader Within -- Connecting with Our Inner Self -- Being and Executive Presence -- Leadership Benefits of Being Mastery -- Four Principles of Being Mastery -- Leadership Growth Plan: Being Mastery -- Chapter Eight: Coaching Mastery -- Leading by Developing Self and Others -- Merging Three Interrelated Coaching Mastery Steps -- Coaching Mastery Step One: Building Awareness -- Reflection: Building Awareness -- Coaching Mastery Step Two: Building Commitment -- Reflection: Building Commitment -- Coaching Mastery Step Three: Building Practice -- Reflection: Building Practice -- The Art of Coaching Others -- Coaching Others to Build Awareness -- Coaching Others to Build Commitment -- Coaching Others to Build Practice -- Best Practices for Practice -- Parting Thoughts for Your Journey Ahead -- The Journey Continues -- Notes -- Bibliography -- Acknowledgments -- Index -- About Kevin Cashman -- About Korn Ferry…”
    Libro electrónico