Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, Blass Andreas, Cйgielski Patrick, Dershowitz Nachum
Logic.- A ∏01-Bounded Fragment of In nitary Action Logic with Exponential.- Transcendental syntax IV: logic without systems.- Logic and Computing.- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems.- Logic of fusion.- There's No Time, The Problem of Conceptualising Time.- Andre and the early days of Penn's Logic and Computation Group.- Formal Verification of Ethereum smart contracts using Isabelle/HOL.- Logic and Application - LAP meeting.- Logic and Security.- Formal Methods Analysis of the Secure Remote Password Protocol.- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA.- Modelchecking safety properties in randomized security protocols.- Logic and Language.- Andre Scedrov.- Gender Bias in Neural Natural Language Processing.
Автор: Bhattacharyya Shuvra S., Potkonjak Miodrag, Velipasalar Senem Название: Embedded, Cyber-Physical, and Iot Systems: Essays Dedicated to Marilyn Wolf on the Occasion of Her 60th Birthday ISBN: 3030169510 ISBN-13(EAN): 9783030169510 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Wolf is a renowned researcher and educator in Electrical and Computer Engineering, who has made pioneering contributions in all of the major areas in Embedded, Cyber-Physical, and Internet of Things (IoT) Systems.
Автор: Di Pierro Alessandra, Malacaria Pasquale, Nagarajan Rajagopal Название: From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement ISBN: 3030411028 ISBN-13(EAN): 9783030411022 Издательство: Springer Рейтинг: Цена: 54030.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science. His research is in cyber security, data analytics and semantics-based program analysis.
Автор: Fomin Fedor V., Kratsch Stefan, Van Leeuwen Erik Jan Название: Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday ISBN: 3030420701 ISBN-13(EAN): 9783030420703 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This Festschrift was published in honor of Hans L. advisor, Jan van Leeuwen. Chapter "Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University.- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems.- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology.- Chapter 6. Reflecting on Self-aware Systems-on-Chip.- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC.- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems.- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs.- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University.- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems.- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology.- Chapter 6. Reflecting on Self-aware Systems-on-Chip.- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC.- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems.- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs.- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.
Автор: Conca Aldo, Gubeladze Joseph, Rцmer Tim Название: Homological and Computational Methods in Commutative Algebra: Dedicated to Winfried Bruns on the Occasion of His 70th Birthday ISBN: 3319871951 ISBN-13(EAN): 9783319871950 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume collects contributions by leading experts in the area of commutative algebra related to the INdAM meeting "Homological and Computational Methods in Commutative Algebra" held in Cortona (Italy) from May 30 to June 3, 2016 .
Автор: Oberguggenberger Michael, Toft Joachim, Vindas Jasson Название: Generalized Functions and Fourier Analysis: Dedicated to Stevan Pilipovic on the Occasion of His 65th Birthday ISBN: 3319847767 ISBN-13(EAN): 9783319847764 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gives an excellent and up-to-date overview on the convergence and joint progress in the fields of Generalized Functions and Fourier Analysis, notably in the core disciplines of pseudodifferential operators, microlocal analysis and time-frequency analysis.
Автор: Bussmann-Holder Annette, Keller Hugo, Bianconi Antonio Название: High-Tc Copper Oxide Superconductors and Related Novel Materials: Dedicated to Prof. K. A. Mьller on the Occasion of His 90th Birthday ISBN: 3319849603 ISBN-13(EAN): 9783319849607 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Authored by many of the world`s leading experts on high-Tc superconductivity, this volume presents a panorama of ongoing research in the field, as well as insights into related multifunctional materials.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
