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

Mathematical Methods in Program Development, Manfred Broy; Birgit Schieder


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

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

Автор: Manfred Broy; Birgit Schieder
Название:  Mathematical Methods in Program Development
ISBN: 9783642645884
Издательство: Springer
Классификация:



ISBN-10: 3642645887
Обложка/Формат: Paperback
Страницы: 528
Вес: 0.76 кг.
Дата издания: 06.10.2011
Серия: Nato ASI Subseries F:
Язык: English
Размер: 234 x 156 x 28
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996


Design Science Research Methods and Patterns

Автор: Vaishnavi
Название: Design Science Research Methods and Patterns
ISBN: 1498715257 ISBN-13(EAN): 9781498715256
Издательство: Taylor&Francis
Рейтинг:
Цена: 16843.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.

Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT).

With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method.

This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality.

This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.

Mathematical and Engineering Methods in Computer Science

Автор: Petr Hlin?n?; Zden?k Dvo??k; Ji?? Jaro?; Jan Kofro
Название: Mathematical and Engineering Methods in Computer Science
ISBN: 3319148958 ISBN-13(EAN): 9783319148953
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014.The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers.

Mathematical Methods of Specification and Synthesis of Software Systems `85

Автор: Wolfgang Bibel; Klaus P. Jantke
Название: Mathematical Methods of Specification and Synthesis of Software Systems `85
ISBN: 3540164448 ISBN-13(EAN): 9783540164449
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Mathematical and Statistical Methods for Insurance and Finance

Автор: Perna Cira, Sibillo Marilena
Название: Mathematical and Statistical Methods for Insurance and Finance
ISBN: 8847007038 ISBN-13(EAN): 9788847007031
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The interaction between mathematicians and statisticians reveals to be an effective approach to the analysis of insurance and financial problems, in particular in an operative perspective. The Maf2006 conference, held at the University of Salerno in 2006, had precisely this purpose and the collection here published gathers some of the papers presented at the conference and successively worked out to this aim. They cover a wide variety of subjects in insurance and financial fields, all treated in light of the successful cooperation between the two quantitative methods.

Program Development by Refinement

Автор: Emil Sekerinski; Kaisa Sere
Название: Program Development by Refinement
ISBN: 1852330538 ISBN-13(EAN): 9781852330538
Издательство: Springer
Рейтинг:
Цена: 33401.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151982 ISBN-13(EAN): 9783540151982
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Applied Computational Intelligence and Mathematical Methods

Автор: Radek Silhavy; Petr Silhavy; Zdenka Prokopova
Название: Applied Computational Intelligence and Mathematical Methods
ISBN: 3319676202 ISBN-13(EAN): 9783319676203
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Presents applied Computational Intelligence and Mathematical Methods

Written by experts in the field

Dedicated to Applications of Computational Intelligence

Mathematical Methods in Counterterrorism

Автор: Nasrullah Memon; Jonathan David Farley; David L. H
Название: Mathematical Methods in Counterterrorism
ISBN: 3709116643 ISBN-13(EAN): 9783709116647
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Surprising to many, an eff- tive "weapon", just as quiet - mathematics - can serve as a powerful tool to combat terrorism, providing the ability to connect the dots and reveal the organizational pattern of something so sinister.

Mathematical and Engineering Methods in Computer Science

Автор: Jan Kofro?; Tom?? Vojnar
Название: Mathematical and Engineering Methods in Computer Science
ISBN: 331929816X ISBN-13(EAN): 9783319298160
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telc, Czech Republic, in October 2015. The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers.

Proceedings of the ISSEK94 Workshop on Mathematical and Statistical Methods in Artificial Intelligence

Автор: G. Della Riccia; R. Kruse; R. Viertl
Название: Proceedings of the ISSEK94 Workshop on Mathematical and Statistical Methods in Artificial Intelligence
ISBN: 3211827137 ISBN-13(EAN): 9783211827130
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An important part of the Artificial Intelligence theory is concerned with reasoning based on uncertain information. Classical logic and probability theory are not adequate for this, and many formalisms have been developed. The proceedings contained here aim to contribute to the elucidation of similarities and differences between these formalisms.

Mathematical and Engineering Methods in Computer Science

Автор: Antonin Kucera; Thomas A. Henzinger; Jaroslav Ne?e
Название: Mathematical and Engineering Methods in Computer Science
ISBN: 3642360440 ISBN-13(EAN): 9783642360442
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.

Mathematical Methods for Mechanics

Автор: Eckart W. Gekeler
Название: Mathematical Methods for Mechanics
ISBN: 3642088775 ISBN-13(EAN): 9783642088773
Издательство: Springer
Рейтинг:
Цена: 16977.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces all the mathematical tools necessary for solving complex problems in the field of mechanics. It also contains various applications of mathematical and numerical methods for modeling comprehensive mechanical-technical practical problems.


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