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

Specification and Development of Interactive Systems, Manfred Broy; Ketil St?len


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

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

Автор: Manfred Broy; Ketil St?len
Название:  Specification and Development of Interactive Systems
ISBN: 9781461265184
Издательство: Springer
Классификация: ISBN-10: 1461265185
Обложка/Формат: Paperback
Страницы: 348
Вес: 0.52 кг.
Дата издания: 17.10.2012
Серия: Monographs in Computer Science
Язык: English
Размер: 234 x 156 x 20
Основная тема: Computer Science
Подзаголовок: Focus on Streams, Interfaces, and Refinement
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi- neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi- cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.


Environment And Development: Basic Principles, Human Activities, And Environmental Implications 1St Edition

Автор: Stavros G. Poulopoulos, Vassilis J. Inglezakis
Название: Environment And Development: Basic Principles, Human Activities, And Environmental Implications 1St Edition
ISBN: 0444627332 ISBN-13(EAN): 9780444627339
Издательство: Elsevier Science
Рейтинг:
Цена: 21559.00 р.
Наличие на складе: Поставка под заказ.

Описание: Human activities and development focusing on economic growth have an adverse impact on natural and inhabited environment day after day. This book presents various aspects of environment and the associated problems along with solutions proposed to achieve an harmonic co-existence of man and natural life as well as sustainable development.

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.

Strategies for National Sustainable Development

Автор: Carew-Reid, Jeremy Prescott-Allen, Robert Bass, Stephen Dalal-Clayton, Barry
Название: Strategies for National Sustainable Development
ISBN: 041585086X ISBN-13(EAN): 9780415850865
Издательство: Taylor&Francis
Рейтинг:
Цена: 3061.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The IUCN Strategies for Sustainable Development Handbook Series

This handbook is one in a series being produced by IUCN and its partners to assist countries and communities implement Agenda 21, the action programme of the United Nations Conference on Environment and Development. The series will include handbooks on national strategies for sustainable development, local strategies, assessing progress towards sustainability, biodiversity action plans, .involving indigenous peoples, and on integrating population and resource use planning; and regular companion volumes of case studies addressing the key issues of concern to strategy implementation. Many international agreements and action plans now call for countries to undertake national strategies. These strategies seek to involve communities in united approaches to sustainable development. Some are sectoral, such as tropical forest strategies, others are thematic, covering topics such as biodiversity, education or climate change. Still others, such as national conservation strategies and national environment action plans, are evolving to become more comprehensive processes, drawing together economic, social and environmental development actions. This handbook is for people� involved in strategies. It draws on experiences in different regions of the world to present options and examples of the role of strategies in sustainable development. Originally published in 1995

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 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.

Pharmaceutical Product Development: Insights Into Pharmaceutical Processes, Management and Regulatory Affairs

Название: Pharmaceutical Product Development: Insights Into Pharmaceutical Processes, Management and Regulatory Affairs
ISBN: 1498730779 ISBN-13(EAN): 9781498730778
Издательство: Taylor&Francis
Рейтинг:
Цена: 27562.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Pharmaceutical product development is a multidisciplinary activity involving extensive efforts in systematic product development and optimization in compliance with regulatory authorities to ensure the quality, efficacy and safety of resulting products.

Pharmaceutical Product Development equips the pharmaceutical formulation scientist with extensive and up-to-date knowledge of drug product development and covers all steps from the beginning of product conception to the final packaged form that enters the market and lifecycle management thereof.

Applications of core scientific principles for product development are also thoroughly discussed in conjunction with the latest approaches involving design of experiment and quality by design with comprehensive illustrations based on practical case studies of several dosage forms.

The book presents pharmaceutical product development information in an easy-to-read mode with simplified theories, case studies and guidelines for students, academicians and professionals in the pharmaceutical industry. It is an invaluable resource and hands-on guide covering managerial, regulatory and practical aspects of pharmaceutical product lifecycle management.

Interactive Systems: Design, Specification, and Verification

Автор: Bodo Urban; Jean Vanderdonckt; Quentin Limbourg
Название: Interactive Systems: Design, Specification, and Verification
ISBN: 3540002669 ISBN-13(EAN): 9783540002666
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement.

Interactive Systems: Design, Specification, and Verification

Автор: Fabio Paterno
Название: Interactive Systems: Design, Specification, and Verification
ISBN: 3642871178 ISBN-13(EAN): 9783642871177
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Design, Specification and Verification of Interactive Systems `96

Автор: Francois Bodart; Jean Vanderdonckt
Название: Design, Specification and Verification of Interactive Systems `96
ISBN: 3211829008 ISBN-13(EAN): 9783211829004
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These revised papers from the Eurographics workshop in Namur, Belgium review the design, specification and verification of interactive systems, comparing the different existing approaches to this field in order to identify the principal requirements and the most suitable notation.

Design, Specification and Verification of Interactive Systems `97

Автор: Michael D. Harrison; Juan C. Torres
Название: Design, Specification and Verification of Interactive Systems `97
ISBN: 3211830553 ISBN-13(EAN): 9783211830550
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Design, Specification and Verification of Interactive Systems `99

Автор: D.J. Duke; A. Puerta
Название: Design, Specification and Verification of Interactive Systems `99
ISBN: 3211834052 ISBN-13(EAN): 9783211834053
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS`99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999.

Design, Specification and Verification of Interactive Systems `95

Автор: Philippe Palanque; Remi Bastide
Название: Design, Specification and Verification of Interactive Systems `95
ISBN: 3211827390 ISBN-13(EAN): 9783211827390
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.


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