|
|
|
 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
- Amplification of Nonlinear Strain Waves in Solids
- Analytical and Numerical Methods for Wave Propagation in Fluid Media
- 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 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
- 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 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)
- 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)
- 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
- 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 Pattern Recognition and Computer Vision
3rd Edition
- 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 Theoretical Computer Science
- Jewels of Stringology
Text Algorithms
- 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
- 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
- Modern Studies of Basic Quantum Concepts and Phenomena
Proceedings of Nobel Symposium 104
- Net Theory and Its Applications
Flows in Networks
- Network Coding Theory
- 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
- 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
- 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
- Selected Logic Papers
- 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
- Thinking about Gödel and Turing
Essays on Complexity, 1970–2007
- Transmission and Reception with Multiple Antennas
Theoretical Foundations
- 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
|
|
