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