Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Bцrger on the Occasion of His 75th Birthday, Raschke Alexander, Riccobene Elvinia, Schewe Klaus-Dieter
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.
Автор: Blass Andreas, Cйgielski Patrick, Dershowitz Nachum Название: Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday ISBN: 3030480054 ISBN-13(EAN): 9783030480059 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This Festschrift is published in honor of Yuri Gurevich`s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Journees sur les Arithmetiques Faibles also celebrating Yuri`s 80th birthday.
Автор: 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 .
Автор: 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.
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.
Автор: 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.
Автор: 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.
Автор: Aiello Marco, Bouguettaya Athman, Tamburri Damian Andrew Название: Next-Gen Digital Services. a Retrospective and Roadmap for Service Computing of the Future: Essays Dedicated to Michael Papazoglou on the Occasion of ISBN: 3030732029 ISBN-13(EAN): 9783030732028 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is a festschrift in honour of Mike Papazoglou`s 65th birthday and retirement. Topics are as varied as Mike`s and include service engineering, service management, services and human, IoT, and data-driven services.
Автор: Kuznetsov Nikolay, Reitmann Volker Название: Attractor Dimension Estimates for Dynamical Systems: Theory and Computation: Dedicated to Gennady Leonov ISBN: 3030509869 ISBN-13(EAN): 9783030509866 Издательство: Springer Рейтинг: Цена: 204970.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides analytical and numerical methods for the estimation of dimension characteristics (Hausdorff, Fractal, Caratheodory dimensions) for attractors and invariant sets of dynamical systems and cocycles generated by smooth differential equations or maps in finite-dimensional Euclidean spaces or on manifolds.
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
