Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 1 - 10 of 46 (page 1 of 5)
Personal Author
More
Topic Subject
Algebra
(46)
Computer Science
(46)
Computer science
(46)
Software Engineering
(46)
Software engineering
(46)
Data processing
(38)
Symbolic and Algebraic Manipulation
(38)
Mathematical Logic and Formal Languages
(37)
Artificial Intelligence (incl. Robotics)
(26)
Artificial intelligence
(26)
Logic design
(26)
Logics and Meanings of Programs
(26)
Computational complexity
(17)
Discrete Mathematics in Computer Science
(17)
Order, Lattices, Ordered Algebraic Structures
(7)
Algorithm Analysis and Problem Complexity
(6)
Computer software
(6)
Data Mining and Knowledge Discovery
(6)
Data mining
(6)
Bioinformatics
(5)
Computational Biology/Bioinformatics
(5)
Information theory
(5)
Programming Languages, Compilers, Interpreters
(5)
Theory of Computation
(5)
Computation by Abstract Devices
(4)
Computer Communication Networks
(3)
Computer simulation
(3)
Mathematics of Computing
(3)
Programming Techniques
(3)
Simulation and Modeling
(3)
Biology
(2)
Computer Appl. in Life Sciences
(2)
Computer Graphics
(2)
Computer graphics
(2)
Information systems
(2)
Coding and Information Theory
(1)
Coding theory
(1)
Computer Appl. in Arts and Humanities
(1)
Data Encryption
(1)
Data Structures, Cryptology and Information Theory
(1)
Data encryption (Computer science)
(1)
Data structures (Computer science)
(1)
Information Storage and Retrieval
(1)
Information Systems Applications (incl.Internet)
(1)
Information storage and retrieval systems
(1)
Models and Principles
(1)
Quantum Computing
(1)
Fewer
Series Title
More

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings E-book (2013.)
Add to basket

Rigorous Software Development An Introduction to Program Verification E-book (2011.)
Add to basket

Identity-Based Encryption E-book (2011.)
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

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers E-book (2007.)
Add to basket

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings E-book (2007.)
Add to basket

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers E-book (2007.)
Add to basket

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers E-book (2005.)
Add to basket

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings E-book (2005.)
Add to basket

Search Results Facets

Search Results List

Results 1 - 10 of 46 (page 1 of 5)
Personal Author
More
Topic Subject
Algebra
(46)
Computer Science
(46)
Computer science
(46)
Software Engineering
(46)
Software engineering
(46)
Data processing
(38)
Symbolic and Algebraic Manipulation
(38)
Mathematical Logic and Formal Languages
(37)
Artificial Intelligence (incl. Robotics)
(26)
Artificial intelligence
(26)
Logic design
(26)
Logics and Meanings of Programs
(26)
Computational complexity
(17)
Discrete Mathematics in Computer Science
(17)
Order, Lattices, Ordered Algebraic Structures
(7)
Algorithm Analysis and Problem Complexity
(6)
Computer software
(6)
Data Mining and Knowledge Discovery
(6)
Data mining
(6)
Bioinformatics
(5)
Computational Biology/Bioinformatics
(5)
Information theory
(5)
Programming Languages, Compilers, Interpreters
(5)
Theory of Computation
(5)
Computation by Abstract Devices
(4)
Computer Communication Networks
(3)
Computer simulation
(3)
Mathematics of Computing
(3)
Programming Techniques
(3)
Simulation and Modeling
(3)
Biology
(2)
Computer Appl. in Life Sciences
(2)
Computer Graphics
(2)
Computer graphics
(2)
Information systems
(2)
Coding and Information Theory
(1)
Coding theory
(1)
Computer Appl. in Arts and Humanities
(1)
Data Encryption
(1)
Data Structures, Cryptology and Information Theory
(1)
Data encryption (Computer science)
(1)
Data structures (Computer science)
(1)
Information Storage and Retrieval
(1)
Information Systems Applications (incl.Internet)
(1)
Information storage and retrieval systems
(1)
Models and Principles
(1)
Quantum Computing
(1)
Fewer
Series Title
More

Additional Resources