Pages that link to "Item:Q213237"

The following pages link to Monographs in Theoretical Computer Science. An EATCS Series (Q213237):

Displaying 50 items.

• Foundations of algebraic specification and formal software development. (Q610397) (← links)
• Fault-tolerant search algorithms. Reliable computation with unreliable information (Q625104) (← links)
• Patterns in permutations and words. (Q632372) (← links)
• Modeling time in computing. (Q714629) (← links)
• Models and algorithms of time-dependent scheduling (Q778893) (← links)
• Handbook of weighted automata (Q836989) (← links)
• Theoretical aspects of local search. (Q859710) (← links)
• Words and graphs (Q897110) (← links)
• Time-dependent scheduling (Q938826) (← links)
• Stochastic coalgebraic logic (Q1049890) (← links)
• Semantic integration of heterogeneous software specifications. (Q1428350) (← links)
• Duration calculus. A formal approach to real-time systems. (Q1428351) (← links)
• Restricted-orientation convexity. (Q1428352) (← links)
• Petri net algebra (Q1573598) (← links)
• Theory of reversible computing (Q1684627) (← links)
• Process algebra with timing (Q1847280) (← links)
• Deterministic extraction from weak random sources. (Q1958398) (← links)
• Theoretical aspects of distributed computing in sensor networks. (Q1958402) (← links)
• Process algebras for Petri nets. The alphabetization of distributed systems (Q2406167) (← links)
• Unfoldings: A partial-order approach to model checking. (Q2426635) (← links)
• Logics of specification languages (Q2473610) (← links)
• Fundamentals of algebraic graph transformation (Q2491953) (← links)
• Graph and model transformation. General framework and applications (Q2634496) (← links)
• Semirings and Formal Power Series (Q5072542) (← links)
• Finite Automata (Q5072545) (← links)
• Rational and Recognisable Power Series (Q5072546) (← links)
• Weighted Automata and Weighted Logics (Q5072547) (← links)
• Algebraic Systems and Pushdown Automata (Q5072549) (← links)
• Digital Image Compression (Q5072553) (← links)
• Fuzzy Languages (Q5072554) (← links)
• Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
• Applications of Weighted Automata in Natural Language Processing (Q5072556) (← links)
• Scheduling and Power Assignments in the Physical Model (Q5391110) (← links)
• Maintaining Connectivity in Sensor Networks Using Directional Antennae (Q5391111) (← links)
• Optimal Placement of Ad Hoc Devices Under a VCG-Style Routing Protocol (Q5391112) (← links)
• Population Protocols and Related Models (Q5391113) (← links)
• Theoretical Aspects of Graph Models for MANETs (Q5391114) (← links)
• Networked Distributed Source Coding (Q5391115) (← links)
• The Spatial Smoothing Method of Clock Synchronization in Wireless Networks (Q5391117) (← links)
• Coordination Problems in Ad Hoc Radio Networks (Q5391120) (← links)
• Oblivious Routing for Sensor Network Topologies (Q5391122) (← links)
• Scheduling Algorithms for Tree-Based Data Collection in Wireless Sensor Networks (Q5391125) (← links)
• Position-Based Routing in Wireless Ad Hoc and Sensor Networks (Q5391126) (← links)
• Energy-Balanced Data Propagation inWireless Sensor Networks (Q5391127) (← links)
• Dense, Concentric, and Non-uniform Multi-hop Sensor Networks (Q5391128) (← links)
• Prolong the Lifetime of Wireless Sensor Networks Through Mobility: A General Optimization Framework (Q5391130) (← links)
• Information Spreading in Dynamic Networks: An Analytical Approach (Q5391131) (← links)
• Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks (Q5391132) (← links)
• Computing by Mobile Robotic Sensors (Q5391133) (← links)
• Security and Trust in Sensor Networks (Q5391135) (← links)