Pages that link to "Item:Q161384"
From MaRDI portal
The following pages link to Texts in Theoretical Computer Science. An EATCS Series (Q161384):
Displayed 46 items.
- Decision procedures. An algorithmic point of view (Q518892) (← links)
- Exact exponential algorithms. (Q606873) (← links)
- The parametric lambda calculus. A metamodel for computation. (Q703856) (← links)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring. (Q703860) (← links)
- Finite model theory and its applications. (Q703863) (← links)
- Elements of finite model theory. (Q703864) (← links)
- Introduction to concurrency theory. Transition systems and CCS (Q897107) (← links)
- Petri net synthesis (Q897109) (← links)
- Graphs and algorithms in communication networks. Studies in broadband, optical, wireless and ad hoc networks (Q1048038) (← links)
- Verification of reactive systems. Formal methods and algorithms. (Q1395897) (← links)
- Theoretical computer science. Introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography. (Q1415059) (← links)
- Models of computation (Q1625203) (← links)
- Universal artificial intelligence. Sequential decisions based on algorithmic probability. (Q1762575) (← links)
- Abstract computing machines. A lambda calculus perspective. (Q1769930) (← links)
- A practical theory of reactive systems. Incremental modeling of dynamic behaviors. (Q1770845) (← links)
- Software engineering 1. Abstraction and modelling. (Q1773139) (← links)
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (Q1773140) (← links)
- Algorithmics for hard problems. (Q1773216) (← links)
- DNA computing. New computing paradigms. (Q1773217) (← links)
- Dissemination of information in communication networks. Broadcasting, gossiping, leader election, and fault-tolerance. (Q1773296) (← links)
- Grammatical picture generation. A tree-based approach. With CD-ROM. (Q1777963) (← links)
- Design and analysis of randomized algorithms. Introduction to design paradigms. (Q1777964) (← links)
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker (Q2077760) (← links)
- Modelling distributed systems. (Q2382306) (← links)
- Dissemination of information in optical networks: From technology to algorithms. In cooperation with Ralf Klasing. (Q2465025) (← links)
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant (Q2473386) (← links)
- Complexity theory and cryptology. An introduction to cryptocomplexity. (Q2484164) (← links)
- Parametrized complexity theory. (Q2488567) (← links)
- Temporal logic and state systems (Q2517767) (← links)
- Extremal Combinatorics (Q3061152) (← links)
- Graphs and Algorithms in Communication Networks on Seven League Boots (Q3404458) (← links)
- Traffic Grooming: Combinatorial Results and Practical Resolutions (Q3404459) (← links)
- Branch-and-Cut Techniques for Solving Realistic Two-Layer Network Design Problems (Q3404461) (← links)
- Routing and Label Space Reduction in Label Switching Networks (Q3404462) (← links)
- Routing Optimization in Optical Burst Switching Networks: a Multi-path Routing Approach (Q3404464) (← links)
- Problems in Dynamic Bandwidth Allocation in Connection Oriented Networks (Q3404470) (← links)
- Optimization of OSPF Routing in IP Networks (Q3404471) (← links)
- Game-Theoretic Approaches to Optimization Problems in Communication Networks (Q3404472) (← links)
- Permutation Routing and (ℓ, k)-Routing on Plane Grids (Q3404473) (← links)
- Mathematical Optimization Models for WLAN Planning (Q3404474) (← links)
- Time-Efficient Broadcast in Radio Networks (Q3404475) (← links)
- Energy Consumption Minimization in Ad Hoc Wireless and Multi-interface Networks (Q3404476) (← links)
- Data Gathering in Wireless Networks (Q3404477) (← links)
- Tournament Methods for WLAN: Analysis and Efficiency (Q3404478) (← links)
- Topology Control and Routing in Ad Hoc Networks (Q3404481) (← links)
- The complexity theory companion (Q5925718) (← links)