|
|
 |
|
HOME > BROWSE BY SUBJECTS > COMPUTER SCIENCE > THEORETICAL COMPUTER SCIENCE
|
|
| THEORETICAL COMPUTER SCIENCE |
|
|
- Active Media Technology
Proceedings of the Second International Conference
- Advances in Algebra and Combinatorics
Proceedings of the Second International Congress in Algebra and Combinatorics
- Advances in Algebraic Geometry Codes
edited by Edgar Martínez-Moro, Carlos Munera & Diego Ruano
- Advances in Coding Theory and Cryptography
- Advances in Informatics
Proceedings of the 7th Hellenic Conference on Informatics (HCI '99)
- Advances in Modal Logic
Volume 3
- Advances on Computer Mathematics and Its Applications
- Algebraic Approach to Compiler Design, An
- Algebraic Theory of Automata and Languages
- Algorithmic Results in List Decoding
- Algorithms
Design Techniques and Analysis
- Algorithms, Architectures and Information Systems Security
- Amplification of Nonlinear Strain Waves in Solids
- Analytical and Numerical Methods for Wave Propagation in Fluid Media
- Applications of Automata Theory and Algebra
Via the Mathematical Theory of Complexity to Biology, Physics, Psychology, Philosophy, and Games
- Automata Theory
- Autonomous Agents and Multi-Agent Systems
Explorations in Learning, Self-Organization and Adaptive Computation
- Average-Case Complexity
- Book of Traces, The
- Brainware: Bio-Inspired Architecture and Its Hardware Implementation
- CafeOBJ Report
The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
- Categorical Structures and Their Applications
Proceedings of the North-West European Category Seminar
- Cellular Automata
A Discrete Universe
- Cellular Neural Networks and Their Applications
Proceedings of the 7th IEEE International Workshop
- Chinese Remainder Theorem
Applications in Computing, Coding, Cryptography
- Coding and Cryptology
Proceedings of the First International Workshop
- Coding Theory and Cryptology
- Collected Works of Larry Wos, The
(In 2 Volumes)
Volume I: Exploring the Power of Automated Reasoning
Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
- Combinatorial Group Testing and Its Applications
- Computability in Context
Computation and Logic in the Real World
- Computation in Modern Physics
Second Edition
- Computation: The Micro and the Macro View
- Computational Prospects of Infinity
Part I: Tutorials
- Computational Prospects of Infinity
Part II: Presented Talks
- Computer Algebra 2006
Latest Advances in Symbolic Algorithms
Proceedings of the Waterloo Workshop
- Computer Algebra with SymbolicC++
- Computer Mathematics
Proceedings of the Fourth Asian Symposium (ASCM 2000)
- Computer Mathematics
Proceedings of the Fifth Asian Symposium (ASCM 2001)
- Computer Mathematics
Proceedings of the Sixth Asian Symposium (ASCM 2003)
- Computing and Information Technologies
Exploring Emerging Technologies
Proceedings of the International Conference
- Computing Boolean Statistical Models
- Computing in Euclidean Geometry
(2nd Edition)
- Context-Free Languages and Primitive Words
- Coordination Programming: Mechanisms, Models and Semantics
- Current Trends in Theoretical Computer Science
Entering the 21st Century
- Current Trends in Theoretical Computer Science
The Challenge of the New Century
Vol 1: Algorithms and Complexity
Vol 2: Formal Models and Semantics
- Cyclic Division Algebras: A Tool for Space-Time Coding
- Data Mining in Time Series Databases
- Data Streams
Algorithms and Applications
- Data Structures and Algorithms
- Developments in Language Theory
Foundations, Applications, and Perspectives
Proceedings of the 4th International Conference
- Diagonal Infinity, The
Problems of Multiple Scales
(With CD-ROM)
- Diamond
A Paradox Logic
- Diamond
A Paradox Logic
(2nd Edition)
- Domain-Theoretic Foundations of Functional Programming
- Elimination Practice
Software Tools and Applications
(With CD-Rom)
- Explanatory Nonmonotonic Reasoning
- Fork Algebras in Algebra, Logic and Computer Science
- Formal Models of Computation
The Ultimate Limits of Computing
- Formal Models, Languages and Applications
- Foundations of Cryptography — A Primer
- Foundations of Quantum Mechanics, The
Historical Analysis and Open Questions — Cesena 2004
- Fundamental Concepts in Computer Science
- General Systems Theory
Ideas and Applications
- General Systems Theory
Problems, Perspectives, Practice
(Second Edition)
- Generalizations of Steinberg Groups
- Geometric Computation
- Geometric Mechanics
Part I: Dynamics and Symmetry
- Geometric Mechanics
Part II: Rotating, Translating and Rolling
- Geometric Programming for Communication Systems
- Graph Algorithms and Applications I
- Graph Algorithms and Applications 2
- Graph Algorithms and Applications 3
- Graph Algorithms and Applications 4
- Graph Algorithms and Applications 5
- Half-Century of Automata Theory, A
Celebration and Inspiration
- Handbook of Graph Grammars and Computing by Graph Transformation
Volume 1: Foundations
- Handbook of Graph Grammars and Computing by Graph Transformation
Volume 2: Applications, Languages and Tools
- Handbook of Graph Grammars and Computing by Graph Transformation
Volume 3: Concurrency, Parallelism, and Distribution
- Handbook of Nanoindentation with Biological Applications
- Handbook of Pattern Recognition and Computer Vision
3rd Edition
- Handbook of Pattern Recognition and Computer Vision
4th Edition
- Handbook on Sensor Networks
- Hypercomplex Iterations
Distance Estimation and Higher Dimensional Fractals
(with CD ROM)
- ICTACS 2006
Proceedings of the First International Conference on Theories and Applications of Computer Science 2006
- Information Theory and Statistics
A Tutorial
- Intelligent Agent Technology
Research and Development
Proceedings of the 2nd Asia-Pacific Conference on IAT
- Introduction to Graph Theory
H3 Mathematics
- Introduction to Graph Theory
Solutions Manual
- Introduction to Quantum Computation and Information
- Introduction to Quantum Computers
- Introduction to the Analysis of Algorithms, An
- Introduction to Theoretical Computer Science
- Jewels of Stringology
Text Algorithms
- Labelled Markov Processes
- Languages and Tools for Hybrid Systems Design
- Large Scale Structure and Dynamics of Complex Networks
From Information Technology to Finance and Natural Science
- Lecture Notes on Topoi and Quasitopoi
- Linear Networks and Systems: Algorithms and Computer-Aided Implementations
Problems and Solutions
- Mathematical Aspects of Mixing Times in Markov Chains
- Mathematical Aspects of Natural and Formal Languages
- Mathematical Foundation of Informatics, The
Proceedings of the Conference
- Mathematical Foundations of Parallel Computing
- Mathematical Logic for Computer Science
- Mathematical Logic for Computer Science
2nd Edition
- Mathematical Logic in the 20th Century
- Mathematical Theory of Nonblocking Switching Networks, The
(2nd Edition)
- Mathematics of Harmony, The
From Euclid to Contemporary Mathematics and Computer Science
- Meaning, Logic and Ludics
- Modern Applications of Automata Theory
- Modern Studies of Basic Quantum Concepts and Phenomena
Proceedings of Nobel Symposium 104
- Molecular Realizations of Quantum Computing 2007
- Net Theory and Its Applications
Flows in Networks
- Network Coding Theory
- Network Optimization Problems: Algorithms, Applications and Complexity
- New Paradigm of Knowledge Engineering by Soft Computing, A
- Nonlinear Dynamics Perspective of Wolfram’s New Kind of Science, A
(In 2 Volumes)
- Numerical Methods for Elliptic Problems with Singularities
- Pairwise Independence and Derandomization
- Perspective in Theoretical Computer Science, A
Commemorative Volume for Gift Siromoney
- Planar Graph Drawing
- Principles of Quantum Computation and Information
Volume I: Basic Concepts
- Principles of Quantum Computation and Information
Volume II: Basic Tools and Special Topics
- Proceedings of the 3rd Asia-Pacific Bioinformatics Conference
- Proceedings of the 7th and 8th Asian Logic Conferences
- Proceedings of the Sixth Asian Logic Conference
- Proceedings of the Third Asian Mathematical Conference 2000
- Progress in Computational Physics of Matter
Methods, Software and Applications
- Quanta, Logic and Spacetime
(2nd Edition)
- Quantum Chromodynamics and Color Confinement
(Confinement 2000)
- Quantum Information II
Proceedings of the Second International Conference
- Quantum Information III
Proceedings of the Third International Conference
- Quantum Information IV
Proceedings of the Fourth International Conference
- Quantum Mechanics in Phase Space
An Overview with Selected Papers
- Quantum Probability and Related Topics
Proceedings of the 28th Conference
- Randomness and Complexity, from Leibniz to Chaitin
- Realizing Controllable Quantum States
Proceedings of the International Symposium on Mesoscopic Superconductivity and Spintronics — In the Light of Quantum Computation
- Reasoning about Theoretical Entities
- Recent Advances in Artificial Life
- Scaling Laws for Ad Hoc Wireless Networks
An Information Theoretic Approach
- Scientific Applications of Language Methods
- Selected Logic Papers
- Selected Topics in Information and Coding Theory
- Selected Works of Wen-Tsun Wu
- Semigroups and Formal Languages
Proceedings of the International Conference
- Semigroups and Languages
Proceedings of the Workshop
- Semigroups, Algorithms, Automata and Languages
- Software Engineering of Fault Tolerant Systems
- Steiner Tree Problems in Computer Communication Networks
- Terrestrial Neutron-Induced Soft Errors in Advanced Memory Devices
- Theoretical Computer Science
Proceedings of the 10th Italian Conference on ICTCS '07
- Theory of 2-Structures, The
A Framework for Decomposition and Transformation of Graphs
- Theory of Formal Languages with Applications
- Theory of Randomized Search Heuristics
Foundations and Recent Developments
- Thinking about Gödel and Turing
Essays on Complexity, 1970–2007
- Transmission and Reception with Multiple Antennas
Theoretical Foundations
- Universal Algebra and Coalgebra
- VLSI and Parallel Computing for Pattern Recognition and Artificial Intelligence
- VLSI Physical Design Automation
Theory and Practice
- Wavelet Analysis and Its Applications
(In 2 Volumes)
Proceedings of the Third International Conference on WAA
- What is Life?
Scientific Approaches and Philosophical Positions
- Words, Languages & Combinatorics III
Proceedings of the International Colloquium
- Words, Semigroups, and Transductions
Festschrift in Honor of Gabriel Thierrin
|
|
