Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Dienstag, 28. Februar, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Mitarbeiterversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 
Neuigkeiten Am Mittwoch, 1. März, öffnet die Deutsche Nationalbibliothek in Frankfurt am Main wegen einer Mitarbeiterversammlung erst ab 13 Uhr für die Benutzung.
 
 

Ergebnis der Suche nach: idn=1028534892



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1028534892
Person Emerson, E. Allen
Geschlecht männlich
Andere Namen Emerson, Ernest Allen
Allen Emerson, E.
Zeit Lebensdaten: 1954-
Land USA (XD-US)
Geografischer Bezug Geburtsort: Dallas, Tex.
Beruf(e) Informatiker
Mathematiker
Hochschullehrer
Weitere Angaben Fachgebiete: automatische Programmsynthese, Verifizierung parametrisierter Systeme und Datenstruktur-Beweisen
Beziehungen zu Organisationen University of Texas
Typ Person (piz)
Beteiligt an 3 Publikationen
  1. Verification, model checking, and abstract interpretation
    Berlin : Springer, 2006
  2. Verification, model checking, and abstract interpretation [Elektronische Ressource]
    Berlin : Springer, 2006
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration