progscrape: tum.de

The software problem which delayed the first Shuttle orbital flight

7 years ago in.tum.de flight

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

7 years ago rcs.ei.tum.de flight

New anti-gerrymandering algoritm achieves optimal distribution of electoral district boundaries

7 years ago tum.de

Refinement-based Verification of Imperative, Data Structures (2016)

8 years ago in.tum.de

ADHD Characteristics May Help with Business Success

8 years ago tum.de

Scientists have produced an inorganic double helix made of tin, iodine and phosphorus

8 years ago tum.de

A Note on Two Problems in Connexion with Graphs (1959)

9 years ago ma.tum.de

The Little PDF Manual of API Design

9 years ago in.tum.de api pdf

Toxic Beryllium Can Be Replaced by Graphenic Carbon

10 years ago hes.ei.tum.de

Show HN: ACM Programming Contest – Optimistic Concurrency Control

10 years ago db.in.tum.de concurrency show

Game tree search on parallel systems (1993) [pdf]

10 years ago lrr.in.tum.de game pdf

Artificial cells take their first steps: Movable cytoskeleton membrane fabricated for first time

10 years ago tum.de

Physicists observe the creation of solar energy for the first time ever

10 years ago tum.de

SPKI: Simple Public Key Infrastructure (2013) [pdf]

11 years ago net.in.tum.de pdf