Search Constraints
« Previous |
1 - 20 of 27
|
Next »
Search Results
Select an image to start the slideshow
Wall Street Project
1 of 20
Translating Alloy to SMT-LIB
2 of 20
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
3 of 20
Towards a Transition System Semantics for Alloy
4 of 20
Risk Reporting Techniques
5 of 20
Privacy in Online Social Networks
6 of 20
A Natural Language Interface Using First Order Logic
7 of 20
Modeling and Analyzing Security Requirements for Java
8 of 20
Interactive Model Finding with Hominy
9 of 20
Generating Universal Models for Geometric Theories
10 of 20
Data Generation, Distribution & Management
11 of 20
Core Finding for Relational Structures
12 of 20
Global Credit Products Technology SPV Reporting Tool
13 of 20
BNP Paribas: Systems Analysis and Concept Development
14 of 20
BNP Paribas: Equity Smart Order Router
15 of 20
Build and Release Optimization of the Structured Credit Desktop
16 of 20
Formal Verification of Boolean Unification Algorithms with Coq
17 of 20
A Tactic For Setoid Congruence
18 of 20
Live score synchronization II
19 of 20
Model checking for role-based access control
20 of 20