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

Automatic Program Development, Olivier Danvy; Fritz Henglein; Harry Mairson; Albe


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

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

Автор: Olivier Danvy; Fritz Henglein; Harry Mairson; Albe
Название:  Automatic Program Development
ISBN: 9789048176748
Издательство: Springer
Классификация:


ISBN-10: 9048176743
Обложка/Формат: Paperback
Страницы: 272
Вес: 0.41 кг.
Дата издания: 19.10.2010
Язык: English
Размер: 234 x 156 x 15
Основная тема: Computer Science
Подзаголовок: A Tribute to Robert Paige
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.


Introduction to Sustainable Development

Автор: Elliott, Jennifer (University of Brighton, UK)
Название: Introduction to Sustainable Development
ISBN: 0415590736 ISBN-13(EAN): 9780415590730
Издательство: Taylor&Francis
Рейтинг:
Цена: 7654.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Thisfourth edition has been comprehensively rewritten and updated to provide a concise, well illustrated and accessible introduction to the characteristics, challenges and opportunities of sustainable development with particular reference to developing countries. The contested nature of sustainable development is explored through a detailed consideration of changing ideas and practices within environmentalism and development thinking.The text identifies the different actors involved (from institutions of global governance through to community based organisations), the policies and mechanisms through which sustainable development is being sought and considers the outcomes for particular groups and environments in both rural and urban contexts. ?? This edition places stronger emphasis on the global challenges of sustainable development with an understanding of inter-linked crises in climate, energy, economy, poverty and social injustice. It explores how these issues are leading to deep questioning of what sustainable development is, what it should be, and how sustainable development policies and mechanisms are being reconsidered.The book gives new consideration to the challenge of achieving lower carbon growth, climate adaptation, and the implications on sustainable development of rapidly expanding economies, including China and India.It contains greater discussion of how civil society movements influence outcomes of international climate policy, as well as technological developments in energy and agriculture. The text also contains a substantially expanded discussion of how poverty remains central to sustainable development challenges, as revealed through the Millennium Ecosystem Assessment and Millennium Development Goals. This invaluable text retains the core message that sustainable development has become central to debates about environment and development.Containing a substantial number of new boxed case studies, learning outcomes, chapter summaries, discussion questions, further reading and websites, this text provides an essential introduction for students.

Automatic Program Development

Автор: Olivier Danvy; Fritz Henglein; Harry Mairson; Albe
Название: Automatic Program Development
ISBN: 1402065841 ISBN-13(EAN): 9781402065842
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A tribute to Robert Paige (1947-1999), this book includes papers published in his honor in the "Higher-Order and Symbolic Computation Journal" in the years 2003 and 2005. Among them there are two papers by Bob: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation.

Development and Social Change: A Global Perspective

Автор: Philip McMichael
Название: Development and Social Change: A Global Perspective
ISBN: 1452275904 ISBN-13(EAN): 9781452275901
Издательство: Sage Publications
Рейтинг:
Цена: 12355.00 р.
Наличие на складе: Поставка под заказ.

Описание: Philip McMichael describes a world undergoing profound social, political, and economic transformations, from the post-World War II era through the present. He tells a story of development in four parts - colonialism, developmentalism, globalization, and sustainability - that shows how the global development “project” has  taken different forms from one historical period to the next.  Throughout the text, the underlying conceptual framework is that development is a political construct, created by dominant actors (states, multilateral institutions, corporations and economic coalitions) and based on unequal power arrangements. While rooted in ideas about progress and prosperity, development also produces crises that threaten the health and well-being of millions of people, and sparks organized resistance to its goals and policies. Frequent case studies make the intricacies of globalization concrete, meaningful, and clear.

Automatic Control of Food Manufacturing Processes

Автор: I. McFarlane
Название: Automatic Control of Food Manufacturing Processes
ISBN: 1461359163 ISBN-13(EAN): 9781461359166
Издательство: Springer
Рейтинг:
Цена: 19591.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Acoustical and Environmental Robustness in Automatic Speech Recognition

