Sortiert nach
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.380-384
2023
- Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-15
2021
Link zum Volltext
ACM transactions on graphics, 2018-08, Vol.37 (4), p.1-11
2018
Link zum Volltext
Proceedings of the 20th International Workshop on software and compilers for embedded systems, 2017, p.68-71
2017
Link zum Volltext
Proceedings of the 2014 Conference on research in adaptive and convergent systems, 2014, p.209-214
2014
Link zum Volltext
ACM SIGGRAPH 2014 Courses, 2014, p.1-151
2014
Link zum Volltext
The Journal of artificial intelligence research, 1998-06, Vol.8, p.223-263
1998
Link zum Volltext
International Conference on Symbolic and Algebraic Computation: Proceedings of the 2007 international symposium on Symbolic and algebraic computation; 29 July-01 Aug. 2007, 2007, p.135-142
2007
Link zum Volltext
Conference on LISP and Functional Programming: Proceedings of the 1990 ACM conference on LISP and functional programming; 27-29 June 1990, 1990, p.288-297
1990
Link zum Volltext
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems, 2000, p.58-66
2000
Link zum Volltext
Annual ACM Symposium on Theory of Computing: Proceedings of the thirty-third annual ACM symposium on Theory of computing, 2001, p.266-275
2001
Link zum Volltext
Proceedings of the seventh annual conference on computational learning theory, 1994, p.35-46
1994
Link zum Volltext
Annual Workshop on Computational Learning Theory: Proceedings of the tenth annual conference on Computational learning theory; 06-09 July 1997, 1997, p.2-9
1997
Link zum Volltext
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems, 1988, p.231-239
1988
Link zum Volltext
PODS, 92: 11th ACM Symposium on the Principles of Database Systems, 1992, p.16-22
1992
Link zum Volltext
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems, 1988, p.341-351
1988
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computing Methodologies -- Machine Learning
- Computing Methodologies -- Symbolic And Algebraic Manipulation -- Symbolic And Algebraic Algorithms
- Information Systems -- Data Management Systems -- Query Languages
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Theory Of Computation -- Models Of Computation -- Probabilistic Computation
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Algorithms
- Applied Computing -- Enterprise Computing
- Artificial Intelligence
- Automated Unit Test Generation
- Cartan's Equivalence Method
- Cloth
- Codes
Kollektion
Zeitschrift / Serie