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.
Автор: Mernik Marjan Название: Formal and Practical Aspects of Domain-Specific Languages ISBN: 1466620927 ISBN-13(EAN): 9781466620926 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments is a collection of academic works containing current research on all aspects of domain-specific language. This book is a comprehensive overview in the computer language field and aims to be essential for scholars and practitioners in the software engineering fields by providing new results and answers to open problems in DSL research.
Автор: Parsons David Название: Foundational Java: Key Elements and Practical Programming ISBN: 3030545172 ISBN-13(EAN): 9783030545178 Издательство: Springer Рейтинг: Цена: 6951.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Java is now well-established as one of the world's major programming languages, used in everything from desktop applications to web-hosted applications and enterprise systems, and embedded in devices such as mobile phones and Blu-ray players.
Foundational Java: Key Elements and Practical Programming presents a detailed guide to the core features of Java - and some more recent innovations - enabling the reader to build their skills and confidence though tried-and-trusted stages, supported by exercises that reinforce the key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more substantial applications. Use of the Eclipse Integrated Development Environment (IDE) and the JUnit testing framework is integral to the book, ensuring maximum productivity and code quality when learning Java, although to ensure that skills are not confined to one environment the fundamentals of the Java compiler and run time are also explained. Additionally, coverage of the Ant tool will equip the reader with the skills to automatically build, test and deploy applications independent of an IDE.
Topics and features: presents the most up-to-date information on Java, including Java 7; examines the key theme of unit testing, introducing the JUnit 4 testing framework to emphasize the importance of unit testing in modern software development; describes the Eclipse IDE, the most popular open source Java IDE, and also explains how Java can be run from the command line; includes coverage of the Ant build tool; contains numerous code examples and exercises throughout; provides downloadable source code, self-test questions, PowerPoint slides and other supplementary material at the website http: //www.introjava.com.
This hands-on, classroom-tested textbook/reference is ideal for undergraduate students on introductory and intermediate courses on programming with Java. Professional software developers will also find this an excellent self-study guide/refresher on the topic.
Автор: 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
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
