Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Computer Science 11
- Engineering & Applied Sciences 11
- UNIX (Computer file) 10
- History 8
- Leadership 8
- Filosofía 7
- Historia 7
- UNIX Shells 5
- Biblia 4
- Crítica e interpretación 4
- Història 4
- KornShell (Computer program language) 4
- Oratoria 4
- Philosophy 4
- Bíblia 3
- Economic aspects 3
- Garve, Christian 3
- Jesucristo 3
- Operating systems (Computers) 3
- crítica e interpretación 3
- "Argonauticas" (Valerio Flaco, Cayo) 2
- 14-18 2
- Amplificadors operacionals 2
- Business & Economics 2
- Career development 2
- Cultural Studies 2
- Economic conditions 2
- Finance 2
- Geometria 2
- Guerra mundial, 1914-1918 2
-
201por Veeraraghavan, Sriranga“…The vast majority of users utilize the Korn Shell or some variant of the Bourne Shell, such as bash. …”
Publicado 2002
Libro electrónico -
202por Kochan, Stephen G.“…The vast majority of Unix users utilize the Korn shell or some variant of the Bourne shell, such as bash. …”
Publicado 2003
Libro electrónico -
203por Poniatowski, Marty“…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! …”
Publicado 2002
Libro electrónico -
204por Burnison, Gary, 1961-“…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…”
Publicado 2011
Libro electrónico -
205Publicado 2017Tabla de Contenidos: “…Front Cover -- Existence Theory for Generalized Newtonian Fluids -- Copyright -- Contents -- Preface -- Acknowledgment -- Notation -- Part 1 Stationary problems -- 1 Preliminaries -- 1.1 Lebesgue & -- Sobolev spaces -- 1.2 Orlicz spaces -- 1.3 Basics on Lipschitz truncation -- 1.4 Existence results for power law uids -- 2 Fluid mechanics & -- Orlicz spaces -- 2.1 Bogovskii operator -- 2.2 Negative norms & -- 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 -
206Publicado 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 -
207
-
208Publicado 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 -
209Publicado 2009Tabla 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…”
Biblioteca Universitat Ramon Llull (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada, Biblioteca de la Universidad Pontificia de Salamanca)Libro electrónico -
210
-
211
-
212Publicado 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 -
213Publicado 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 -
214
-
215Publicado 2023Tabla 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 -
216
-
217Publicado 2016Tabla 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 -
218
-
219
-
220Publicado 2017Tabla 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