Space in Weak Propositional Proof Systems

Topological Signal Processing

Satellite Network Robust QoS-aware Routing

Theory of Reversible Computing

Essential Knowledge for Transistor-Level LSI Circuit Design

Asymptotic Nonparametric Statistical Analysis of Stationary Time Series

Computational Artifacts Towards a Philosophy of Computer Science

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Morphological Intelligence Measuring the Body’s Contribution to Intelligence

Adventures in Computer Science From Classical Bits to Quantum Bits

Space Information Networks Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers