Search Results - (( Defined (contribution OR contributors) ((pension plans) OR (pension plan)) ) OR ((( Defined distribution ((computational plans) OR (computational plasma)) ) OR ( Defined distribution torsion plans ))))

Successfully managing complex companies : challenge for supervisory and executive boards by Grünig, Rudolf

SpringerLink - Click here for access

Transactions on large-scale data- and knowledge-centered systems VIII : special issue on advances in data warehousing and knowledge discovery by DaWaK (Conference) Toulouse, France), SpringerLink (Online service)

SpringerLink - Click here for access

Flash Builder and Flash Catalyst : the new workflow by Peeters, Steven

SpringerLink - Click here for access

Modeling, dynamics, optimization and bioeconomics IV : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May-June 2017 -- Selected Contributions by International Conference on Dynamics, Games, and Science Madrid, Spain, SpringerLink (Online service), International Consortium on Agricultural Biotechnology Research, International Consortium on Agricultural Biotechnology Research

SpringerLink - Click here for access

Cybersecurity incident response : how to contain, eradicate, and recover from incidents by Thompson, Eric C.

SpringerLink - Click here for access

AdvancED ActionScript 3.0 : design patterns by Smith, Ben (Software engineer)

SpringerLink - Click here for access

Advanced ActionScript 3 : design patterns Second edition. by Smith, Ben (Software engineer)

SpringerLink - Click here for access

Theory and engineering of complex systems and dependability : proceedings of the tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29-July 3... by International Conference on Dependability of Computer Systems Brunów, Poland, SpringerLink (Online service)

SpringerLink - Click here for access

Advanced persistent training : take your security awareness program to the next level by Schroeder, Jordan

SpringerLink - Click here for access

Working with TeamLinks : client-server office computing for Microsoft Windows by Redmond, Tony, 1959-

Contents: “…Front Cover; Working with Teamlinks: Client-Server Office Computing forMicrosoft Windows; Copyright Page; Table of Contents; Preface; CHAPTER1. …”
Elsevier - Click here for access

Trustworthy software development processes : International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 16-17, 2009 : proceedings by International Conference on the Software Process Vancouver, B.C., SpringerLink (Online service)

SpringerLink - Click here for access

The pragmatist's guide to corporate lean strategy : incorporating lean startup and lean enterprise practices in your business by Nir, Michael

SpringerLink - Click here for access

Microsoft SharePoint : building Office 2007 solutions in C♯ 2005 by Hillier, Scot

SpringerLink - Click here for access

Advances in information systems and technologies by World Conference on Information Systems and Technologies Olhão, Portugal, SpringerLink (Online service)

Contents: “…Analyzing Website Content for Improved R & T Collaboration Planning /…”
SpringerLink - Click here for access

Oracle high availability, disaster recovery, and cloud services : explore RAC, data guard, and cloud technology by Kumar, Y. V. Ravi, Basha, Nassyam, K. M., Krishna Kumar, Śarmā, Bālamukunda, 1889-1956, Kerekovski, Konstantin

Contents: “…Agent deployment on Compute node. 2. Discovering your ExaCS. 3. Managing ASM and databases. 4. …”
SpringerLink - Click here for access

Performance evaluation for network services, systems and protocols by Fernandes, Stênio

SpringerLink - Click here for access

Information centric networks (ICN) : architecture & current trends by Dutta, Nitul, Sarma, Hiren Kumar Deva, Jaḍeja, Rājendrasiṃha, Delvadia, Krishna, Ghinea, Gheorghita

SpringerLink - Click here for access

Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings by International Conference on Integrated Formal Methods Maynooth, Ireland, SpringerLink (Online service)

Contents: “…Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.…”
SpringerLink - Click here for access

GPO/2001 : vision for a new millennium : strategic planning

Get full text

Agents and artificial intelligence : third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised selected papers by ICAART (Conference) Rome, Italy), SpringerLink (Online service)

SpringerLink - Click here for access