LEADER 02067oam 2200577I 450 001 9910783078403321 005 20230808210408.0 010 $a1-317-12070-1 010 $a1-315-58721-1 010 $a0-566-08964-5 024 7 $a10.4324/9781315587219 035 $a(CKB)1000000000003781 035 $a(SSID)ssj0000280413 035 $a(PQKBManifestationID)11226001 035 $a(PQKBTitleCode)TC0000280413 035 $a(PQKBWorkID)10290747 035 $a(PQKB)10236524 035 $a(MiAaPQ)EBC3002195 035 $a(Au-PeEL)EBL3002195 035 $a(CaPaEBR)ebr10046822 035 $a(CaONFJC)MIL1010801 035 $a(OCoLC)923568857 035 $a(OCoLC)992323300 035 $a(EXLCZ)991000000000003781 100 $a20180706e20162003 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHow to get best value from HR $ethe shared services option /$fPeter Reilly and Tony Williams 210 1$aLondon :$cRoutledge,$d2016. 215 $avi, 152 p. $cill 300 $aFirst published 2003 by Gower Publishing. 311 $a0-566-08495-3 320 $aIncludes bibliographical references (p. [148]) and index. 327 $a1. What are HR shared services? -- 2. Why introduce HR shared services? -- 3. The big design decisions -- 4. How to introduce shared services : the process steps to take -- 5. The process of outsourcing -- 6. Implementation -- 7. Monitoring performance and evaluation -- 8. Case study : the Royal Bank of Scotland Group -- 9. Pitfalls and solutions. 606 $aShared services (Management) 606 $aPersonnel management 615 0$aShared services (Management) 615 0$aPersonnel management. 676 $a658.3/01 700 $aReilly$b Peter A$g(Peter Andrew),$f1952-,$01470615 701 $aWilliams$b Tony$037121 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910783078403321 996 $aHow to get best value from HR$93682589 997 $aUNINA LEADER 04184nam 2200661Ia 450 001 9910484592703321 005 20200520144314.0 010 $a1-280-38582-0 010 $a9786613563743 010 $a3-642-11957-3 024 7 $a10.1007/978-3-642-11957-6 035 $a(CKB)2670000000010129 035 $a(SSID)ssj0000399492 035 $a(PQKBManifestationID)11257717 035 $a(PQKBTitleCode)TC0000399492 035 $a(PQKBWorkID)10375835 035 $a(PQKB)10933887 035 $a(DE-He213)978-3-642-11957-6 035 $a(MiAaPQ)EBC3065092 035 $a(PPN)149059744 035 $a(EXLCZ)992670000000010129 100 $a20100512d2010 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aProgramming languages and systems $e19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings /$fAndrew D. Gordon (ed.) 205 $a1st ed. 2010. 210 $aBerlin $cSpringer$d2010 215 $a1 online resource (XV, 632 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6012 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-11956-5 320 $aIncludes bibliographical references and index. 327 $aThe Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties -- Formal Verification of Coalescing Graph-Coloring Register Allocation -- A Theory of Speculative Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear Space -- Logical Concurrency Control from Sequential Proofs -- Fluid Updates: Beyond Strong vs. Weak Updates -- Parameterized Memory Models and Concurrent Separation Logic -- Amortized Resource Analysis with Polynomial Potential -- Generative Operational Semantics for Relaxed Memory Models -- Automating Security Mediation Placement -- TRX: A Formally Verified Parser Interpreter -- On the Expressive Power of Primitives for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow Policies in Fine -- Stateful Contracts for Affine Types -- CFA2: A Context-Free Approach to Control-Flow Analysis -- Weighted Dynamic Pushdown Networks -- Explicit Stabilisation for Modular Rely-Guarantee Reasoning. 410 0$aLecture notes in computer science ;$v6012. 517 3 $a19th European Symposium on Programming 517 3 $aEuropean Symposium on Programming 517 3 $aESOP 2010 517 3 $aETAPS 2010 517 3 $aJoint European Conferences on Theory and Practice of Software 606 $aComputer programming$vCongresses 606 $aProgramming languages (Electronic computers)$vCongresses 615 0$aComputer programming 615 0$aProgramming languages (Electronic computers) 676 $a005.1 686 $aDAT 350f$2stub 686 $aSS 4800$2rvk 701 $aGordon$b Andrew D$01756442 712 12$aETAPS 2010$f(2010 :$ePaphos, Cyprus) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484592703321 996 $aProgramming languages and systems$94193720 997 $aUNINA