Portada del llibre






 [+]

Rocha, 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). Lobjectiu del llibre s crear als estudiants d'informtica l'hbit durador d'escriure programes que respectin escrupolosament les relacions entre els smbols usats.

Palma de Mallorca: Edicions UIB, 2012 Materials didctics, 158 242 p. 17 x 24 cm rstica, butxaca ISBN 978-84-8384-222-5 15

Comprar!
Afegir al cistell de compra


Portada del llibre






PROCESADORES DE LENGUAJES: UNA INTRODUCCIN A LA FASE DE ANLISIS
Bened Ruiz, Jos Miguel;Moreno Boronat, Lidia;Vivancos Rubio, Emilio;Gisbert Giner, Vicente
(Universitat Politcnica de Valncia, 2008) 250 p. 27

Portada del llibre






digital: Escanejant la informtica
Marco Galindo, Maria Jess
(Editorial UOC, S.L., 2010) 252 p. 9

Portada del llibre






digital: Diseo de procesadores con VHDL
Grediaga Olivo, ngel;Prez Martnez, Jos
(Universitat d' Alacant (Publicacions), 2007) 9

MS CONSULTATS

Portada del llibre






L'art i la lgica de Ramon Llull. Manual d's
Bonner, Anthony
(Publicacions i Edicions de la Universitat de Barcelona, 2012) 400 p. 27

Portada del llibre






El medi natural del Solsons
Guix Coromines, David
(Publicacions i Edicions de la Universitat de Barcelona, 2008) 0 p. 50

Portada del llibre






Cavallers
Garca Mascarell, Purificaci
(Publicacions de la Universitat de Valncia, 2017) 80 p. 10

Portada del llibre






Los medios de comunicacin en la Sociedad en Red
Cardoso, Gustavo
(Editorial UOC, S.L., 2008) 576 p. 40

Portada del llibre






FUNDAMENTOS MATEMTICOS EN ARQUITECTURA
Bartoll Arnau, Salud;Gmez Collado, M Del Carmen;Bonet Solves, Jos
(Universitat Politcnica de Valncia, 2009) 302 p. 29

Portada del llibre






Lengua china para traductores
Casas Tost, Helena;Rovira Esteva, Sara;Surez Girard, Anne-Hlne
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2008) 406 p. 24

Portada del llibre






digital: Aves sin nido
Matto De Turner, Clorinda
(Universitat Jaume I. Servei de Comunicaci i Publicacions, 2013) 300 p. 18

Portada del llibre






Estudio del lxico y bases de datos
Clavera, Gloria;Mancho, Mara Jess (eds.)
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2006) 156 p. 22

Portada del llibre






Gestin de la calidad
Griful Ponsati, Eullia;Canela Campos, Miguel ngel
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2005) 234 p. 23

Portada del llibre






La Huerta del Bajo Segura
Canales Martnez, Gregorio;De Gea Calatayud, Manuel;Diz Ardid, Emilio;Garca, Clara;Mateo Lozano, ngel
(Publicacions Institucionals UA, 2017) 2 p. 5

Portada del llibre






Las televisiones pblicas autonmicas del siglo XXI
Marzal Felici, Javier
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2015) 306 p. 20

Portada del llibre






Citrus
Ancillo Antn, Gema;Medina Snchez-Valladares, Alejandro
(Publicacions de la Universitat de Valncia, 2015) 152 p. 7