Suggested Topics within your search.
Suggested Topics within your search.
- Categories (Mathematics) 19
- Computer science
- Mathematics 12
- Topology 5
- Algebra 2
- Algebra, Homological 2
- Graph theory 2
- Mathematical analysis 2
- Software engineering 2
- Transformations (Mathematics) 2
- Algèbre 1
- Algorithms 1
- Analyse mathématique 1
- Categorieën (wiskunde) 1
- Catégories (Mathématiques) 1
- Computer graphics 1
- Computer programming 1
- Computers 1
- Data processing 1
- Data types (Computer science) 1
- Decomposition method 1
- Informatique 1
- Logic, Symbolic and mathematical 1
- Operads 1
- Programming languages (Electronic computers) 1
- Topologie 1
-
1
Programs as diagrams : from categorical computability to computable categories /
Published 2023Subjects: “…Categories (Mathematics)…”
Full Text (via Springer)
Electronic eBook -
2
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation...
Published 1989Subjects: Full Text (via ProQuest)
Conference Proceeding eBook -
3
Applications of Categories in Computer Science : Proceedings of the London Mathematical Society Symposium, Durham 1991 /
Published 1992Subjects: Full Text (via Cambridge)
Electronic eBook -
4
Categorical methods in computer science : with aspects from topology /
Published 1989Subjects: Full Text (via Internet Archive)
Conference Proceeding eBook -
5
Basic category theory for computer scientists
Published 1991Subjects: Full Text (via MIT Press)
Electronic eBook -
6
Category theory and computer science Paris, France, September 3-6, 1991 : proceedings /
Published 1991Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
-
8
-
9
Category theory for computing science /
Published 1995Subjects: “…Categories (Mathematics) http://id.loc.gov/authorities/subjects/sh85020992.…”
Book -
10
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation...
Published 1989Subjects:Conference Proceeding Book -
11
Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Published 1992Subjects:Conference Proceeding Book -
12
Applied categorical structures
Published 1993Subjects: “…Categories (Mathematics) Periodicals.…”
Online Access (A-Z Journals and Newspapers)
Electronic Journal -
13
Set operads in combinatorics and computer science /
Published 2015Subjects: Full Text (via Springer)
eBook -
14
-
15
Categorical methods in computer science : with aspects from topology /
Published 1989Subjects:Conference Proceeding Book -
16
Applied categorical structures.
Published 1993Subjects: “…Categories (Mathematics) Periodicals.…”
Request a PDF (UCB only)
Journal -
17
Graph transformation, specifications, and nets : in memory of Hartmut Ehrig /
Published 2018Subjects: Full Text (via Springer)
eBook -
18
Special topics in mathematics for computer scientists : sets, categories, topologies and measures /
Published 2015Subjects: Full Text (via Springer)
eBook -
19
Graph and model transformation : general framework and applications /
Published 2015Subjects: Full Text (via Springer)
eBook