|
|
|
|
| LEADER |
00918nam a2200301 4500 |
| 001 |
027876 |
| 003 |
arbauncb |
| 008 |
150429s1990 xxu g 000 0 eng d |
| 005 |
20171018130834.0 |
| 040 |
|
|
|a AR-BaUNCB
|c AR-BaUNCB
|
| 245 |
1 |
0 |
|a Handbook of theoretical computer science /
|c Jan van Leeuwen
|
| 260 |
|
|
|a Cambridge,
|b Amsterdam :
|b Elsevier,
|b The Mit,
|c 1990
|
| 501 |
|
|
|a V.1:Algorithms and complexity.-V.2: Formal models and semantics.-
|
| 300 |
|
|
|a 2 v.
|c 25 cm
|
| 020 |
|
|
|a 0444880712 (v. 1)
|
| 020 |
|
|
|a 0444880747 (v. 2)
|
| 100 |
1 |
|
|a Leeuwen, Jan van
|
| 082 |
0 |
4 |
|a 001.6
|
| 653 |
|
|
|a Programación lógica
|
| 653 |
|
|
|a Autómatas
|
| 653 |
|
|
|a Semántica-computación
|
| 653 |
|
|
|a Modelos formales
|
| 653 |
|
|
|a Lenguajes formales
|
| 653 |
|
|
|a Complejidad
|
| 650 |
|
7 |
|a Computación
|2 mpirdes
|
| 650 |
|
7 |
|a Lenguajes de programación
|2 mpirdes
|
| 650 |
|
7 |
|a Algoritmos
|2 unescot
|
| 999 |
|
|
|c 27788
|d 27788
|