Foundational Java: Key Elements and Practical Programming, Parsons David
Автор: Harwani B. M. Название: Practical C Programming ISBN: 1838641106 ISBN-13(EAN): 9781838641108 Издательство: Неизвестно Рейтинг: Цена: 7539.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Practical C Programming will teach you how to deal with C and its idiosyncrasies, and benefit from its new features, through bite-sized recipes. Each recipe in the book addresses a specific problem through a discussion that reveals and explains the solution to the recipe. This book will teach all you need to know to become a better C programmer.
Автор: Parsons David Название: Foundational Java: Key Elements and Practical Programming ISBN: 3030545202 ISBN-13(EAN): 9783030545208 Издательство: Springer Рейтинг: Цена: 6951.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The Java Story
Compiling and Running Java Programs
Data Types, Arithmetic and Arrays
Control Structures
Creating Objects
Creating Domain Classes
Objects Working Together: Association, Aggregation and Composition
Inheritance, Polymorphism and Interfaces
Exception Handling
Unit Testing With JUnit
Exploring the Java Libraries
The Collections Framework and Generics
Input and Output Streams
Automatic Building and Testing with Ant
Java and the Database (JDBC)
Multithreading
Building GUIs with the JFC Swing Library
Event Driven Programming
Dialogs and Menus, Models and Views
Java Web Start and Applets
Автор: Ugo Dal Lago; Ricardo Pe?a Название: Foundational and Practical Aspects of Resource Analysis ISBN: 331912465X ISBN-13(EAN): 9783319124650 Издательство: Springer Рейтинг: Цена: 4879.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
Описание: Statistical Model Checking: Past, Present and Future.- Hypothesis testing for rare-event simulation: limitations and possibilities.- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.- Feedback Control for Statistical Model Checking of Cyber-Physical Systems.- Probabilistic Model Checking of Incomplete Models.- Plasma Lab: A Modular Statistical Model Checking Platform.- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO.- Statistical Model Checking for Product Lines.- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems.- Better railway engineering through statistical model checking.- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle.- Automatic Synthesis of Code using Genetic Programming.- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).- Symbolic Execution with CEGAR.- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations.- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form.- A Model Interpreter for Timed Automata.- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction.- Combinatory Process Synthesis.- Synthesis from a Practical Perspective.- A Long and Winding Road Towards Modular Synthesis.- Semantic heterogeneity in the formal development of complex systems: an introduction.- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach.- Towards Functional Requirements Analytics.- Heterogeneous Semantics and Unifying Theories.- Static and Runtime Verification: Competitors or Friends?.- StaRVOOrS - Episode II, Strengthen and Distribute the Force.- A Model-Based Approach to Combining Static and Dynamic Verification Techniques.- Information flow analysis for Go.- Challenges in High-Assurance Runtime Verification .- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.- Considering Type-State Verification for Quantified Event Automata.- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.- On Combinations of Static and Dynamic Analysis.- Safer Refactorings.- Rigorous Engineering of Collective Adaptive Systems.- Programming of CAS systems by relying on attribute-based communication.- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems.- A Calculus for Open Ensembles and Their Composition.- Logic Fragments: coordinating entities with logic programs.- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference.- A Library and Scripting Language for Tool Independent Simulation Descriptions.- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel.- Smart coordination of autonomic component ensembles in the context of ad-hoc communication.- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems.- Rigorous graphical modelling of movement in Collective Adaptive Systems.- Integration and Promotion of Autonomy with the ARE Framework.- Safe Artificial Intelligence and Formal Methods.- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues.- Correctness-by-Construction and Post-hoc Verification: Friends or Foes?.- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?.- Deductive Verification of Legacy Code.- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families.- Conditions for Compatibility of Components - The case of masters and slaves.- A Logic for Statistical Model Checking of Dynamic Software Architectures.- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms
Описание: Chapter 1 Review of C Review of C and SDK with reference to the topics in this book. Reminds the reader of C syntax. Use loops, subroutines, file access. Create typical programs in C using SDK Exercises PART 1 - FINANCIAL APPLICATIONS Chapter 2 Regression: Use regression techniques to find the pattern for depreciation of the value of cars over a period of years. Program written will create graphical displays to illustrate the topic. Exercises Chapter 3 Product Moment Correlation Coefficient (PMCC): Use this technique to illustrate the accuracy (or otherwise) of regression techniques. Exercises Chapter 4: Asset PricingUse the past stock values of an Asset to predict what its future values may be using Monte Carlo methods.Graphics displays to illustrate the topic. Exercises PART 2 - ENGINEERING/INDUSTRIAL/COMMERCIAL APPLICATIONS Chapter 5: Supermarket Stock Reordering Simulation Create a file of stock for a supermarket. Simulate the buying of stock by shoppers. Check the remaining stock. If it is too low print a message to reorder the stock. Exercises Chapter 6: Flight Information Boards at Airports Create a file of arrivals for an airport. Send data to the airport's display boards to show the current situation for the incoming flights. Update a flight and refresh the information to the display boards. ExercisesChapter 6: Power Plant Control Program receives messages about pressures, temperatures, flow rates etc for a power plant. The program checks for values outside safety ranges and acts upon any problem values by sending messages to both the gauges and the managers responsible for them. Exercises PART 3 - PHYSICS APPLICATIONS Chapter 8 Potential Energy and Kinetic Energy Simulation Use formulas for Potential Energy and Kinetic Energy to show how one falls at the same rate as the other rises.Exercises Chapter 9 Pendulum Simulation Use formulas for the motion of a pendulum to create a graph to illustrate the mathematical relationship on a graph . Exercises Chapter 10: Centre of Mass Calculation Calculate the centre of mass of unusually-shaped objects. Exercises Chapter 11: Brownian Motion Simulate the patterns of particles moving in gases or solids. Graphical displays to illustrate the topic. Exercises Chapter 12 Vacancy Model of Atoms Moving in SolidsDemonstrate the Vacancy Model of atoms moving in solids where they can move into empty sites within the solid. Graphical displays will show the movement of the atoms within a 2D site.Exercises APPENDICES A. C Programming C
Автор: Singer Adam B. Название: Practical C++ Design: From Programming to Architecture ISBN: 1484274067 ISBN-13(EAN): 9781484274064 Издательство: Springer Рейтинг: Цена: 5487.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Preface (5 pages)The preface details my motivation for writing the book, the target audience for the book, thegeneral structure of the book, and how to contact the author. Of particular importance is therationale behind choosing the case study, the target language (C++), and the GUI toolkit (Qt).Chapter 1: Defining the Case Study (6 pages)The first chapter describes, in detail, the case study to be examine in the book. The chapterdiscusses requirements in the abstract and then transitions to the calculator's specific requirements.This sets the stage for the remainder of the book, which describes, in detail, the design andimplementation of the calculator, pdCalc, proposed in Chapter 1.1. A Brief Introduction2. A Few Words About Requirements3. Reverse Polish Notation (RPN)4. The Calculator's Requirements5. The Source Code1The advice, information, and conclusions discussed in this book are those of the author and have not beenendorsed by, or reflect the opinions or practices of, ExxonMobil Corporation or its affiliates.5Chapter 2: Decomposition (18 pages)In this chapter, I explain the elements of a good decomposition and strategies for decomposing aproblem into manageable pieces. Subsequently, an architecture for pdCalc is selected, the calculatoris modularized, and use cases are used to develop interfaces for the high level calculator modules.The four high level modules are the stack, the command dispatcher, the user interface (subdividedinto a command line interface and a graphic user interface), and a plugin manager.1. The Elements of a Good Decomposition2. Selecting An Architecture3. Interfaces4. Assessment of Our Current Design5. Next StepsChapter 3: The Stack (20 pages)The stack is the first module discussed in detail. The stack is the fundamental data repositoryof the calculator. As part of the calculator's design and implementation, the singleton pattern isexplored. The stack also affords the first opportunity to discuss an event system for the calculator, which provides a backdrop for exploration of the observer pattern, including the design andimplementation of reusable publisher and observer abstract classes.1. Decomposition of the Stack Module2. The Stack Class3. Adding Events4. A Quick Note on TestingChapter 4: The Command Dispatcher (32 pages)This chapter describes the design and implementation of the command dispatcher, the module ofthe calculator responsible for the creation, storage, and execution of commands. Of particular notein this chapter is the exposition on the command pattern and how it can be used to implement apractical undo/redo framework. In addition to exploring a traditional deep hierarchy method forimplementing commands, a C++11 alternative using lambda expressions and the standard functiontemplate are presented as a modern alternative design.1. The Decomposition of the Command Dispatcher2. The Command Class3. The Command Repository4. The Command Manager5. The Command Dispatcher6. Revisiting Earlier Decisions6Chapter 5: The Command Line Interface (14 pages)This chapter marks an important milestone, the creation of the first user executable program.In addition to building a simple command line interface, we'll explore how to create an abstractsoftware interface suitable for both a command line interface and a graphical user interface. Withinthe context of the command line interface, we'
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
