Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Conditional and Typed Rewriting Systems, Nachum Dershowitz; Naomi Lindenstrauss


Варианты приобретения
Цена: 11179.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Nachum Dershowitz; Naomi Lindenstrauss
Название:  Conditional and Typed Rewriting Systems
ISBN: 9783540603818
Издательство: Springer
Классификация:
ISBN-10: 3540603816
Обложка/Формат: Paperback
Страницы: 384
Вес: 0.55 кг.
Дата издания: 22.09.1995
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 21
Основная тема: Computer Science
Подзаголовок: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: These conference proceedings report the research advances in the area of rewriting, in general achieved since the preceding workshop, held in 1992. The topics addressed include conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, and combinator-based languages.


Conditional Moment Estimation of Nonlinear Equation Systems

Автор: Joachim Inkmann
Название: Conditional Moment Estimation of Nonlinear Equation Systems
ISBN: 3540412077 ISBN-13(EAN): 9783540412076
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Generalized method of moments (GMM) estimation of nonlinear systems has two important advantages over conventional maximum likelihood (ML) estimation: GMM estimation usually requires less restrictive distributional assumptions and remains computationally attractive when ML estimation becomes burdensome or even impossible.

Probabilistic Conditional Independence Structures

Автор: Milan Studeny
Название: Probabilistic Conditional Independence Structures
ISBN: 1849969485 ISBN-13(EAN): 9781849969482
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Probabilistic Conditional Independence Structures provides the mathematical description of probabilistic conditional independence structures; The monograph presents the methods of structural imsets and supermodular functions, and deals with independence implication and equivalence of structural imsets.

Community-Based Conditional Cash Transfers In Tanzania

Автор: Evans, Hausladen, Kosec & Reese
Название: Community-Based Conditional Cash Transfers In Tanzania
ISBN: 146480141X ISBN-13(EAN): 9781464801419
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 3465.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Given the success of conditional cash transfer (CCT) programmes elsewhere, in 2010 the Government of Tanzania rolled out a pilot CCT programme in three districts. Its aim was to see if, using a model relying on communities to target beneficiaries and deliver payments, the programme could improve outcomes for the poor the way centrally-run CCT programmes have in other contexts. The programme provided cash payments to poor households, but conditioned payments on complying with certain health and education requirements. Given scarce resources, the Government randomly selected 40 out of 80 eligible villages to receive the pilot programme. Households in participating and comparison villages were broadly comparable at baseline. This report describes the programme and the results of a rigorous, mixed methods impact evaluation.Two and a half years into the programme, participating households were healthier and more educated. Health improvements due to the CCT programme were greatest for the poorest half of households - the poorest of the poor. They experienced a half a day per month reduction in sick days on average, and poor children age 0-4 in particular had a full day per month reduction in sick days. In education, the programme showed clear positive impacts on whether children had ever attended school and on whether they completed Standard 7. Households were also more likely to buy shoes for children, which can promote both health and school attendance.In response to the programme, households also made investments to reduce risk: Participating households were much more likely to finance medical care with insurance and much more likely to purchase health insurance than were their comparison counterparts. The programme did not significantly affect savings on average, although it did increase non-bank savings amongst the poorest half of households. Participating households also invested in more livestock assets, which they used to create small enterprises. The programme did not, however, have significant impacts on food consumption.On the whole, the results suggest that households focused on reducing risk and on improving their livelihoods rather than principally on increasing consumption. There is also evidence that the project had positive effects on community cohesion.

Conditional and Typed Rewriting Systems

Автор: Stephane Kaplan; Mitsuhiro Okada
Название: Conditional and Typed Rewriting Systems
ISBN: 3540543171 ISBN-13(EAN): 9783540543176
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.

Conditional Term Rewriting Systems

Автор: Michael Rusinowitch; Jean-Luc Remy
Название: Conditional Term Rewriting Systems
ISBN: 3540563938 ISBN-13(EAN): 9783540563938
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting.

Conditional Term Rewriting Systems

Автор: Stephane Kaplan; Jean-Pierre Jouannaud
Название: Conditional Term Rewriting Systems
ISBN: 3540192425 ISBN-13(EAN): 9783540192428
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Rewriting and Typed Lambda Calculi

Автор: Gilles Dowek
Название: Rewriting and Typed Lambda Calculi
ISBN: 331908917X ISBN-13(EAN): 9783319089171
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Public Policy Investment: Priority-Setting and Conditional Representation in British Statecraft

Автор: Bertelli Anthony, John Peter
Название: Public Policy Investment: Priority-Setting and Conditional Representation in British Statecraft
ISBN: 0199663971 ISBN-13(EAN): 9780199663972
Издательство: Oxford Academ
Рейтинг:
Цена: 11405.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covering the period 1971-2000, this volume develops a new approach to `public policy investment`. It shows how governments are like investors who act of on behalf of the public and how enhance their chances of re-election by managing a portfolio of public policies.

Conditional Independence in Applied Probability

Автор: P.E. Pfeiffer
Название: Conditional Independence in Applied Probability
ISBN: 1461263379 ISBN-13(EAN): 9781461263371
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It would be difficult to overestimate the importance of stochastic independence in both the theoretical development and the practical appli- cations of mathematical probability.

Neural Networks for Conditional Probability Estimation

Автор: Dirk Husmeier
Название: Neural Networks for Conditional Probability Estimation
ISBN: 1852330953 ISBN-13(EAN): 9781852330958
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Using two alternative approaches, the GM network and the GM-RVFL model, this study of the applications of neural networks includes a case study of the prediction of housing prices in the Boston metropolitan area, and examines the required modifications to standard approaches.

Conditional Mutagenesis: An Approach to Disease Models

Автор: Robert Feil; Daniel Metzger
Название: Conditional Mutagenesis: An Approach to Disease Models
ISBN: 364207121X ISBN-13(EAN): 9783642071218
Издательство: Springer
Рейтинг:
Цена: 65305.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With contributions by numerous experts

Guidelines for Enabling Conditions and Conditional Modifiers

Название: Guidelines for Enabling Conditions and Conditional Modifiers
ISBN: 111877793X ISBN-13(EAN): 9781118777930
Издательство: Wiley
Рейтинг:
Цена: 12981.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The initial Layer of protection analysis (LOPA) book published in 2001 set the rules and approaches for using LOPA as an intermediate method between purely qualitative hazards evaluation/analysis and more quantitative analysis methods. Basic LOPA provides an order-of-magnitude risk estimate of risk with fairly reproducible results.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия