Search Constraints
« Previous |
21 - 40 of 48
|
Next »
Search Results
Select an image to start the slideshow
Generating Universal Models for Geometric Theories
1 of 20
Environment Cockpit
2 of 20
Environment Cockpit
3 of 20
Enterprise Architecture
4 of 20
Data Generation, Distribution & Management
5 of 20
Core Finding for Relational Structures
6 of 20
Changing Business Practices in a New Regulatory Environment
7 of 20
Global Credit Products Technology SPV Reporting Tool
8 of 20
BNP Paribas: Systems Analysis and Concept Development
9 of 20
BNP Paribas: Enterprise Architecture
10 of 20
BNP Paribas: Equity Smart Order Router
11 of 20
Build and Release Optimization of the Structured Credit Desktop
12 of 20
A Formalization of Strand Spaces in Coq
13 of 20
Formal Verification of Boolean Unification Algorithms with Coq
14 of 20
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
15 of 20
A Tactic For Setoid Congruence
16 of 20
Live score synchronization II
17 of 20
Model checking for role-based access control
18 of 20
Normalization for metadata
19 of 20
Theory assistant
20 of 20