Katalog der Deutschen Nationalbibliothek

Neuigkeiten Durch eine technische Umstellung bei unserem Servicepartner wird vorübergehend statt eines Coverbildes teilweise ein Fragezeichen im Katalog angezeigt. Dies kann zurzeit nur durch Deaktivierung der Coveranzeige unter "Mein Konto" – "Einstellungen" vermieden werden.
 
 

Ergebnis der Suche nach: idn=142488941



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/142488941
Person Clarke, Edmund M.
Geschlecht männlich
Andere Namen Clarke, Edmund M., Jr.
Clarke, Edmund Melson, Jr.
Clarke, Edmund, Jr.
Clarke, Edmund
Clarke, E. M.
Clarke, E.
Clarke, Edmund Melson (Vollständiger Name)
Zeit Lebensdaten: 1945-
Land USA (XD-US)
Beruf(e) Informatiker
Weitere Angaben Professor für Informatik an der Carnegie Mellon University. - Ph.D. in Computer Science an der Cornell University, Ithaca NY, 1976
Beziehungen zu Organisationen Carnegie Mellon University
Typ Person (piz)
Autor von 1 Publikation
  1. Combining local and global model checking
    Biere, Armin. - Karlsruhe : Univ., Fak. für Informatik, [1998]
Beteiligt an 6 Publikationen
  1. Perspectives of Systems Informatics [Elektronische Ressource]
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
  2. Perspectives of systems informatics
    Heidelberg : Springer, c 2012
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration