Graph-Theoretic Concepts in Computer Science, Christophe Paul; Michel Habib
Автор: Heggernes Название: Graph-Theoretic Concepts in Computer Science ISBN: 3662535351 ISBN-13(EAN): 9783662535356 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 42nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2016, held in Istanbul, Turkey, in June 2016. The 25 papers presented in this volume were carefully reviewed and selected from 74 submissions.The WG conferences aim to connect theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas of computer science and by extracting new graph problems from applications. Their goal is to present new research results and to identify and explore directions of future research.
Автор: Mayr Название: Graph-Theoretic Concepts in Computer Science ISBN: 3662531739 ISBN-13(EAN): 9783662531730 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015, held in Garching, Germany, in June 2015. The 32 papers presented in this volume were carefully reviewed and selected from 79 submissions. structural graph theory; graph drawing;
Описание: Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
Автор: Reihaneh Safavi-Naini Название: Information Theoretic Security ISBN: 3540850929 ISBN-13(EAN): 9783540850922 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the Third International Conference on Information Theoretic Security, held in Calgary, Canada, in August 2008. This work covers topics including secure and reliable communication; networks and devices; multiparty computation; information hiding and tracing; coding theory and security; foundation; and, encryption.
Автор: Yvo Desmedt Название: Information Theoretic Security ISBN: 3642102298 ISBN-13(EAN): 9783642102295 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Information Theoretic Security, ICITS 2007, held in Madrid, Spain, in May 2007. There were one invited keynote speech and 3 invited talks to the conference.
Автор: Skrzypczak Название: Descriptive Set Theoretic Methods in Automata Theory ISBN: 3662529467 ISBN-13(EAN): 9783662529461 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology.'…the thesis of Micha? Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.
Автор: Atkinson Название: Theoretical Numerical Analysis ISBN: 1441904573 ISBN-13(EAN): 9781441904577 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book prepares graduate students for research in numerical analysis/computational mathematics by giving a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps them to move rapidly into a research program.
Автор: Shivamoggi Название: Theoretical Fluid Dynamics, 2nd Edition ISBN: 0471056596 ISBN-13(EAN): 9780471056591 Издательство: Wiley Рейтинг: Цена: 31197.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction to a wide range of theoretical studies in fluid dynamics, covers a great deal of material and offers updated information on topics such as stability and turbulence. It surveys nearly the entire field of classical fluid dynamics and discusses the various conceptual and analytical models of fluid flow.
Описание: ?? Provides a concise but rigorous account of the theoretical background of FDA. ?? Introduces topics in various areas of mathematics, probability and statistics from the perspective of FDA. ?? Presents a systematic exposition of the fundamental statistical issues in FDA.
Автор: Alejandro L?pez-Ortiz Название: LATIN 2010: Theoretical Informatics ISBN: 3642121993 ISBN-13(EAN): 9783642121999 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers contained in this volume were presented at the 9th Latin American TheoreticalInformaticsSymposiumheldattheBenitoJu arezUniversityofO- aca, Oaxaca City, M exico, April 19-23, 2010. The LATIN series of conferences was launched in 1992 to foster the interaction between the Latin American t- oretical computer science community and computer scientists around the world. LATIN 2010wasthe ninth ofa series, after SaoPaulo, Brazil(1992);Valparaiso, Chile (1995); Campinas, Brazil (1998); Punta del Este, Uruguay (2000); C- cun, Mexico (2002); Buenos Aires, Argentina (2004); Valdivia, Chile (2006) and B uzios, Rio de Janeiro, Brazil (2008). From the 155 submissions, the Program Committee selected 56 papers for presentation at the conference. The selectionofpaperswasbasedonoriginality, quality, and relevance to theoretical computer science. It is expected that most of these papers will appear in a more complete and polished form in scienti?c journalsinthefuture.Inadditiontothecontributedpapers, thisvolumecontains the abstracts of four invited plenary talks given at the conference by Cristopher Moore, Piotr Indyk, Sergio Rajsbaum, and Leslie Valiant. A special session on the life and work of the late Imre Simon was held. Prof. Simon played a key role in the development of theoretical computer science in Latin American as well as theLATINconference.ThissessionhadcontributionsfromRicardoBaeza-Yates, John Brzozowski, Volker Diekert, and Jacques Sakarovitch.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru