Wyniki wyszukiwania:
wyszukanych pozycji: 2
 |
Formal Models of Computation: The Ultimate Limits of Computing
ISBN: 9789810245009 / Angielski / Twarda / 2001 / 548 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) This text provides presentations of standard computational methods that help avoid pitfalls of the conventional description methods. It also includes approaches to some of the topics that students normally find the most challenging. It has evolved in response to student feedback.
This text provides presentations of standard computational methods that help avoid pitfalls of the conventional description methods. It also includes ...
|
cena:
482,90 |
 |
Turing Tales
ISBN: 9789491386060 / Angielski / Miękka / 2016 / 266 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Edgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between their favorite mathematical concepts and the representations thereof in the real world. This leads to mistakes. Daylight introduces seemingly small but useful distinctions. As a result, technical corrections are put forth in connection with formal verification, computer viruses, and program transformation systems. Even mathematics isn't free from conceptual flaws. Raymond Boute scrutinizes several unsound treatments of the... Edgar Daylight's rather provocative theme in this book is that many high-profile computer scientists do not consistently distinguish between th... |
cena:
107,90 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
