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

Language Engineering and Rigorous Software Development, Ana Bove; Luis Soares Barbosa; Alberto Pardo; Jorg


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

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

Автор: Ana Bove; Luis Soares Barbosa; Alberto Pardo; Jorg
Название:  Language Engineering and Rigorous Software Development
ISBN: 9783642031526
Издательство: Springer
Классификация: ISBN-10: 3642031528
Обложка/Формат: Paperback
Страницы: 300
Вес: 0.48 кг.
Дата издания: 2009
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 231 x 155 x 15
Читательская аудитория: Science
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap olis, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in the areas of programming languages and rigorous methods for software - velopment. The school was oriented to computer science graduate students and researchers, withaninterestinformaltechniquesforthedesignandconstruction of software systems as well as programming languages. The school was organized in the context of the LERnet (Language En- neering and Rigorous Software Development) project. LERnet is a project of the ALFA programme of the European Commission for co-operation between higher education institutions of the European Union and Latin America. The institutions that participate in the LERnet project are the following: - Chalmers Tekniska H] ogskola, Sweden - Institut National de la Recherche en Informatique et Automatique (INRIA), France - Universidad de Castilla-La Mancha, Spain - Universidad Catol ica de Santiago del Estero, Argentina - Universidad EAFIT, Colombia - Universidade Federal de Minas Gerais, Brazil - Universidade do Minho, Portugal - Universidad Nacional de San Luis, Argentina - Universidad Polit ecnica de Valencia, Spain - Universidad de la Republica , Uruguay - Universiteit Utrecht, The Netherlands The project oversees the mobility of PhD students from Latin America to the European Union and vice versa for a period of up to 18 months, to pursue


Reading Reconsidered: A Guide to Rigorous Literacy Instruction in the Common Core Era

Автор: Lemov Doug
Название: Reading Reconsidered: A Guide to Rigorous Literacy Instruction in the Common Core Era
ISBN: 1119104246 ISBN-13(EAN): 9781119104247
Издательство: Wiley
Рейтинг:
Цена: 4435.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: TEACH YOUR STUDENTS TO READ LIKE CHAMPIONS WITH RIGOR, INDEPENDENCE, PRECISION, AND INSIGHT The world we are preparing our students to succeed in is one bound together by words and phrases. Our students learn their literature, history, math, science, or art via a firm foundation of strong reading skills.

Rigorous Schools and Classrooms

Автор: Williamson
Название: Rigorous Schools and Classrooms
ISBN: 1596671459 ISBN-13(EAN): 9781596671454
Издательство: Taylor&Francis
Рейтинг:
Цена: 4592.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: First Published in 2010. Routledge is an imprint of Taylor & Francis, an informa company.

Rigorous PBL by Design

Автор: McDowell M
Название: Rigorous PBL by Design
ISBN: 1506359027 ISBN-13(EAN): 9781506359021
Издательство: Sage Publications
Рейтинг:
Цена: 5067.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The author shows how Project or Problem-Based Learning can be designed differently in order to accomplish maximum student growth in learning.

2-D Quadratic Maps And 3-D Ode Systems: A Rigorous Approach

Автор: Zeraoulia Elhadj Et Al
Название: 2-D Quadratic Maps And 3-D Ode Systems: A Rigorous Approach
ISBN: 9814307742 ISBN-13(EAN): 9789814307741
Издательство: World Scientific Publishing
Рейтинг:
Цена: 17107.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is based on research on the rigorous proof of chaos and bifurcations in 2-D quadratic maps, especially the invertible case such as the H non map, and in 3-D ODE's, especially piecewise linear systems such as the Chua's circuit. In addition, the book covers some recent works in the field of general 2-D quadratic maps, especially their classification into equivalence classes, and finding regions for chaos, hyperchaos, and non-chaos in the space of bifurcation parameters.Following the main introduction to the rigorous tools used to prove chaos and bifurcations in the two representative systems, is the study of the invertible case of the 2-D quadratic map, where previous works are oriented toward H non mapping. 2-D quadratic maps are then classified into 30 maps with well-known formulas. Two proofs on the regions for chaos, hyperchaos, and non-chaos in the space of the bifurcation parameters are presented using a technique based on the second-derivative test and bounds for Lyapunov exponents. Also included is the proof of chaos in the piecewise linear Chua's system using two methods, the first of which is based on the construction of Poincar map, and the second is based on a computer-assisted proof. Finally, a rigorous analysis is provided on the bifurcational phenomena in the piecewise linear Chua's system using both an analytical 2-D mapping and a 1-D approximated Poincar mapping in addition to other analytical methods.

Complexity And Control: Towards A Rigorous Behavioral Theory Of Complex Dynamical Systems

Автор: Ivancevic Vladimir G & Reid Darryn J
Название: Complexity And Control: Towards A Rigorous Behavioral Theory Of Complex Dynamical Systems
ISBN: 9814635863 ISBN-13(EAN): 9789814635868
Издательство: World Scientific Publishing
Рейтинг:
Цена: 30888.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The book Complexity and Control: Towards a Rigorous Behavioral Theory of Complex Dynamical Systems is a graduate-level monographic textbook, intended to be a novel and rigorous contribution to modern Complexity Theory.

This book contains 11 chapters and is designed as a one-semester course for engineers, applied and pure mathematicians, theoretical and experimental physicists, computer and economic scientists, theoretical chemists and biologists, as well as all mathematically educated scientists and students, both in industry and academia, interested in predicting and controlling complex dynamical systems of arbitrary nature.

Rigorous Reading

Автор: Douglas Fisher Nancy Frey &
Название: Rigorous Reading
ISBN: 1452268134 ISBN-13(EAN): 9781452268132
Издательство: Sage Publications
Рейтинг:
Цена: 5067.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book shows how teachers can help students develop stronger learning skills by ensuring that their literacy moves from modeling and guided practice to collaborative learning, and independent tasks

Rigorous Development of Complex Fault-Tolerant Systems

Автор: Michael Butler; Cliff Jones; Alexander Romanovsky;
Название: Rigorous Development of Complex Fault-Tolerant Systems
ISBN: 3540482652 ISBN-13(EAN): 9783540482659
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. This book is based on the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

A First look at rigorous probability theory, 2nd edition

Автор: Jeffrey S Rosenthal
Название: A First look at rigorous probability theory, 2nd edition
ISBN: 9812703713 ISBN-13(EAN): 9789812703712
Издательство: World Scientific Publishing
Рейтинг:
Цена: 4277.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features an introduction to probability theory using measure theory. This work provides proofs of the essential introductory results and presents the measure theory and mathematical details in terms of intuitive probabilistic concepts, rather than as separate, imposing subjects.


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