Vorstellung des Autors David Harel:

Bisher veröffentlichte Bücher von David Harel:

Algorithmik: Der Geist des Rechnens - Algorithmics: The Spirit of Computing
Springer Nature
Die Informatik ist die Wissenschaft der Zukunft und bildet bereits heute die...
Algorithmik: Der Geist des Rechnens - Algorithmics: The Spirit of Computing
Algorithmik - Der Geist des Rechnens - Algorithmics - The Spirit of Computing
Pearson Education
In "Algorithmik" werden die wichtigsten Konzepte, Methoden und Ergebnisse...
Algorithmik - Der Geist des Rechnens - Algorithmics - The Spirit of Computing
Algorithmik: Der Geist des Rechnens - Algorithmics: The Spirit of Computing
Springer Nature
Vorbemerkungen. - und historischer Rückblick. - Algorithmen und Daten. -...
Algorithmik: Der Geist des Rechnens - Algorithmics: The Spirit of Computing
Dynamische Logik - Dynamic Logic
Mit Pr
Dieses Buch bietet die erste umfassende Einführung in die Dynamische Logik. Unter den vielen Ansätzen zum formalen Schlussfolgern über Programme genießt...
Dynamische Logik - Dynamic Logic
<<
1
>>