Search Constraints
Search Results
Select an image to start the slideshow
Information Sharing at Bank of America
1 of 20
Sales Training and Swaption Pricing under New Regulatory Environment
2 of 20
X2S
3 of 20
Timing diagram to Buchi automation translation
4 of 20
Theory Assistant 2
5 of 20
Theory assistant
6 of 20
Normalization for metadata
7 of 20
Model checking for role-based access control
8 of 20
Live score synchronization II
9 of 20
A Tactic For Setoid Congruence
10 of 20
Formal Verification of Boolean Unification Algorithms with Coq
11 of 20
Build and Release Optimization of the Structured Credit Desktop
12 of 20
BNP Paribas: Equity Smart Order Router
13 of 20
BNP Paribas: Systems Analysis and Concept Development
14 of 20
Global Credit Products Technology SPV Reporting Tool
15 of 20
Core Finding for Relational Structures
16 of 20
Data Generation, Distribution & Management
17 of 20
Generating Universal Models for Geometric Theories
18 of 20
Interactive Model Finding with Hominy
19 of 20
Modeling and Analyzing Security Requirements for Java
20 of 20