Mostrando 121 - 140 Resultados de 169 Para Buscar '"Korn"', tiempo de consulta: 0.06s Limitar resultados
  1. 121
    por Burnison, Gary, 1961-
    Publicado 2013
    Libro electrónico
  2. 122
    por Garve, Christian, 1742-1798
    Publicado 1985
    Libro
  3. 123
    Publicado 2018
    “…Based on inner exploration drawn from the IP of the world's largest executive recruiting firm, the book gleans insights and stories (the good, the bad, and sometimes the ugly) from Korn Ferry recruiters across the globe who work with thousands of candidates each day. …”
    Libro electrónico
  4. 124
    Publicado 2018
    “…Again, whether you're using bash, bourne (sh), KornShell (ksh), C shell (csh), Z shell (zsh), or even the tcsh shell, you'll be able to put what you learn in this course to good use. …”
    Video
  5. 125
    Publicado 2004
    “…Drawing on 20 years’ experience as a shell programming instructor, Quigley guides you through every facet of programming all leading UNIX/Linux shells: bourne, bash, korn, C, and tcsh. Quigley illuminates each concept with up-to-date, classroom-tested code examples designed to help you jump-start your own projects. …”
    Libro electrónico
  6. 126
    Publicado 2019
    “…Rethink Everything You Know about Managing Talent in Today's Disruptive Landscape A Vice Chairman at Korn Ferry (KF)-the world's largest talent advisory and executive search firm-RJ Heckman has helped many of today's most successful companies develop talent-management strategies that ensure corporate success through good times and bad. …”
    Grabación no musical
  7. 127
    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
  8. 128
    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
  9. 129
    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
  10. 130
    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
  11. 131
    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
  12. 132
    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
  13. 133
    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
  14. 134
    por Aristide-Hastir, Isabelle
    Publicado 2022
    Electrónico
  15. 135
    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
  16. 136
    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
  17. 137
    por Allorant, Pierre
    Publicado 2018
    Electrónico
  18. 138
    por Blancheton, Bertrand
    Publicado 2016
    Electrónico
  19. 139
    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
  20. 140
    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