![Cancellative Abelian monoids in refutational theorem proving [Elektronische Ressource] / Uwe Waldmann](https://img.uscri.be/pth/41d1899cdf7c034ddf57e0880fb2446b2b515a25)
Documents
Savoirs
Cancellative Abelian monoids in refutational theorem proving [Elektronische Ressource] / Uwe Waldmann
Editeur
universitat_des_saarlandes
Publications
(
195
)
![A demand-driven solver for constraint-based control flow analysis [Elektronische Ressource] / von Christian W. Probst](https://img.uscri.be/pth/1f53a09fd6cf03db7c476c4722c46261f2087663)
![Computational differential geometry tools for surface interrogation, fairing, and design [Elektronische Ressource] / vorgelegt von Shin Yoshizawa](https://img.uscri.be/pth/464dfc4a1edb4e6744ec811f62880eb96f9aedd0)
![Curve reconstruction and the traveling salesman problem [Elektronische Ressource] / von Ernst Althaus](https://img.uscri.be/pth/390830083f8df3f32fe0ecdad3721f0bc581523c)
![Control flow graphs for real-time systems analysis [Elektronische Ressource] : reconstruction from binary executables and usage in ILP-based path analysis / von Henrik Theiling](https://img.uscri.be/pth/48d7f5b234dc1b71c2c91029f98dce1fcda85a5a)
![Combined assessment of drug dissolution and epithelial permeability [Elektronische Ressource] : implementation of online TEER measurement and extension to BCS class III and IV compounds / von Marco Mündörfer](https://img.uscri.be/pth/21b1ede3c3dccc16c21ce53104510d9bdef806eb)
![Combinatorial curve reconstruction and the efficient exact implementation of geometric algorithms [Elektronische Ressource] / von Stefan Funke](https://img.uscri.be/pth/65108154b8ed1d45ffd3ad9a8f97b295b61240be)
![Computationally secure information flow [Elektronische Ressource] / von Peeter Laud](https://img.uscri.be/pth/e6165da68b3218db4ab561c8880baaa522ae928e)
![Charge induced tunable magnetic properties in transition metal alloys [Elektronische Ressource] / Sadhan Ghosh](https://img.uscri.be/pth/c5bc68e11f1692aec2f68e1d9f6142f58f6aac77)
![Changes and bugs mining and predicting development activities [Elektronische Ressource] / vorgelegt von Thomas Zimmermann](https://img.uscri.be/pth/c97ea1d85a249522beff75c4e494d037dbb3323a)
![Binary decision diagrams and integer programming [Elektronische Ressource] / von Markus Behle](https://img.uscri.be/pth/19bfdbaf0bbbacd6cba220d4ec2cb962155b9d7f)
![Efficient global illumination for dynamic scenes [Elektronische Ressource] / Takehiro Tawara](https://img.uscri.be/pth/34f1bea507e30a01fef2eda145db20386060d215)
![Efficient acquisition, representation and rendering of light fields [Elektronische Ressource] / Hartmut Schirmacher](https://img.uscri.be/pth/8bd36df8d11ff5cfc78b8b4d610c2049b4e64aca)
![Cryptographically sound analysis of security protocols [Elektronische Ressource] / eingereicht von Michael Backes](https://img.uscri.be/pth/5918efac3c944d4c32cd5a345c3f2154602c83be)
![Default reasoning about probabilities [Elektronische Ressource] / von Manfred Jaeger](https://img.uscri.be/pth/e144f369f37488444f4f2158ee912c14d0cfe3ea)