Schneller Zugriff als Browser!
36 Beziehungen: Angewandte Mathematik, Association for Computing Machinery, Carl von Ossietzky Universität Oldenburg, Chaim L. Pekeris, David Harel, Fellow, Grenoble, Haifa, Informatik, Israelische Akademie der Wissenschaften, Model Checking, Nahalal, New York (Bundesstaat), New York City, New York University, Oldenburg (Oldb), Ph.D., Postdoc, Rechovot, Stanford University, Technion, Telelogic, Temporale Logik, Thomas J. Watson Research Center, Turing Award, Universität Joseph Fourier Grenoble I, Universität Tel Aviv, Universität Uppsala, Völkerbundsmandat für Palästina, Verifizierung, Weizmann-Institut für Wissenschaften, Zustandsübergangsdiagramm, 1941, 2. November, 2009, 22. April.
Angewandte Mathematik
Die Angewandte Mathematik beschäftigt sich sowohl mit der Entwicklung neuer Methoden zur Lösung von Problemen aus anderen Gebieten (wie Chemie, Biologie, Physik, Wirtschaft, Informatik, Technik usw.), als auch der Anwendung bereits bekannter mathematischer Methoden auf wohlbekannte Probleme.
Neu!!: Amir Pnueli und Angewandte Mathematik · Mehr sehen »
Association for Computing Machinery
Die Association for Computing Machinery (ACM) wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet.
Neu!!: Amir Pnueli und Association for Computing Machinery · Mehr sehen »
Carl von Ossietzky Universität Oldenburg
Luftaufnahme der Carl von Ossietzky Universität Oldenburg, Campus Haarentor Die Carl von Ossietzky Universität Oldenburg ist eine staatliche Universität in Oldenburg mit 15.677 Studenten und 2.872 Mitarbeitern (Stand: Wintersemester 2021/2022).
Neu!!: Amir Pnueli und Carl von Ossietzky Universität Oldenburg · Mehr sehen »
Chaim L. Pekeris
Chaim Leib Pekeris (* 15. Juni 1908 in Alytus, Litauen; † 24. Februar 1993 in Rehovot) war ein israelischer Physiker und Angewandter Mathematiker, der sich insbesondere mit Geophysik und Atomphysik befasste.
Neu!!: Amir Pnueli und Chaim L. Pekeris · Mehr sehen »
David Harel
David Harel (Mitte) 2006 David Harel (* 12. April 1950 in London) ist ein israelischer Informatiker, der sich mit Software-Engineering, theoretischer Informatik (Berechenbarkeit, Datenbanktheorie, Automatentheorie), Systembiologie und dynamischer Logik befasst.
Neu!!: Amir Pnueli und David Harel · Mehr sehen »
Fellow
Der Titel Fellow (für Gleichgestellter, Gefährte, Genosse bzw. Mitglied) bezeichnet im Hochschulbetrieb und in sonstigen wissenschaftlichen Vereinigungen ein (nicht im juristischen Sinn) zur Körperschaft gehörendes Mitglied.
Neu!!: Amir Pnueli und Fellow · Mehr sehen »
Grenoble
Grenoble (arpitanisch GrenobloHeinrich Leo: Lehrbuch der Universalgeschichte zum Gebrauche in höheren Unterrichtsanstalten, Eduard Anton, Halle 1842, S. 564.-->) ist die Hauptstadt des französischen Départements Isère und der Dauphiné in der Region Auvergne-Rhône-Alpes im Südosten Frankreichs.
Neu!!: Amir Pnueli und Grenoble · Mehr sehen »
Haifa
Haifa (modernhebräische Aussprache;, Aussprache im lokalen arabischen Dialekt) ist mit 281.087 Einwohnern im Jahr 2017 die drittgrößte Stadt Israels (nach Jerusalem und Tel Aviv).
Neu!!: Amir Pnueli und Haifa · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Amir Pnueli und Informatik · Mehr sehen »
Israelische Akademie der Wissenschaften
Das Logo der israelischen Akademie der Wissenschaften Eingang zur israelischen Akademie der Wissenschaften Statue von Albert Einstein im Hof der Akademie Die Israelische Akademie der Wissenschaften, genauer Israelische Akademie der Natur- und Geisteswissenschaften ist die Akademie der Wissenschaften des Staates Israel.
Neu!!: Amir Pnueli und Israelische Akademie der Wissenschaften · Mehr sehen »
Model Checking
Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel).
Neu!!: Amir Pnueli und Model Checking · Mehr sehen »
Nahalal
Nahalal ist der älteste israelische Moschaw.
Neu!!: Amir Pnueli und Nahalal · Mehr sehen »
New York (Bundesstaat)
New York (standardsprachlich (AE), regional auch oder; BE) ist ein Bundesstaat im Nordosten der Vereinigten Staaten von Amerika.
Neu!!: Amir Pnueli und New York (Bundesstaat) · Mehr sehen »
New York City
New York City (AE:, offiziell City of New York, kurz New York, Abkürzung NYC, deutsch veraltet Neuyork oder Newyork) ist eine Weltstadt an der Ostküste der Vereinigten Staaten.
Neu!!: Amir Pnueli und New York City · Mehr sehen »
New York University
Die New York University (NYU) ist eine Universität in New York City im US-Bundesstaat New York.
Neu!!: Amir Pnueli und New York University · Mehr sehen »
Oldenburg (Oldb)
Oldenburg ist eine kreisfreie Stadt in Niedersachsen.
Neu!!: Amir Pnueli und Oldenburg (Oldb) · Mehr sehen »
Ph.D.
Der Ph.D. (auch PhD,, neulateinisch philosophiae doctor) ist in englischsprachigen Ländern der wissenschaftliche Doktorgrad in fast allen Fächern und der höchste Abschluss des Postgraduiertenstudiums.
Neu!!: Amir Pnueli und Ph.D. · Mehr sehen »
Postdoc
Postdoc (selten auch Post-Doc oder im Deutschen auch Postdoktorand) ist ein Wissenschaftler, der nach Beendigung einer Promotion den Doktorgrad erlangt hat und nun an einer Universität oder einem Forschungsinstitut befristet tätig ist.
Neu!!: Amir Pnueli und Postdoc · Mehr sehen »
Rechovot
''Koffler''-Teilchenbeschleuniger mit angebautem ''Kraar''-Observatorium, Weizmann-Institut für Wissenschaften Rechovot (modernhebräische Aussprache:,, andere Schreibweisen: Rehovot, Rechowot) ist eine Stadt in Israel.
Neu!!: Amir Pnueli und Rechovot · Mehr sehen »
Stanford University
Haupteingang der ''Stanford University'' Memorial Church'' Bogengang Die Leland Stanford Junior University (kurz Stanford University oder Stanford, Spitzname „Die Farm“) ist eine private US-amerikanische Universität in Stanford, Kalifornien.
Neu!!: Amir Pnueli und Stanford University · Mehr sehen »
Technion
Das Technion (zunächst als Technikum bezeichnet) ist die Technische Universität Israels und hat seinen Sitz in Haifa.
Neu!!: Amir Pnueli und Technion · Mehr sehen »
Telelogic
Telelogic AB war ein börsennotiertes multinationales Softwareunternehmen mit Sitz in Malmö, Schweden.
Neu!!: Amir Pnueli und Telelogic · Mehr sehen »
Temporale Logik
Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können.
Neu!!: Amir Pnueli und Temporale Logik · Mehr sehen »
Thomas J. Watson Research Center
Thomas J. Watson Research Center, Hauptgebäude in Yorktown Heights Luftaufnahme des Hauptgebäudes, 1993 Das Thomas J. Watson Research Center ist die Zentrale der IBM-Forschung mit insgesamt acht Laboren in sechs Ländern.
Neu!!: Amir Pnueli und Thomas J. Watson Research Center · Mehr sehen »
Turing Award
Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Neu!!: Amir Pnueli und Turing Award · Mehr sehen »
Universität Joseph Fourier Grenoble I
Die Universität Joseph Fourier Grenoble I (UJF),, war eine Universität in Grenoble (Frankreich).
Neu!!: Amir Pnueli und Universität Joseph Fourier Grenoble I · Mehr sehen »
Universität Tel Aviv
Die Universität Tel Aviv zählt etwa 30.000 Studierende und ist damit Israels größte Universität.
Neu!!: Amir Pnueli und Universität Tel Aviv · Mehr sehen »
Universität Uppsala
Eingangshalle des Hauptgebäudes Die Universität Uppsala (schwedisch: Uppsala universitet; lat.: Universitas Regia Upsaliensis) wurde 1477 von Erzbischof Jakob Ulfsson und dem Regenten Sten Sture dem Älteren in Uppsala gegründet und ist damit die älteste noch existierende Universität Skandinaviens.
Neu!!: Amir Pnueli und Universität Uppsala · Mehr sehen »
Völkerbundsmandat für Palästina
Das britische Mandatsgebiet Palästina wurde 1923 geteilt in das eigentliche Palästina westlich und das Emirat Transjordanien östlich des Jordans. Seeflagge des Mandatsgebiets Palästina Siegel des britischen Gouverneurs (High Commissioner) des Mandatsgebietes Palästina Kapitulation der osmanischen Stadtregierung Jerusalems vor den Briten, 9. Dezember 1917 Das Völkerbundsmandat für Palästina war ein Klasse-A-Mandat des Völkerbundes, das nach dem Zusammenbruch des Osmanischen Reiches infolge des Ersten Weltkriegs auf der Konferenz von Sanremo dem Vereinigten Königreich am 19.
Neu!!: Amir Pnueli und Völkerbundsmandat für Palästina · Mehr sehen »
Verifizierung
Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.
Neu!!: Amir Pnueli und Verifizierung · Mehr sehen »
Weizmann-Institut für Wissenschaften
Turm des ''Koffler''-Teilchenbeschleunigers mit angebautem ''Kraar''-Observatorium (2012) Das Weizmann-Institut für Wissenschaften ist ein multidisziplinäres Institut für naturwissenschaftliche Forschung und Ausbildung in Rechovot, Israel.
Neu!!: Amir Pnueli und Weizmann-Institut für Wissenschaften · Mehr sehen »
Zustandsübergangsdiagramm
Ein Zustandsdiagramm für eine Tür, die nur geöffnet und geschlossen werden kann. Ein Zustandsübergangsdiagramm ist eine grafische Darstellung von endlichen Automaten, d. h. Zuständen und deren Übergangsbedingungen, um die enthaltenen Verknüpfungen möglichst durchschaubar und eindeutig zu visualisieren.
Neu!!: Amir Pnueli und Zustandsübergangsdiagramm · Mehr sehen »
1941
Roosevelt und Churchill an Bord der ''Prince of Wales'' Unter dem Eindruck des deutschen Überfalls auf die Sowjetunion treffen sich vom 9.
Neu!!: Amir Pnueli und 1941 · Mehr sehen »
2. November
Der 2.
Neu!!: Amir Pnueli und 2. November · Mehr sehen »
2009
Das Jahr 2009 stand insbesondere im Zeichen der globalen Finanzkrise.
Neu!!: Amir Pnueli und 2009 · Mehr sehen »
22. April
Der 22.
Neu!!: Amir Pnueli und 22. April · Mehr sehen »
