Описание: Although the project has long since lost count of the number of implem- tations of the model, conservative estimates are that more than 100 community and four year colleges and a range of universities have adopted the PLTL model to advance student learning for more than 20,000 students in a variety of STEM disciplines.
Автор: Kian-Lee Tan; Beng Chin Ooi Название: Data Dissemination in Wireless Computing Environments ISBN: 1475772750 ISBN-13(EAN): 9781475772753 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Mirela Alti?; Imre Josef Demhardt; Soetkin Vervust Название: Dissemination of Cartographic Knowledge ISBN: 3319615149 ISBN-13(EAN): 9783319615141 Издательство: Springer Рейтинг: Цена: 32142.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book gathers 22 papers which were presented at the 6th International Symposium of the ICA Commission on the History of Cartography in Dubrovnik, Croatia on 13-15 October 2016. The overall conference theme was `The Dissemination of Cartographic Knowledge: Production - Trade - Consumption - Preservation`.
Автор: Elizier L. Gorelik Название: Metastasis / Dissemination ISBN: 0898389976 ISBN-13(EAN): 9780898389975 Издательство: Springer Рейтинг: Цена: 39830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
Автор: Juraj Hromkovi?; Ralf Klasing; A. Pelc; Peter Ruzi Название: Dissemination of Information in Communication Networks ISBN: 3642056482 ISBN-13(EAN): 9783642056482 Издательство: Springer Рейтинг: Цена: 10475.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest in parallel and distributive computing has been rapidly growingandinthelate1980sthestudyofparallelalgorithmsandarchitectures became one of the main topics in computer science. To bring the topic to educatorsandstudents, severalbooksonparallelcomputingwerewritten. The involvedtextbook"IntroductiontoParallelAlgorithmsandArchitectures"by F. Thomson Leighton in 1992 was one of the milestones in the development of parallel architectures and parallel algorithms. But in the last decade or so the main interest in parallel and distributive computing moved from the design of parallel algorithms and expensive parallel computers to the new distributive reality - the world of interconnected computers that cooperate (often asynchronously) in order to solve di?erent tasks. Communication became one of the most frequently used terms of computer science because of the following reasons: (i) Considering the high performance of current computers, the communi- tion is often moretime consuming than the computing time of processors. As a result, the capacity of communication channels is the bottleneck in the execution of many distributive algorithms. (ii) Many tasks in the Internet are pure communication tasks. We do not want to compute anything, we only want to execute some information - change or to extract some information as soon as possible and as cheaply as possible. Also, we do not have a central database involving all basic knowledge. Instead, wehavea distributed memorywherethe basickno- edgeisdistributedamongthelocalmemoriesofalargenumberofdi?erent computers. The growing importance of solving pure communication tasks in the - terconnected world is the main motivation for writing this book.
Автор: Subir Bandyopadhyay Название: Dissemination of Information in Optical Networks: ISBN: 3642091970 ISBN-13(EAN): 9783642091971 Издательство: Springer Рейтинг: Цена: 9077.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In Cooperation with Ralf Klasing
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
