| 000 | 01773nam a2200337 4500 | ||
|---|---|---|---|
| 005 | 20260727094920.0 | ||
| 006 | a|||||r|||| 00| 0 | ||
| 008 | 260727b |||||||| |||| 00| 0 spa d | ||
| 020 | _a9780132288064 | ||
| 040 | _aCO-ViULL | ||
| 041 | _heng | ||
| 082 | 0 | 4 |
_223 _a005.1 _bR498 |
| 100 | 1 |
_aRich, Elaine _eautor, _9165296 |
|
| 245 | 1 | 0 |
_aAutomata, computability, and complexity : _btheory and applications / _cElaine Rich. |
| 250 | _a1ª edición. | ||
| 264 | 1 |
_aEstados Unidos: _bPearson - Prentice Hall, _c2008. |
|
| 300 |
_a1099 páginas : _bfiguras y tablas ; _c24 centímetros. |
||
| 336 |
_2rdacontent _atexto _btxt |
||
| 337 |
_2rdamedia _asin mediación _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 500 | _aIncluye tabla de contenido. | ||
| 504 | _aIncluye bibliografía. | ||
| 520 | _aThe theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the myriad ways in which the theory influences the design of modern hardware and software systems. The goal of this book is to change that. The book is organized into a core set of chapters (that cover the standard material suggested by the title), followed by a set of appendix chapters that highlight application areas including programming language design, compilers, software verification, networks, security, natural language processing, artificial intelligence, game playing, and computational biology. | ||
| 650 | 0 |
_aAutómatas _9165297 |
|
| 650 | 0 |
_aComputabilidad _9165298 |
|
| 650 | 0 |
_aComplejidad computacional _996673 |
|
| 650 | 0 |
_aTeoría de la computación _9165299 |
|
| 650 | 0 |
_aInformática teórica _9165300 |
|
| 700 | 1 |
_aRich, Elaine, _eautor _9165296 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c48642 _d48642 |
||