Treffer 61 - 80 von 491

61

FeOs: An Open-Source Framework for Equations of State and Classical Density Functional Theory
Rehner, Philipp ; Bauer, Gernot ; Gross, Joachim
Industrial & Engineering Chemistry Research. 62(12):5347-5357

Fachzeitschrift
Zu den Favoriten
64

Practical WebAssembly
Nellaiyapen, Sendil Kumar ; Nellaiyapen, Sendil Kumar ; Nellaiyapen, Sendil Kumar ; et al.

E-Ressource
Zu den Favoriten
65

Bounds on Solutions of Linear Systems with Inaccurate Data
Cope, J. E. ; Rust, B. W.
SIAM Journal on Numerical Analysis, 1979 Dec 01. 16(6), 950-963.

Fachzeitschrift
Zu den Favoriten
66

Dieses Ergebnis kann Gästen nicht angezeigt werden.

67

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

E-Ressource
Zu den Favoriten
68

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

E-Ressource
Zu den Favoriten
69

Integrating custom constitutive models into FEniCSx: A versatile approach and case studies.
Rosenbusch, Sjard Mathis ; Diercks, Philipp ; Kindrachuk, Vitaliy ; et al.
Advances in Engineering Software (1992). Aug2025, Vol. 206, pN.PAG-N.PAG. 1p.

STRUCTURAL mechanics PARTIAL differential equ... FINITE element method NONLINEAR mechanics C++ PYTHON programming langu...
Fachzeitschrift
Zu den Favoriten
70

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

E-Ressource
Zu den Favoriten
71

SWAPPING THE NESTED FIXED POINT ALGORITHM: A CLASS OF ESTIMATORS FOR DISCRETE MARKOV DECISION MODELS.
Aguirregabiria, Victor ; Mira, Pedro
Econometrica; Jul2002, Vol. 70 Issue 4, p1519, 25p, 2 Charts

ALGORITHMS MARKOV processes STATISTICAL correlation ESTIMATION theory DISTRIBUTION (Probabilit... LINEAR programming
Fachzeitschrift
Zu den Favoriten
72

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

E-Ressource
Zu den Favoriten
73

Fast and simple unrooted dynamic forests
Berendsohn, Benjamin Aram ; Berendsohn, Benjamin Aram

E-Ressource
Zu den Favoriten
74

Dieses Ergebnis kann Gästen nicht angezeigt werden.

75

Integration testing in Bevy, a Rust-based ECS game engine
Häihälä, Eero ; Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences ; Tampere University

Tietotekniikan DI-ohjelm... testing game industry software development
Dissertation
Zu den Favoriten
76

Crux, a Precise Verifier for Rust and Other Languages
Pernsteiner, Stuart ; Diatchki, Iavor S. ; Dockins, Robert ; et al.

Computer Science - Progr...
Report
Zu den Favoriten
77

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
Niketan, Nripesh ; Shrivastva, Vaatsalya

Programming Languages Computation and Language Graphics 68N20, 68N15, 68W10 D.3.4; D.3.2; D.1.3
Report
Zu den Favoriten
78

Deadlock-free asynchronous message reordering in Rust with multiparty session types
Cutner, Zak ; Yoshida, Nobuko ; Vassor, Martin

Computer Science - Progr... Computer Science - Softw...
Report
Zu den Favoriten
79

Ferrite: A Judgmental Embedding of Session Types in Rust
Chen, Ruofei ; Balzer, Stephanie ; Toninho, Bernardo

Computer Science - Progr...
Report
Zu den Favoriten
80

SafeTrans: LLM-assisted Transpilation from C to Rust
Farrukh, Muhammad ; Shah, Smeet ; Coskun, Baris ; et al.

Computer Science - Crypt... Computer Science - Softw...
Report
Zu den Favoriten

Filter