Search Constraints
« Previous |
31 - 40 of 48
|
Next »
Search Results
Select an image to start the slideshow
BNP Paribas: Equity Smart Order Router
1 of 10
Build and Release Optimization of the Structured Credit Desktop
2 of 10
A Formalization of Strand Spaces in Coq
3 of 10
Formal Verification of Boolean Unification Algorithms with Coq
4 of 10
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
5 of 10
A Tactic For Setoid Congruence
6 of 10
Live score synchronization II
7 of 10
Model checking for role-based access control
8 of 10
Normalization for metadata
9 of 10
Theory assistant
10 of 10