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

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


Hybrid Systems: Computation and Control / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, Morari Manfred, Thiele Lothar, Rossi Francesca


Варианты приобретения
Цена: 12154р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 33 шт.  Склад Америка: 118 шт.  
При оформлении заказа до: 25 окт 2019
Ориентировочная дата поставки: конец Ноября

Добавить в корзину
в Мои желания
Автор: Morari Manfred, Thiele Lothar, Rossi Francesca
Название:  Hybrid Systems: Computation and Control / 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Издательство: Springer
Классификация:
Общая теория обработки данных
Компьютерная архитектура и логическое проектирование
Алгоритмы и процедуры
Разработка программного обеспечения
Компьютерные сети
Применение эвм
Компьютерное моделирование

ISBN: 3540251081
ISBN-13(EAN): 9783540251088
ISBN: 3-540-25108-1
ISBN-13(EAN): 978-3-540-25108-8
Обложка/Формат: Paperback
Страницы: 684
Вес: 0.971 кг.
Дата издания: 2005
Серия: Lecture Notes in Computer Science
Язык: ENG
Иллюстрации: 1, black & white illustrations
Размер: 22.73 x 16.38 x 2.57 cm
Читательская аудитория: Professional & vocational
Подзаголовок: Computation and control : 8th international workshop, hscc 2005, zurich, switzerland, march 9-11, 2005 : proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005.
Дополнительное описание: Формат: 235x155
Круг читателей: Researchers and professionals
Ключевые слова: hybrid systems
hybrid control systems
real-time systems
reactive systems
hybrid automata
embedded systems
dynamical systems
dependable systems
formal verification
systems analysis
systems modeling
stochastic hybrid systems
Язык: eng





Hybrid Systems: Computation and Control / 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Автор: Wiedijk Freek, Maler Oded, Pnueli Amir
Название: Hybrid Systems: Computation and Control / 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
ISBN: 3540009132 ISBN-13(EAN): 9783540009139
Издательство: Springer
Рейтинг:
Цена: 10284 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003.The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains.

Hybrid Systems: Computation and Control / 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings

Автор: Buttazzo Giorgio, Bemporad Alberto, Bicchi Antonio
Название: Hybrid Systems: Computation and Control / 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
ISBN: 3540714928 ISBN-13(EAN): 9783540714927
Издательство: Springer
Рейтинг:
Цена: 12154 р.
Наличие на складе: Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. This book addresses topics such as models of heterogeneous systems, computability and complexity issues, real-time computing and control, and embedded and resource-aware control.

Algorithms in Bioinformatics / 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings

Автор: BГјcher Philipp, Moret Bernard M.E.
Название: Algorithms in Bioinformatics / 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings
ISBN: 3540395830 ISBN-13(EAN): 9783540395836
Издательство: Springer
Рейтинг:
Цена: 8414 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms in Bioinformatics, WABI 2006, held in Zurich, Switzerland in September 2006 in the course of the ALGO 2006 conference meetings.The 36 revised full papers presented were carefully reviewed and selected from 100 submissions. All current issues of algorithms in bioinformatics are addressed, ranging from mathematical tools to experimental studies of approximation algorithms and reports on significant computational analyses. Numerous biological problems are dealt with, including genetic mapping, sequence alignment and sequence analysis, phylogeny, comparative genomics, and protein structure. For the first time also machine-learning approaches along with combinatorial optimization are covered.

Biomedical Simulation / Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings

Автор: Harders Matthias, SzГ©kely GГЎbor
Название: Biomedical Simulation / Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings
ISBN: 3540360093 ISBN-13(EAN): 9783540360094
Издательство: Springer
Рейтинг:
Цена: 6077 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third International Symposium on Biomedical Simulation, ISBMS 2006, held in Zurich, Switzerland in July 2006.The 12 revised full papers and 11 poster papers presented were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on simulation of biophysical processes, systems and applications, and anatomical modeling and tissue properties.

Approximation and Online Algorithms / 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers

Автор: Erlebach Thomas, Kaklamanis Christos
Название: Approximation and Online Algorithms / 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers
ISBN: 3540695133 ISBN-13(EAN): 9783540695134
Издательство: Springer
Рейтинг:
Цена: 7012 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post proceedings of the 4th International Workshop on Approximation and Online Algorithms, WAOA 2006, held in Zurich, Switzerland in September 2006 as part of the ALGO 2006 conference event.The 26 revised full papers presented were carefully reviewed and selected from 62 submissions. Topics addressed by the workshop are algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms, randomization techniques, real-world applications, and scheduling problems.

