Physical sciences

Physical sciences (4485)

Astronomy (168)
Chemistry (134)
Computer science (2696)
Mathematics (447)
Physics (1132)

Have we learned from the Wasa disaster?
kifu Jean-Raymond Abrial 14 years ago - 38:02

A million lines of verified code
kifu Jim Woodcock 14 years ago - 40:26

The ideal of program correctness
kifu Prof. Sir Tony Hoare 14 years ago - 42:46

Opening & welcome
kifu Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői 14 years ago - 11:49

Specialized editor for processing objects in a
wigner Heike Laqua 14 years ago - 26:41

Concept of the new Textor Control System -
wigner Horst T. Lambertz 14 years ago - 11:15

Towards a User-friendly Grid Environment
wigner Dr. Prof. Péter Kacsuk 14 years ago - 49:13

Development of Information Technology Systems for
wigner Nina Putvinskaya 14 years ago - 15:25

A Generic Remote Method Invocation for Intensive
wigner André Neto 14 years ago - 10:12

Web Based Electronic Logbook and Experiment Run
wigner Thomas W. Fredian 14 years ago - 14:54

Recent Developments in Post-Pulse Information and
wigner Richard A. Layne 14 years ago - 23:52

Storage and analysis techniques for fast 2-D
wigner William M. Davis 14 years ago - 16:55