Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aktuell kommt es bei einigen unserer Dienste zu technischen Störungen. Wir arbeiten daran, das Problem zu lösen.
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist am Dienstag, 23. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Tuesday 23 June 2026 The exhibitions of the German Exile Archive 1933–1945 will also be closed.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main öffnet am Mittwoch, 24. Juni 2026 wegen einer Veranstaltung erst um 13:00 Uhr. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 in Frankfurt am Main sind ab 10:00 Uhr geöffnet // The German National Library in Frankfurt am Main will not open until 13:00 on Wednesday, 24 June 2026 due to an event. The exhibitions of the German Exile Archive 1933–1945 in Frankfurt am Main are open from 10:00.
 
 

Ergebnis der Suche nach: nid=124001629



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/124001629
Person Bradfield, Julian
Andere Namen Bradfield, Julian Charles
Bradfield, J. C.
Zeit Lebensdaten: 1964-
Beruf(e) Informatiker
Weitere Angaben Informatiker
Typ Person (piz)
Autor von 2 Publikationen
  1. On logical and concurrent equivalences
    Bradfield, Julian. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2002
  2. Verifying temporal properties of systems
    Bradfield, Julian. - Boston : Birkhäuser, 1992
Beteiligt an 2 Publikationen
  1. Computer science logic
    Berlin : Springer, 2002
  2. Computer science logic
    Berlin : Springer, 2002





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration