Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 24. Dezember 2016 bis 1. Januar 2017 bleibt die Deutsche Nationalbibliothek geschlossen. // The German National Library will be closed from 24 December 2016 to 1 January 2017.
 
Neuigkeiten Das Ad-hoc-Bereitstellungssystem steht wegen dringender Wartungsarbeiten am Dienstag, 13. und Mittwoch, 14. Dezember 2016 nicht zur Verfügung. In dieser Zeit ist die Nutzung von bestellten elektronischen Publikationen nicht möglich.
 
 

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, E.
Clarke, Edmund Melson (Vollständiger Name)
Clarke, Edmund
Clarke, E. M.
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
Mathematiker
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