×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [paths p]
Geometry and Expansion: A survey of some results Sanjeev Arora Princeton ( touches upon: S. A., Satish Rao, Umesh Vazirani, STOC04; S. A., Elad Hazan,
221 views
© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 5. Model Checking Modellbasierte Softwareentwicklung 1 17.01.2013
214 views
CS 473Lecture 131 CS473-Algorithms I Lecture 13-A Graphs
219 views
LECTURE 2 ITILv3 Introduction and Overview SERVICE Strategy SERVICE Design
214 views
Path integrals for option pricing Theory of Quantum and Complex systems Statistical modeling, financial data analysis and applications Venice, 11-14 september
218 views
Features & Unification Ling 571 Deep Processing Techniques for NLP January 26, 2011
221 views
UPPAAL Ghaith Haddad. Introduction UPPAAL is a tool for modeling, validation and verification of real-time systems. Appropriate for systems that can be
222 views
Specification Patterns Early taxonomy for property specifications –safety properties: nothing bad will ever happen –liveness properties: something good
222 views
[ 3 : ] hurt skirt
123 views
Specification Patterns
48 views
Theory of Computing
30 views
Geometry and Expansion: A survey of some results
28 views
Next >