Search Results - (( Defined contribution ((pension plans) OR (pension plan)) ) OR ((( Defined distribution computational plans ) OR ( Defined ((distribution version) OR (distribution erosion)) part ))))

Distributed and sequential algorithms for bioinformatics by Erciyes, K.

SpringerLink - Click here for access

Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I by ICCS (International Conference on Computer Science) Faro, Portugal), SpringerLink (Online service)

Contents: 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

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

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

Enterprise Drupal 8 development : for advanced projects and large development teams by Tomlinson, Todd

SpringerLink - Click here for access

Applied technologies : first International Conference, ICAT 2019, Quito, Ecuador, December 3-5, 2019, Proceedings. Part II by ICAT (International Conference on Applied Technologies) Quito, Ecuador) Quito, Ecuador), SpringerLink (Online service)

SpringerLink - Click here for access

Computational Science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 proceedings. Part III by ICCS 2018 Wuxi, China, SpringerLink (Online service)

SpringerLink - Click here for access

API management : an architect's guide to developing and managing APIs for your organization First edition. by De, Brajesh

SpringerLink - Click here for access

Improving service level engineering : an intuitionistic fuzzy approach by Schütze, Roland

SpringerLink - Click here for access

IoT solutions in Microsoft's Azure IoT suite : data acquisition and analysis in the real world by Klein, Scott, 1966-

SpringerLink - Click here for access