Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Schlagwort: computer science
- Entferne Filter: Schlagwort: 0202 electrical engineering, electronic engineering, information engineering
- Entferne Filter: Schlagwort: 020207 software engineering
- Entferne Filter: Schlagwort: computer science - programming languages
- Entferne Filter: Schlagwort: computer graphics and computer-aided design
Weniger Treffer
Gefunden in
Schlagwort
- 020204 information systems 3 Treffer
- mathematical proof 3 Treffer
- programming language 3 Treffer
- computer science - logic in computer science 2 Treffer
- correctness 2 Treffer
-
45 weitere Werte:
- logic in computer science (cs.lo) 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 1 Treffer
- axiom 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- calculus 1 Treffer
- certification 1 Treffer
- closure (computer programming) 1 Treffer
- coercion (linguistics) 1 Treffer
- compiler 1 Treffer
- computer science - databases 1 Treffer
- computer.programming_language 1 Treffer
- concurrency 1 Treffer
- conjunctive query 1 Treffer
- consistency (database systems) 1 Treffer
- core language 1 Treffer
- d.3.1 1 Treffer
- data definition language 1 Treffer
- databases (cs.db) 1 Treffer
- denotational semantics 1 Treffer
- dependent type 1 Treffer
- equivalence (measure theory) 1 Treffer
- f.3.1 1 Treffer
- gradual typing 1 Treffer
- hoare logic 1 Treffer
- informationsystems_databasemanagement 1 Treffer
- intermediate language 1 Treffer
- language integrated query 1 Treffer
- linearizability 1 Treffer
- null (sql) 1 Treffer
- path (graph theory) 1 Treffer
- query by example 1 Treffer
- query language 1 Treffer
- query optimization 1 Treffer
- relational database 1 Treffer
- sargable 1 Treffer
- semantics 1 Treffer
- simple (philosophy) 1 Treffer
- software engineering 1 Treffer
- soundness 1 Treffer
- spatial query 1 Treffer
- sql 1 Treffer
- sql injection 1 Treffer
- stored procedure 1 Treffer
Verlag
Sprache
4 Treffer
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018Online unknownZugriff: