Search Constraints
« Previous |
21 - 40 of 48
|
Next »
Search Results
Select an image to start the slideshow
Formal Verification of Boolean Unification Algorithms with Coq
1 of 20
Core Finding for Relational Structures
2 of 20
Theory assistant
3 of 20
Timing diagram to Buchi automation translation
4 of 20
Global Credit Products Technology SPV Reporting Tool
5 of 20
Build and Release Optimization of the Structured Credit Desktop
6 of 20
Changing Business Practices in a New Regulatory Environment
7 of 20
Towards a Transition System Semantics for Alloy
8 of 20
Translating Alloy to SMT-LIB
9 of 20
Wall Street Project
10 of 20
BNP Paribas: Systems Analysis and Concept Development
11 of 20
BNP Paribas: Enterprise Architecture
12 of 20
Modeling and Analyzing Security Requirements for Java
13 of 20
Risk Reporting Techniques
14 of 20
Interactive Model Finding with Hominy
15 of 20
Environment Cockpit
16 of 20
X2S
17 of 20
Live score synchronization II
18 of 20
Theory Assistant 2
19 of 20
Normalization for metadata
20 of 20