Search Constraints
« Previous |
1 - 10 of 35
|
Next »
Search Results
Select an image to start the slideshow
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
1 of 10
Formal Verification of Boolean Unification Algorithms with Coq
2 of 10
A Formalization of Strand Spaces in Coq
3 of 10
Build and Release Optimization of the Structured Credit Desktop
4 of 10
BNP Paribas: Equity Smart Order Router
5 of 10
BNP Paribas: Enterprise Architecture
6 of 10
BNP Paribas: Systems Analysis and Concept Development
7 of 10
Global Credit Products Technology SPV Reporting Tool
8 of 10
Changing Business Practices in a New Regulatory Environment
9 of 10
Core Finding for Relational Structures
10 of 10
