+7(495) 980-12-10
  10:00-18:00 пн-сб
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
  Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 
 
Книги
Книги зарубежных издательств на иностранных языках

Книги российских издательств

Представительство в Казахстане
 
Вход в систему
 
Войти
Регистрация  Забыли?
 
Информация
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
Политика конфиденциальности
LgBook.ru
FkBook.ru
 
Online Каталоги
Каталог учебной литературы
по английскому языку >>>

Каталог учебной литературы
по английскому языку >>>


Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете

Finite and Boundary Element Methods in Engineering, Gupta, O.P.

Автор: Gupta, O.P.
Название:  Finite and Boundary Element Methods in Engineering   (Методы граничных элементов в инженерии)
Издательство: Taylor&Francis
Классификация:
ISBN: 9054107650
ISBN-13(EAN): 9789054107651
ISBN: 90-5410765-0
ISBN-13(EAN): 978-90-5410765-1
Обложка/Формат: Hardback
Страницы: 494
Вес: 0.748 кг.
Дата издания: 01.01.1999
Иллюстрации: Figs.tabs.
Размер: 240 x 160
Читательская аудитория: Postgraduate, research & scholarly
Рейтинг:
Поставляется из: Англии
Описание: The interest in finite element method as a solution technique of the computer age is reflected in the availability of many general and special purpose software based on this technique. This work aims to provide a complete and detailed explanation.

Добавить в Мои желания

 Варианты приобретения 
  Наличие на складе Кол-во / Цена р.
1 Отсутствует. Возможна поставка под заказ. Дата поступления на склад уточняется после оформления заказа
5422.00
 о цене
Добавить в корзину


Software engineering project management

Автор: Thayer
Название: Software engineering project management
ISBN: 0818680008 ISBN-13(EAN): 9780818680007
Издательство: Wiley
Рейтинг:
Цена: 6405 р.
Наличие на складе: Нет в наличии.

Описание: This text presents a framework for project management activities based on the planning, organizing, staffing, directing, and controlling model, providing information which should help the reader understand and perform the role of a project manager.

в Мои желания
Site Reliability Engineering: How Google Runs Production Systems

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 3365 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Building and operating distributed systems is fundamental to large-scale production infrastructure, but doing so in a scalable, reliable, and efficient way requires a lot of trial and error. In this collection of essays and articles, three Site Reliability Engineers from Google explain how the company has successfully navigated these waters over the past decade.

You ll learn how Google continuously deploys and monitors some of the largest software systems in the world, how it s Site Reliability Engineering team learns and improves after outages, and how they balance risk-taking vs reliability with error budgets."

в Мои желания
Robust Computational Techniques for Boundary Layers

Автор: Farrell
Название: Robust Computational Techniques for Boundary Layers
ISBN: 1584881925 ISBN-13(EAN): 9781584881926
Издательство: Taylor&Francis
Рейтинг:
Цена: р.
Наличие на складе: Нет в наличии.

Описание: Standard numerical methods are of little use in solving problems involving boundary layers. This volume presents an essentially new numerical technique that gives precise results in the boundary layer regions for the problems discussed. It shows that this technique can be adapted in a natural way to a real flow problem and can also be used to construct benchmark solutions for comparison with solutions found using other numerical techniques. Written at the advanced undergraduate and research level, this book provides readers with an understanding of the underlying principles and the essential components needed to construct numerical methods for boundary layer problems.

в Мои желания
Formal Methods and Software Engineering / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Автор: Liu Zhiming, He Jifeng
Название: Formal Methods and Software Engineering / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
ISBN: 3540474609 ISBN-13(EAN): 9783540474609
Издательство: Springer
Рейтинг:
Цена: 10724 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006.The 38 revised full papers presented together with 3 keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification, internetware and Web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement.

в Мои желания
Formal Methods and Software Engineering / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Автор: Lau Kung-Kiu, Banach Richard
Название: Formal Methods and Software Engineering / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
ISBN: 3540297979 ISBN-13(EAN): 9783540297970
Издательство: Springer
Рейтинг:
Цена: 8249 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

в Мои желания
Formal Methods and Software Engineering

Автор: Karin Breitman; Ana Cavalcanti
Название: Formal Methods and Software Engineering
ISBN: 3642103723 ISBN-13(EAN): 9783642103728
Издательство: Springer
Рейтинг:
Цена: 10724 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .

в Мои желания
Formal Methods and Software Engineering / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Автор: Dong Jin Song, Woodcock Jim
Название: Formal Methods and Software Engineering / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
ISBN: 354020461X ISBN-13(EAN): 9783540204619
Издательство: Springer
Рейтинг:
Цена: 9487 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

в Мои желания
Formal Methods and Software Engineering / 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Автор: Davies Jim, Schulte Wolfram, Barnett Mike
Название: Formal Methods and Software Engineering / 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
ISBN: 3540238417 ISBN-13(EAN): 9783540238416
Издательство: Springer
Рейтинг:
Цена: 9074 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

в Мои желания
Formal Methods and Software Engineering / 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Автор: George Chris, Miao Huaikou
Название: Formal Methods and Software Engineering / 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
ISBN: 3540000291 ISBN-13(EAN): 9783540000297
Издательство: Springer
Рейтинг:
Цена: 9899 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002.The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.

в Мои желания
Emerging Methods, Technologies and Process Management in Software Engineering

Автор: De Lucia
Название: Emerging Methods, Technologies and Process Management in Software Engineering
ISBN: 0470085711 ISBN-13(EAN): 9780470085714
Издательство: Wiley
Рейтинг:
Цена: 10005 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book covers emerging topics in the field of software engineering, ranging from requirement engineering, software system design, UML, software architectures, verification and validation, web services, and agent-oriented software engineering to software configuration management, process management, empirical software engineering, legacy systems, and software evolution. The editors will provide an overview of each section to put the material in perspective. Based on tutorials presented at the International School on Software Engineering (University of Salerno, Italy).

в Мои желания
Formal Methods and Software Engineering

Автор: Dong
Название: Formal Methods and Software Engineering
ISBN: 3642169007 ISBN-13(EAN): 9783642169007
Издательство: Springer
Рейтинг:
Цена: 9487 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions.

в Мои желания
Parallel-Vector Equation Solvers for Finite Element Engineering Applications

Автор: Duc Thai Nguyen
Название: Parallel-Vector Equation Solvers for Finite Element Engineering Applications
ISBN: 0306466406 ISBN-13(EAN): 9780306466403
Издательство: Springer
Рейтинг:
Цена: 13612 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Despite the ample number of articles on parallel-vector computational algorithms published over the last 20 years, there is a lack of texts in the field customized for senior undergraduate and graduate engineering research. Parallel-Vector Equation Solvers for Finite Element Engineering Applications aims to fill this gap, detailing both the theoretical development and important implementations of equation-solution algorithms. The mathematical background necessary to understand their inception balances well with descriptions of their practical uses. Illustrated with a number of state-of-the-art FORTRAN codes developed as examples for the book, Dr. Nguyen's text is a perfect choice for instructors and researchers alike.

в Мои желания

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