Search Results - Álxebra~
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 100
- Algebra 79
- Research & information: general 31
- Mathematics & science 29
- History of engineering & technology 26
- Applied mathematics 24
- Artificial intelligence 24
- Computer science 23
- Physics 22
- Mathematical physics 17
- Biography & True Stories 16
- Nuclear physics 16
- Calculus & mathematical analysis 13
- Software Engineering 13
- Technology: general issues 13
- Calculus 12
- Number theory 12
- Algorithms & data structures 10
- History of mathematics 10
- Numerical analysis 10
- Geometry 9
- Artificial Intelligence 8
- Combinatorics & graph theory 8
- Computer networks 8
- Data processing 8
- Mathematical theory of computation 8
- Discrete mathematics 7
- Education 7
- Mathematical foundations 7
- Probability & statistics 7
-
1141
-
1142
-
1143
-
1144
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata
Electronic eBook -
1145
-
1146
-
1147
-
1148
-
1149
-
1150
-
1151
-
1152
-
1153
-
1154
-
1155
-
1156
-
1157
-
1158
-
1159
-
1160