Prezentarea autorului David Harel:

Cărțile publicate de David Harel până acum:

Algoritmică: Spiritul calculatoarelor - Algorithmics: The Spirit of Computing
Springer Nature
Informatica este știința viitorului și stă deja la baza fiecărui aspect al...
Algoritmică: Spiritul calculatoarelor - Algorithmics: The Spirit of Computing
Algoritmică - Spiritul calculului - Algorithmics - The Spirit of Computing
Pearson Education
"Algoritmica" prezintă cele mai importante concepte, metode și rezultate care...
Algoritmică - Spiritul calculului - Algorithmics - The Spirit of Computing
Algoritmică: Spiritul informaticii - Algorithmics: The Spirit of Computing
Springer Nature
Preliminarii. - și revizuire istorică. - Algoritmi și date. - Limbaje de programare...
Algoritmică: Spiritul informaticii - Algorithmics: The Spirit of Computing
Logica dinamică - Dynamic Logic
Mit Pr
Această carte oferă prima introducere cuprinzătoare în logica dinamică .Dintre numeroasele abordări ale raționamentului formal asupra programelor, Logica...
Logica dinamică - Dynamic Logic
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)