Search Constraints
« Previous |
1 - 20 of 34
|
Next »
Search Results
Select an image to start the slideshow
Wall Street Project
1 of 20
Trusted Execution Environments with Architectural Support: Foundations and Implementation
2 of 20
Translating Alloy to SMT-LIB
3 of 20
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
4 of 20
Towards a Transition System Semantics for Alloy
5 of 20
Scenarios for Description Logic
6 of 20
Risk Reporting Techniques
7 of 20
Protocol Analysis via The Chase
8 of 20
A Natural Language Interface Using First Order Logic
9 of 20
Modeling and Analyzing Security Requirements for Java
10 of 20
Interactive Model Finding with Hominy
11 of 20
Generating Universal Models for Geometric Theories
12 of 20
Environment Cockpit
13 of 20
Environment Cockpit
14 of 20
Enterprise Architecture
15 of 20
Data Generation, Distribution & Management
16 of 20
Core Finding for Relational Structures
17 of 20
Changing Business Practices in a New Regulatory Environment
18 of 20
Global Credit Products Technology SPV Reporting Tool
19 of 20
BNP Paribas: Systems Analysis and Concept Development
20 of 20
