Showing 41 - 60 of 1,912

41

This result is not available to guest users.

42

This result is not available to guest users.

43

This result is not available to guest users.

44

A Bi−directional method for evaluating integrals involving higher transcendental functions. HyperRAF: A Julia package for new hyper−radial functions
Bağcı, A. ; Aucar, G.A.

Coulomb potential Bi−directional method Hyper−radial functions Laplace expansion Non−integer Slater−type... Algebra
Academic journal
Save to List
45

A tertiary study on links between source code metrics and external quality attributes
Iftikhar, Umar ; Ali, Nauman bin ; Börstler, Jürgen ; et al.

Code quality Evidence Product quality Quality models Tertiary review Tertiary study
Academic journal
Save to List
46

This result is not available to guest users.

47

This result is not available to guest users.

48

This result is not available to guest users.

49

This result is not available to guest users.

50

This result is not available to guest users.

51

This result is not available to guest users.

52

This result is not available to guest users.

53

This result is not available to guest users.

54

This result is not available to guest users.

55

This result is not available to guest users.

56

This result is not available to guest users.

57

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Koutavas, Vasileios ; Lin Hou, Yu ; Science Foundation Ireland (SFI) ; et al.

PCF Biosimulation Computer Programming Lan... Formal (i.e. mathematica... Formal Methods Formal Semantics
Conference
Save to List
58

This result is not available to guest users.

59

This result is not available to guest users.

60

This result is not available to guest users.


Filter