Wireless Sensor Networks / Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings

Автор: RГ¶mer Kay, Karl Holger, Mattern Friedemann
Название: Wireless Sensor Networks / Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings
ISBN: 3540321586 ISBN-13(EAN): 9783540321583
Издательство: Springer
Рейтинг:
Цена: 7479 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third European Workshop on Wireless Sensor Networks, EWSN 2006, held in Zurich, Switzerland, in FEbruary 2006.The 21 revised full papers presented together with the abstracts of 1 invited talk and 2 tutorials were carefully reviewed and selected from 133 submissions. The papers are organized in topical sections on query systems, sensor network services, routing, localization, platforms and development, medium access control, and measurements.

Tests and Proofs / First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Автор: Meyer Bertrand, Gurevich Yuri
Название: Tests and Proofs / First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
ISBN: 3540737693 ISBN-13(EAN): 9783540737698
Издательство: Springer
Рейтинг:
Цена: 6077 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007.The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests.

Algorithms - ESA 2006 / 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings

Автор: Azar Yossi, Erlebach Thomas
Название: Algorithms - ESA 2006 / 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings
ISBN: 3540388753 ISBN-13(EAN): 9783540388753
Издательство: Springer
Цена: 13089 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th Annual European Symposium on Algorithms, ESA 2006, held in Zurich, Switzerland, in September 2006, in the context of the combined conference ALGO 2006.The 70 revised full papers presented together with abstracts of 3 invited lectures were carefully reviewed and selected from 287 submissions. The papers address all current subjects in algorithmics, reaching from design and analysis issues of algorithms over to real-world applications and engineering of algorithms in various fields.

Cryptographic Hardware and Embedded Systems - CHES 2005 / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings

Автор: Rao Josyula R., Sunar Berk
Название: Cryptographic Hardware and Embedded Systems - CHES 2005 / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
ISBN: 3540284745 ISBN-13(EAN): 9783540284741
Издательство: Springer
Рейтинг:
Цена: 8882 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2005, held in Edinburgh, UK in August/September 2005.The 32 revised full papers presented were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on side channels, arithmetic for cryptanalysis, low resources, special purpose hardware, hardware attacks and countermeasures, arithmetic for cryptography, trusted computing, and efficient hardware.

Formal Techniques for Computer Systems and Business Processes / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Автор: Bravetti Mario, Kloul Leila, Zavattaro Gianluigi
Название: Formal Techniques for Computer Systems and Business Processes / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
ISBN: 3540287019 ISBN-13(EAN): 9783540287018
Издательство: Springer
Рейтинг:
Цена: 7012 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of two colocated international workshops European Performance Engineering Workshop 2005 and Web Services and Formal Methods 2005 held in Versailles, France in September 2005. This book includes 20 papers that were reviewed and selected from 59 submissions.

Agent-Based Approaches in Economic and Social Complex Systems IV / Post Proceedings of The AESCS International Workshop 2005

Автор: Terano T., Kita H., Deguchi H., Kijima K.
Название: Agent-Based Approaches in Economic and Social Complex Systems IV / Post Proceedings of The AESCS International Workshop 2005
ISBN: 4431713069 ISBN-13(EAN): 9784431713067
Издательство: Springer
Рейтинг:
Цена: 16829 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Agent-Based Modeling/Simulation (ABM/ABS) is an emerging field that enables bottom-up and experimental analysis in social sciences such as economics, management, sociology and politics. The chapters of this book are the selected papers from those presented the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan in 2005. Articles in this book covers methodological issues, computational model/software, combination with gaming simulation, and real-world applications to economic, management/organizational and social issues.

Evolutionary Computation in Combinatorial Optimization / 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings

Автор: Raidl GГјnther R., Gottlieb Jens
Название: Evolutionary Computation in Combinatorial Optimization / 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings
ISBN: 3540253378 ISBN-13(EAN): 9783540253372
Издательство: Springer
Рейтинг:
Цена: 6544 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2005, held in Lausanne, Switzerland in March/April 2005.The 24 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers cover evolutionary algorithms as well as related approaches like scatter search, simulated annealing, ant colony optimization, immune algorithms, variable neighborhood search, hyperheuristics, and estimation of distribution algorithms. The papers deal with representations, analysis of operators and fitness landscapes, and comparison algorithms. Among the combinatorial optimization problems studied are graph coloring, quadratic assignment, knapsack, graph matching, packing, scheduling, timetabling, lot-sizing, and the traveling salesman problem.


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