Search Constraints
« Previous |
1 - 20 of 48
|
Next »
Search Results
Select an image to start the slideshow
Information Sharing at Bank of America
1 of 20
Information Sharing at Bank of America
2 of 20
Sales Training and Swaption Pricing under New Regulatory Environment
3 of 20
A Coq Formalization of Unification Modulo Exclusive-Or
4 of 20
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
5 of 20
X2S
6 of 20
Timing diagram to Buchi automation translation
7 of 20
Theory Assistant 2
8 of 20
Theory assistant
9 of 20
Normalization for metadata
10 of 20
Model checking for role-based access control
11 of 20
Live score synchronization II
12 of 20
A Tactic For Setoid Congruence
13 of 20
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
14 of 20
Formal Verification of Boolean Unification Algorithms with Coq
15 of 20
A Formalization of Strand Spaces in Coq
16 of 20
Build and Release Optimization of the Structured Credit Desktop
17 of 20
BNP Paribas: Equity Smart Order Router
18 of 20
BNP Paribas: Enterprise Architecture
19 of 20
BNP Paribas: Systems Analysis and Concept Development
20 of 20
