Автор: Enno Ohlebusch Название: Advanced Topics in Term Rewriting ISBN: 1441929215 ISBN-13(EAN): 9781441929211 Издательство: Springer Рейтинг: Цена: 65170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Term rewriting techniques are applicable in various fields of computer sci- ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro- gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc- cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu- ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.
Автор: Noel Kalicharan Название: Advanced Topics in Java ISBN: 1430266198 ISBN-13(EAN): 9781430266198 Издательство: Springer Рейтинг: Цена: 55890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Java is one of the most widely used programming languages today. And, of course, Java is used to power what has become the world`s most dominant mobile platform, Android. Advanced Topics In Java teaches the algorithms and concepts that any budding software developer should know.
Автор: Matt Wiley; Joshua F. Wiley Название: Advanced R Statistical Programming and Data Models ISBN: 1484228715 ISBN-13(EAN): 9781484228715 Издательство: Springer Рейтинг: Цена: 41920.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Carry out a variety of advanced statistical analyses including generalized additive models, mixed effects models, multiple imputation, machine learning, and missing data techniques using R. Each chapter starts with conceptual background information about the techniques, includes multiple examples using R to achieve results, and concludes with a case study.
Written by Matt and Joshua F. Wiley, Advanced R Statistical Programming and Data Models shows you how to conduct data analysis using the popular R language. You’ll delve into the preconditions or hypothesis for various statistical tests and techniques and work through concrete examples using R for a variety of these next-level analytics. This is a must-have guide and reference on using and programming with the R language.
What You’ll Learn
Conduct advanced analyses in R including: generalized linear models, generalized additive models, mixed effects models, machine learning, and parallel processingCarry out regression modeling using R data visualization, linear and advanced regression, additive models, survival / time to event analysisHandle machine learning using R including parallel processing, dimension reduction, and feature selection and classificationAddress missing data using multiple imputation in RWork on factor analysis, generalized linear mixed models, and modeling intraindividual variability
Who This Book Is For
Working professionals, researchers, or students who are familiar with R and basic statistical techniques such as linear regression and who want to learn how to use R to perform more advanced analytics. Particularly, researchers and data analysts in the social sciences may benefit from these techniques. Additionally, analysts who need parallel processing to speed up analytics are given proven code to reduce time to result(s).
Автор: Yong Dou; Haixiang Lin; Guangyu Sun; Junjie Wu; Do Название: Advanced Parallel Processing Technologies ISBN: 3319679511 ISBN-13(EAN): 9783319679518 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.The 11 regular papers presented in this volume were carefully reviewed and selected from 18 submissions.
Автор: Thomas Mailund Название: Advanced Object-Oriented Programming in R ISBN: 1484229185 ISBN-13(EAN): 9781484229187 Издательство: Springer Рейтинг: Цена: 23280.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R.
Автор: Zia Javanbakht; Andreas ?chsner Название: Advanced Finite Element Simulation with MSC Marc ISBN: 331947667X ISBN-13(EAN): 9783319476674 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. This subroutine feature allows the user to replace certain modules of the core code and to implement new features such as constitutive laws or new elements.
Автор: Stevanovic Milan Название: Advanced C and C++ Compiling ISBN: 1430266678 ISBN-13(EAN): 9781430266679 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Multitasking OS Basics
Simple Program Lifetime Stages
Program Execution Stages
The Impact of Reusing Concept
Working with Static Libraries
Designing Dynamic Libraries: Basics
Locating the Libraries
Designing Dynamic Libraries: Advanced Topics
Handling Duplicate Symbols When Linking In Dynamic Libraries
Dynamic Libraries Versioning
Dynamic Libraries Miscellaneous Topics
The Linux Toolbox
Linux Tasks
Windows Toolbox
Автор: Di Davide Название: Advanced Metaprogramming in Classic C++ ISBN: 1484210115 ISBN-13(EAN): 9781484210116 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++ template metaprogramming (TMP); What makes the book exceptional is the level of understanding of the concepts involved imparted by the author.
Автор: Peter M?ller Название: Advanced Lectures on Software Engineering ISBN: 3642130097 ISBN-13(EAN): 9783642130090 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec# programming and verification system, multi-core chip design and much more.
Автор: S. Doaitse Swierstra; Pedro R. Henriques; Jose N. Название: Advanced Functional Programming ISBN: 3540662413 ISBN-13(EAN): 9783540662419 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text presents seven cross-referenced chapters on topics in the rapidly developing area of functional programming. It is aimed at individual students and programming professionals, as well as small study groups and lecturers who wish to become acquainted with this field.
Автор: Jeffrey Sambells; Aaron Gustafson Название: AdvancED DOM Scripting ISBN: 1590598563 ISBN-13(EAN): 9781590598566 Издательство: Springer Рейтинг: Цена: 40050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: DOM Scripting is a vital technique for web developers and designers to learn and master in order to add such dynamic web applications as animations, maps, drag and drop, and more.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
