Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 1 - 10 of 50 (page 1 of 5)
Personal Author
More
Topic Subject
Computer Science
(50)
Computer science
(50)
Software engineering
(50)
Algebra
(49)
Software Engineering
(46)
Data processing
(39)
Symbolic and Algebraic Manipulation
(39)
Mathematical Logic and Formal Languages
(38)
Logic design
(27)
Logics and Meanings of Programs
(27)
Artificial Intelligence (incl. Robotics)
(26)
Artificial intelligence
(26)
Computational complexity
(18)
Discrete Mathematics in Computer Science
(18)
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)
Mathematics of Computing
(4)
Computer Communication Networks
(3)
Computer simulation
(3)
Programming Techniques
(3)
Simulation and Modeling
(3)
Software Engineering/Programming and Operating Systems
(3)
Biology
(2)
Computer Appl. in Life Sciences
(2)
Computer Graphics
(2)
Computer graphics
(2)
Data Structures, Cryptology and Information Theory
(2)
Data structures (Computer science)
(2)
Information systems
(2)
Algebraic Geometry
(1)
Category Theory, Homological Algebra
(1)
Coding and Information Theory
(1)
Coding theory
(1)
Computer Appl. in Arts and Humanities
(1)
Computer Applications
(1)
Computer Imaging, Vision, Pattern Recognition and Graphics
(1)
Computer Science, general
(1)
Computer vision
(1)
Data Encryption
(1)
Data encryption (Computer science)
(1)
Geometry, algebraic
(1)
Information Storage and Retrieval
(1)
Information Systems Applications (incl.Internet)
(1)
Information storage and retrieval systems
(1)
Logic, Symbolic and mathematical
(1)
Math Applications in Computer Science
(1)
Mathematical Logic and Foundations
(1)
Models and Principles
(1)
Number Theory
(1)
Number theory
(1)
Probability and Statistics in Computer Science
(1)
Quantum Computing
(1)
Special Purpose and Application-Based Systems
(1)
Fewer
Series Title
More

Introduction to Cryptography with Maple E-book (2013.)
Add to basket

Foundations of Algebraic Specification and Formal Software Development E-book (2012.)
Add to basket

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

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 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers E-book (2007.)
Add to basket

Search Results Facets

Search Results List

Results 1 - 10 of 50 (page 1 of 5)
Personal Author
More
Topic Subject
Computer Science
(50)
Computer science
(50)
Software engineering
(50)
Algebra
(49)
Software Engineering
(46)
Data processing
(39)
Symbolic and Algebraic Manipulation
(39)
Mathematical Logic and Formal Languages
(38)
Logic design
(27)
Logics and Meanings of Programs
(27)
Artificial Intelligence (incl. Robotics)
(26)
Artificial intelligence
(26)
Computational complexity
(18)
Discrete Mathematics in Computer Science
(18)
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)
Mathematics of Computing
(4)
Computer Communication Networks
(3)
Computer simulation
(3)
Programming Techniques
(3)
Simulation and Modeling
(3)
Software Engineering/Programming and Operating Systems
(3)
Biology
(2)
Computer Appl. in Life Sciences
(2)
Computer Graphics
(2)
Computer graphics
(2)
Data Structures, Cryptology and Information Theory
(2)
Data structures (Computer science)
(2)
Information systems
(2)
Algebraic Geometry
(1)
Category Theory, Homological Algebra
(1)
Coding and Information Theory
(1)
Coding theory
(1)
Computer Appl. in Arts and Humanities
(1)
Computer Applications
(1)
Computer Imaging, Vision, Pattern Recognition and Graphics
(1)
Computer Science, general
(1)
Computer vision
(1)
Data Encryption
(1)
Data encryption (Computer science)
(1)
Geometry, algebraic
(1)
Information Storage and Retrieval
(1)
Information Systems Applications (incl.Internet)
(1)
Information storage and retrieval systems
(1)
Logic, Symbolic and mathematical
(1)
Math Applications in Computer Science
(1)
Mathematical Logic and Foundations
(1)
Models and Principles
(1)
Number Theory
(1)
Number theory
(1)
Probability and Statistics in Computer Science
(1)
Quantum Computing
(1)
Special Purpose and Application-Based Systems
(1)
Fewer
Series Title
More

Additional Resources