Search Results - (( Defined (contribution OR contributorss) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((operational plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))
-
1
Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I
Published: Springer, 2019Contents: “…Reinsertion Algorithm Based on Destroy and Repair Operators for Dynamic Dial a Ride Problems /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
2
Salesforce.com lightning process builder and visual workflow : a practical guide to model-driven development on the Force.com platform
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
3
Advances in information systems and technologies
Published: Springer, 2013Contents: “…Knowledge Management Systems and Intellectual Capital Measurement in Portuguese Organizations: A Case Study /…”Description: 1 online resource (xxii, 1160 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
4
Large-scale scientific computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
5
Advances in computer science, engineering & applications : proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 2...
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 1048 pages).
Conference Proceeding eBook -
6
Advanced persistent training : take your security awareness program to the next level
Published: Apress, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
7
Computer Science - CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised selected papers
Published: Springer, 2018Contents: “…Description of a Mirroring Strategy and its Results -- Virtualization in Education: Portable Network Laboratory -- Graphic Computation, Images and Visualization -- A shadow removal approach for a background subtraction algorithm -- A Tutorial on the Implementations of Linear Image Filters in CPU and GPU -- Natural User Interfaces: A Physical Activity Trainer -- Software Engineering -- Proposal for the Formation of Experimental Pair Programmers -- Reusing a Geographic Software Product Line Platform: A Case Study in the Paleontological Sub-Domain -- Performance evaluation of a 3D engine for mobile devices -- Assistant for the Evaluation of Software Product Quality Characteristics Proposed by ISO/IEC 25010 Based on GQM-Defined Metrics -- Databases and Data Mining -- Recommender System Based on Latent Topics -- Automatic Characteristics Extraction for Sentiment Analysis Tasks -- Hardware Architectures, Networks and Operating Systems -- Modular Petri Net Processor for Embedded Systems -- A Novel Performance Metric for Virtual Network Embedding Combining Aspects of Blocking Probability and Embedding Cost -- An Anomaly Detection Model in a LAN using K-NN and High Performance Computing Techniques -- Innovation in Software Systems -- Generation and Use of a Digest System by Integrating OCR and Smart Searches -- Signal Processing and Real-Time Systems -- Excluding Ionospherically Unsafe Satellite Geometries in GBAS CAT-I -- CAN Bus Experiments of Real-Time Communications -- Computer Security -- Analysis of Methodologies of Digital Data Collection in Web Servers -- Observer effect: How Intercepting HTTPS traffic forces malware to change their behavior -- Innovation in Computer Science Education -- ECMRE: Extended Concurrent Multi Robot Environment -- Inverting the class or investing in the class? …”Description: 1 online resource (XIV, 310 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
8
Improving service level engineering : an intuitionistic fuzzy approach
Published: Springer, 2018Contents: “…Acknowledgements; Abstract; Contents; List of Abbreviations; Translation Types of Quality Parameters; List of Figures; List of Tables; Chapter 1: Business and IT Alignment: A Fuzzy Challenge; 1.1 Motivation of Research; 1.2 Research Issues and Thesis Structure; 1.3 Research Questions; 1.4 Research Methods; 1.5 General Information; References; Part I: SLA Dependency Mapping: Towards a Gradual and Bi-polar Concept; Chapter 2: The Complexity of Virtualized SLA Dependencies; 2.1 SLAs in Multi-layered Service Delivery Models; 2.2 Defining a KPI Framework for Business and IT.…”Description: 1 online resource.
SpringerLink - Click here for access
eBook -
9
Computer science : the hardware, software and heart of it
Published: Springer Science+Business Media, LLC, 2011SpringerLink - Click here for accessDescription: 1 online resource (ix, 468 pages) : illustrations (some color)
eBook -
10
Pro Oracle GoldenGate for the DBA
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxi, 306 pages) : illustrations (some color)
eBook -
11
Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
Published: Springer, 2019Contents: “…4.2 Logic Programs with Preferences4.3 Answer Set Optimization; 5 Conclusion; References; Combinations of Systems; Ilinva: Using Abduction to Generate Loop Invariants; 1 Introduction; 2 Verification Conditions; 3 Abduction; 4 Generating Loop Invariants; 5 Implementation; 5.1 Overview; 5.2 Distribution; 6 Experiments; 6.1 Results; 6.2 Discussion; 7 Conclusion and Future Work; References; An Algebra of Modular Systems: Static and Dynamic Perspectives; 1 Introduction; 2 Model Expansion, Related Tasks; 3 Algebras: Static and Dynamic; 4 Definable Constructs; 5 Modal Logic; 5.1 Two-Sorted Syntax, L.…”Description: 1 online resource : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
12
Wireless Algorithms, Systems, and Applications : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (XVIII, 910 pages) : illustrations.
Conference Proceeding eBook -
13
IoT solutions in Microsoft's Azure IoT suite : data acquisition and analysis in the real world
Published: Apress, 2017SpringerLink - Click here for accessDescription: 1 online resource (xix, 296 pages) : illustrations (some color)
eBook -
14
Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource (viii, 218 pages) : illustrations.
eBook -
15
Introduction to diagnosis of active systems
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xv, 353 pages) : illustrations.
eBook -
16
Mobility in process calculi and natural computing
Published: Springer, 2011SpringerLink - Click here for accessDescription: 1 online resource (xiii, 208 pages).
eBook -
17
Advanced topics in C : core concepts in data structures
Published: Apress, 2013SpringerLink - Click here for accessDescription: 1 online resource (312 pages).
eBook