Portada del llibre






Rocha Crdenas, Jairo
Teoria de la computaci

El llibre cobreix les nocions tpiques, com ara la indecidibilitat, els programes indeterministes, els problemes NP-complets, els autmats finits, les expressions regulars, les gramtiques incontextuals i els autmats amb pila. Ara b, aquest llibre no s un llibre tpic, per tres motius: la sintaxi estructurada per a programes i autmats amb pila (evitant les transicions entre estats de les mquines de Turing), l'aplicaci d'un paradigma estructurat a l'indeterminisme dels programes (una introducci a la concurrncia) i l'mfasi en la verificaci d'autmats finits (amb una metodologia prctica) i d'autmats amb pila (com a introducci a la verificaci de programes fent servir invariants). L'objectiu del llibre s crear als estudiants d'informtica l'hbit durador d'escriure programes que respectin escrupolosament les relacions entre els smbols usats.

Palma: Edicions UIB, 2017 Materials didctics, 158 248 p. 17 x 24 cm rstica, butxaca ISBN 978-84-8384-352-9 15

Comprar!
Comprar a Libelista


Portada del llibre






digital: Trabajar con sonido digital en un PC
Bres Flores, Vicente;Ibez Oro, M. Jos
(Publicacions de la Universitat de Valncia, 2011) 190 p. 6

Portada del llibre






INTRODUCCIN AL PRESUPUESTO DE PROYECTOS INFORMTICOS Y TELEMTICOS
Torralba Martnez, Jos Mara
(Universitat Politcnica de Valncia, 2003) 106 p. 9

Portada del llibre






digital: El movimiento open
Ario Villarroya, Antonio
(Publicacions de la Universitat de Valncia, 2011) 132 p. 4

MS CONSULTATS

Portada del llibre






Agricultura periurbana y planificacin territorial
Yacamn Ochoa, Carolina;Sanz Sanz, Esther;Mata Olmo, Rafael
(Publicacions de la Universitat de Valncia, 2020) 374 p. 21

Portada del llibre






Plantes valencianes
(Publicacions Universitat Alacant, 2020) 152 p. 12

Portada del llibre






La represa del moviment Freinet (1964-1974)
Varios autores
(Universitat Jaume I. Servei de Comunicaci i Publicacions, 2019) 274 p. 20

Portada del llibre






Punt per punt C2
Martnez Amors, Juli;Garrigs Miquel, Ldia;Lpez Ramn, Jess ngel;Estvez March, Antoni
(Publicacions Universitat Alacant, 2019) 166 p. 15

Portada del llibre






Bref rsume de l'histoire de la Catalogne / La question de la Catalogne
Rovira i Virgili, Antoni
(Publicacions URV, 2020) 204 p. 20

Portada del llibre






Guia illustrada per a conixer els arbusts i les lianes
Llistosella Vidal, Jaume;Snchez-Cuxart, Antoni
(Publicacions i Edicions de la Universitat de Barcelona, 2020) 524 p. 34