Автор: A. Acero
Название: Acoustical and Environmental Robustness in Automatic Speech Recognition
ISBN: 0792392841 ISBN-13(EAN): 9780792392842
Издательство: Springer
Рейтинг:
Цена: 22201.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Builds on the techniques of spectral subtraction and spectral normalization, which were developed to enhance the quality of degraded speech for human listeners. This book describes and explains the compensation algorithms that have been developed to compensate for these types of environmental degradation.

Understanding sustainable development

Автор: Blewitt, John
Название: Understanding sustainable development
ISBN: 041570782X ISBN-13(EAN): 9780415707824
Издательство: Taylor&Francis
Рейтинг:
Цена: 5051.00 р.
Наличие на складе: Поставка под заказ.

Описание: This new and expanded edition builds upon the first edition’s powerful multi-perspective approach and breath of coverage. A truly comprehensive introduction to sustainable development, it is designed specifically to allow access to the topic from a wide range of educational and professional backgrounds and to develop understanding of a diversity of approaches and traditions at different levels. This second edition includes: a complete update of the text, with increased coverage of major topics including ecosystems; production and consumption; business; urban sustainability; governance; new media technologies; conservation; leadership; globalization and global crises; sustainability literacy and learning; more examples from the Global South and North America, while retaining its unique coverage of first world countries; chapter aims at the start and summaries at the end of each chapter; glossary of key terms; a new chapter on Conservation with a focus on behaviour change and values; a brand new website which includes discussion of how projects are done on the ground, additional exercises and online cases, test questions and recommended readings and films. Offering boxed examples from the local to the global, Understanding Sustainable Development is the most complete guide to the subject for course leaders, undergraduates and postgraduates.

Development of a Fully Integrated “Sample-In-Answer-Out” System for Automatic Genetic Analysis

Автор: Bin Zhuang
Название: Development of a Fully Integrated “Sample-In-Answer-Out” System for Automatic Genetic Analysis
ISBN: 9811047529 ISBN-13(EAN): 9789811047527
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This thesis reports on the development of a fully integrated and automated microsystem consisting of low-cost, disposable plastic chips for DNA extraction and PCR amplification, combined with a reusable glass capillary array electrophoresis chip, which can be employed in a modular-based format for genetic analysis.

Robustness in Automatic Speech Recognition

Автор: Jean-Claude Junqua; Jean-Paul Haton
Название: Robustness in Automatic Speech Recognition
ISBN: 1461285550 ISBN-13(EAN): 9781461285557
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Automatic Speech Recognition

Автор: Dong Yu; Li Deng
Название: Automatic Speech Recognition
ISBN: 1447157788 ISBN-13(EAN): 9781447157786
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book reviews past and present work on discriminative and hierarchical models for both acoustic and language modeling. It also analyzes the research direction and trends towards establishing future-generation speech recognition.

Automatic Design of Decision-Tree Induction Algorithms

Автор: Rodrigo C. Barros; Andr? C.P.L.F de Carvalho; Alex
Название: Automatic Design of Decision-Tree Induction Algorithms
ISBN: 3319142305 ISBN-13(EAN): 9783319142302
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Introduction.- Decision-Tree Induction.- Evolutionary Algorithms and Hyper-Heuristics.- HEAD-DT: Automatic Design of Decision-Tree Algorithms.- HEAD-DT: Experimental Analysis.- HEAD-DT: Fitness Function Analysis.- Conclusions.

Human and Automatic Speaker Recognition over Telecommunication Channels

Автор: Laura Fern?ndez Gallardo
Название: Human and Automatic Speaker Recognition over Telecommunication Channels
ISBN: 9811013195 ISBN-13(EAN): 9789811013195
Издательство: Springer
Рейтинг:
Цена: 11753.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work addresses the evaluation of the human and the automatic speaker recognition performances under different channel distortions caused by bandwidth limitation, codecs, and electro-acoustic user interfaces, among other impairments.

Automatic Control of Food Manufacturing Processes

Автор: I. McFarlane
Название: Automatic Control of Food Manufacturing Processes
ISBN: 0751402079 ISBN-13(EAN): 9780751402070
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


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