Theoretical Computer Science, Lian Li; Pinyan Lu; Kun He
Автор: Manindra Agrawal; Ding-Zhu Du; Zhenhua Duan; Angsh Название: Theory and Applications of Models of Computation ISBN: 3540792279 ISBN-13(EAN): 9783540792277 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 5th International Conference TAMC 2008 Xian China April 25-29 2008 Proceedings.
Автор: J?rgen Branke; Kalyanmoy Deb; Kaisa Miettinen; Rom Название: Multiobjective Optimization ISBN: 3540889078 ISBN-13(EAN): 9783540889076 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Based on the International Seminar on Practical Approaches to Multiobjective Optimization, held in Dagstuhl Castle, Germany, in December 2006, this book gives an account of the status of research and applications in this field.
Автор: Klaus Havelund; Rupak Majumdar; Jens Palsberg Название: Model Checking Software ISBN: 3540851135 ISBN-13(EAN): 9783540851134 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The main focus of the workshop series is software systems, including models and programs.
Автор: John Fitzgerald; Anne E. Haxthausen; Husnu Yenigun Название: Theoretical Aspects of Computing - ICTAC 2008 ISBN: 3540857613 ISBN-13(EAN): 9783540857617 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. This book contains 27 papers that were selected from over 70 submissions. It intends to bring together practitioners and researchers from academia to present research results.
Автор: Yingshu Li; Dung T. Huynh; Sajal K. Das; Ding-Zhu Название: Wireless Algorithms, Systems, and Applications ISBN: 3540885811 ISBN-13(EAN): 9783540885818 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2008, held in Dallas, TX, USA, in October 2008. This book addresses research and development efforts of various issues in the area of algorithms, and infrastructure less wireless networks.
Автор: Aarti Gupta; Sharad Malik Название: Computer Aided Verification ISBN: 3540705430 ISBN-13(EAN): 9783540705437 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.
Автор: Boting Yang; Ding-Zhu Du; Cao An Wang Название: Combinatorial Optimization and Applications ISBN: 3540850961 ISBN-13(EAN): 9783540850960 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St John`s, Canada, in August 2008. This book includes papers that feature research in the areas of combinatorial optimization - both theoretical issues and applications motivated by real-world problems.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Franck Cassez; Claude Jard Название: Formal Modeling and Analysis of Timed Systems ISBN: 354085777X ISBN-13(EAN): 9783540857778 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.
Автор: C. Ding; T. Helleseth; H. Niederreiter Название: Sequences and their Applications ISBN: 1852331968 ISBN-13(EAN): 9781852331962 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of survey papers and research papers by experts on sequences and their applications. This text discusses both the theory of sequences and their applications in cryptography, coding theory, communications systems, numerical computation and computer simulation.
Описание: This book presents theoretical modeling and numerical simulations applied to drive several applications towards Industrial Revolution 4.0 (IR 4.0). The topics discussed range from theoretical parts to extensive simulations involving many efficient algorithms as well as various statistical techniques.
Описание: The book introduces the basic concepts of the finite element method in the static and dynamic analysis of beam, plate, shell and solid structures, discussing how the method works, the characteristics of a finite element approximation and how to avoid the pitfalls of finite element modeling.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
