More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-6 of 6 results

  • www.ifip-tc1.org
  • 13
Established as Special Group (SG14) in 1989 and approved as a Technical Committee in 1996, to..
Relevance: 14.053335
  • logsem.github.io
  • 19
We also develop tools for machine-supported reasoning in the models and logics. The tools range from full interactive verification in proof assistants to automatic program analysis and model checking...
Relevance: 10.73887
  • cs.au.dk
  • 134
  • 35
  • 149
The first Computer Science course activites started at Aarhus University in 1968 as a part of the Department of Mathematical Sciences. In 1971, Datalogisk Afdeling under Matematisk Institut (DAIMI) was formed and the first master in Computer Science..
Relevance: 1.9405134
  • www.plh.dk
  • 210
  • 195
  • 181
At PLH there is room to think big. And space enough for everyone. We have several different generations and a dozen nationalities under the same roof. And really, with 5.8 meters to the ceiling, we do literally have the actual room and space at our..
Relevance: 1.6329458
  • manyone.com
  • 72
  • 1
  • 248
Manyone is the global strategy-design consultancy shaping everything that's next with clarity, creativity, and conviction... Manyone is led by experienced strategy, design and technology executives, all with proven track records of helping..
Relevance: 1.2543954
  • inano.au.dk
  • 278
  • 42
  • 421
One of the greatest challenges confronted by all societies today is to integrate environmental sustainability with economic growth and welfare. Decoupling environmental degradation from economic growth and, in general, performing more with less is a..
Relevance: 1.0739906