Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 1 - 10 of 105 (page 1 of 11)
Personal Author
More
Topic Subject
Computer science
(105)
Mathematical Logic and Formal Languages
(105)
Algebra
(104)
Computer Science
(100)
Data processing
(90)
Symbolic and Algebraic Manipulation
(90)
Logic design
(60)
Logics and Meanings of Programs
(60)
Artificial Intelligence (incl. Robotics)
(49)
Artificial intelligence
(49)
Computational complexity
(39)
Discrete Mathematics in Computer Science
(39)
Software engineering
(38)
Software Engineering
(37)
Programming Languages, Compilers, Interpreters
(18)
Computation by Abstract Devices
(17)
Logic, Symbolic and mathematical
(15)
Mathematical Logic and Foundations
(15)
Algorithm Analysis and Problem Complexity
(14)
Computer software
(14)
Information theory
(14)
Theory of Computation
(14)
Mathematics of Computing
(13)
Order, Lattices, Ordered Algebraic Structures
(12)
Data Mining and Knowledge Discovery
(8)
Data mining
(8)
Mathematics
(8)
Electronic data processing
(6)
Information Storage and Retrieval
(5)
Information storage and retrieval systems
(5)
Computing Methodologies
(4)
Models and Principles
(4)
Bioinformatics
(3)
Coding and Information Theory
(3)
Coding theory
(3)
Combinatorics
(3)
Computational Biology/Bioinformatics
(3)
Computational Linguistics
(3)
Computational linguistics
(3)
Computer Science, general
(3)
Data Structures
(3)
Data structures (Computer science)
(3)
Group Theory and Generalizations
(3)
Group theory
(3)
Information systems
(3)
Math Applications in Computer Science
(3)
Probability and Statistics in Computer Science
(3)
Programming Techniques
(3)
Arithmetic and Logic Structures
(2)
Category Theory, Homological Algebra
(2)
Computational Mathematics and Numerical Analysis
(2)
Computer Graphics
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics
(2)
Computer graphics
(2)
Computer vision
(2)
Document Preparation and Text Processing
(2)
General Algebraic Systems
(2)
Grammar
(2)
Grammar, Comparative and general
(2)
Information Systems Applications (incl.Internet)
(2)
Numeric Computing
(2)
Text processing (Computer science
(2)
Algebraic Geometry
(1)
Algebraic Topology
(1)
Algebraic topology
(1)
Cell aggregation
(1)
Computer Appl. in Arts and Humanities
(1)
Computer simulation
(1)
Data Encryption
(1)
Data encryption (Computer science)
(1)
Data protection
(1)
Database Management
(1)
Database management
(1)
Distribution (Probability theory)
(1)
Environmental Management
(1)
Environmental management
(1)
Geometry, algebraic
(1)
Graph Theory
(1)
Language Translation and Linguistics
(1)
Library Science
(1)
Library science
(1)
Linear and Multilinear Algebras, Matrix Theory
(1)
Logic
(1)
Manifolds and Cell Complexes (incl. Diff.Topology)
(1)
Mathematical Applications in Computer Science
(1)
Mathematical statistics
(1)
Mathematics, general
(1)
Matrix theory
(1)
Number Theory
(1)
Number theory
(1)
Probability Theory and Stochastic Processes
(1)
Simulation and Modeling
(1)
Special Purpose and Application-Based Systems
(1)
Statistical Theory and Methods
(1)
Systems and Data Security
(1)
Translators (Computer programs)
(1)
Fewer
Series Title
More

A Course on Mathematical Logic E-book (2013.)
Add to basket

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings E-book (2009.)
Add to basket

A Course in Formal Languages, Automata and Groups E-book (2009.)
Add to basket

The q-theory of Finite Semigroups E-book (2009.)
Add to basket

Concise Computer Mathematics Tutorials on Theory and Problems E-book (2013.)
Add to basket

M-Solid Varieties of Algebras E-book (2006.)
Add to basket

Algorithms in Invariant Theory E-book (2008.)
Add to basket

Stochastic Coalgebraic Logic E-book (2009.)
Add to basket

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings E-book (2008.)
Add to basket

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings E-book (2006.)
Add to basket

Search Results Facets

Search Results List

Results 1 - 10 of 105 (page 1 of 11)
Personal Author
More
Topic Subject
Computer science
(105)
Mathematical Logic and Formal Languages
(105)
Algebra
(104)
Computer Science
(100)
Data processing
(90)
Symbolic and Algebraic Manipulation
(90)
Logic design
(60)
Logics and Meanings of Programs
(60)
Artificial Intelligence (incl. Robotics)
(49)
Artificial intelligence
(49)
Computational complexity
(39)
Discrete Mathematics in Computer Science
(39)
Software engineering
(38)
Software Engineering
(37)
Programming Languages, Compilers, Interpreters
(18)
Computation by Abstract Devices
(17)
Logic, Symbolic and mathematical
(15)
Mathematical Logic and Foundations
(15)
Algorithm Analysis and Problem Complexity
(14)
Computer software
(14)
Information theory
(14)
Theory of Computation
(14)
Mathematics of Computing
(13)
Order, Lattices, Ordered Algebraic Structures
(12)
Data Mining and Knowledge Discovery
(8)
Data mining
(8)
Mathematics
(8)
Electronic data processing
(6)
Information Storage and Retrieval
(5)
Information storage and retrieval systems
(5)
Computing Methodologies
(4)
Models and Principles
(4)
Bioinformatics
(3)
Coding and Information Theory
(3)
Coding theory
(3)
Combinatorics
(3)
Computational Biology/Bioinformatics
(3)
Computational Linguistics
(3)
Computational linguistics
(3)
Computer Science, general
(3)
Data Structures
(3)
Data structures (Computer science)
(3)
Group Theory and Generalizations
(3)
Group theory
(3)
Information systems
(3)
Math Applications in Computer Science
(3)
Probability and Statistics in Computer Science
(3)
Programming Techniques
(3)
Arithmetic and Logic Structures
(2)
Category Theory, Homological Algebra
(2)
Computational Mathematics and Numerical Analysis
(2)
Computer Graphics
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics
(2)
Computer graphics
(2)
Computer vision
(2)
Document Preparation and Text Processing
(2)
General Algebraic Systems
(2)
Grammar
(2)
Grammar, Comparative and general
(2)
Information Systems Applications (incl.Internet)
(2)
Numeric Computing
(2)
Text processing (Computer science
(2)
Algebraic Geometry
(1)
Algebraic Topology
(1)
Algebraic topology
(1)
Cell aggregation
(1)
Computer Appl. in Arts and Humanities
(1)
Computer simulation
(1)
Data Encryption
(1)
Data encryption (Computer science)
(1)
Data protection
(1)
Database Management
(1)
Database management
(1)
Distribution (Probability theory)
(1)
Environmental Management
(1)
Environmental management
(1)
Geometry, algebraic
(1)
Graph Theory
(1)
Language Translation and Linguistics
(1)
Library Science
(1)
Library science
(1)
Linear and Multilinear Algebras, Matrix Theory
(1)
Logic
(1)
Manifolds and Cell Complexes (incl. Diff.Topology)
(1)
Mathematical Applications in Computer Science
(1)
Mathematical statistics
(1)
Mathematics, general
(1)
Matrix theory
(1)
Number Theory
(1)
Number theory
(1)
Probability Theory and Stochastic Processes
(1)
Simulation and Modeling
(1)
Special Purpose and Application-Based Systems
(1)
Statistical Theory and Methods
(1)
Systems and Data Security
(1)
Translators (Computer programs)
(1)
Fewer
Series Title
More

Additional Resources