Technical University of Munich
AS209335
Top Domains Hosted at Technical University of Munich
isa-afp.org
Archive of Formal Proofs
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
Bounce Rate23.09
Pages / Visit0.64
Visit Duration02:21
Website Worth$645.26
Bounce Rate38.69
Pages / Visit1.03
Visit Durationn/a
Website Worth$110.53
Bounce Raten/a
Pages / Visit0.00
Visit Durationn/a
Website Worth$0.00
umbra-db.com
Umbra: A Disk-Based Database System with In-Memory Performance
Umbra is a high performance database system for flash-based storage with in-memory speed, developed at the Technische Universität München.
Bounce Raten/a
Pages / Visit2.00
Visit Durationn/a
Website Worth$0.00
