| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
UtilitÓ

Risultati ricerca

Espressione di ricerca: ((AREA=SCI) OR (AREA=MED) OR (AREA=ESG) OR (AREA=UMA)) AND (CD=511.35$ OR LO=511.35$) Risultato ricerca: 10 Ordinamento: Data (decrescente), Autore, Titolo
Seleziona uno o pi¨ documenti

 

2/10  
Wolfram, Stephen [1959-] . A new kind of science / Stephen Wolfram. - Champaign (IL) : Wolfram media, c2002. - XIV, 1197, [66] p. : ill. ; 25 cm.
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Tamburo 511.35 WOLnew 2002

5/10  
Balcazar, Jose Luis . Structural complexity 2. / Jose Luis Balcazar, Josep Diaz, Joaquim Gabarro. - Berlin \etc.! : Springer, c1990. - IX, 283 p. : ill. ; 25 cm.. - (EATCS monographs on theoretical computer science ; 22)
Fa parte di: Structural complexity / Jose Luis Balcazar, Josep Diaz, Joaquim Gabarro

Ateneo. Scienza e Tecnica: Matematica P.0 /i/16

Ateneo. Scienza e Tecnica: Tamburo 511.35 BALstr 2-1990

6/10  
Odifreddi, Piergiorgio . Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. - Amsterdam \etc.! : North-Holland, 1989. - XVII, 668 p. ; 23 cm.. - (Studies in logic and the foundations of mathematics ; 125)
Classificazione: 511.35 [D] [Logica matematica (Logica simbolica). Teoria della ricorsivita'.]

Ateneo. Scienza e Tecnica: Matematica E.1 /h/32

7/10  
Balcazar, Jose Luis . Structural complexity 1 / Jose Luis Balcazar, Josep Diaz, Joaquim Gabarro. - Berlin \etc.! : Springer-Verlag, c1988. - IX, 191 p. ; 25 cm.. - (EATCS monographs on theoretical computer science ; 11)
Fa parte di: Structural complexity / Jose Luis Balcazar, Josep Diaz, Joaquim Gabarro

Ateneo. Scienza e Tecnica: Matematica P.0 /h/90

Ateneo. Scienza e Tecnica: Tamburo 511.35 BALstr 1-1988

8/10  
Marchetti Spaccamela, Alberto - Protasi, Marco . Modelli di calcolo e computabilitÓ / A. Marchetti Spaccamela, M. Protasi. - Milano : F. Angeli, stampa 1988. - 206 p. ; 22 cm.. - (CRAI / Consorzio per la ricerca e le applicazioni di informatica ; 4)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Tamburo 511.35 MARmod 1988

9/10  
Fitting, Melvin Chris . Fundamentals of generalized recursion theory / Melvin Fitting. - Amsterdam \etc.! : North-Holland, 1981. - XX, 307 p. ; 23 cm.. - (Studies in logic and the foundations of mathematics ; 105)
Classificazione: 511.35 [D] [Logica matematica (Logica simbolica). Teoria della ricorsivita'.]

Ateneo. Scienza e Tecnica: Matematica E.1 /h/5

10/10  
Ausiello, Giorgio . Complessita di calcolo delle funzioni / Giorgio Ausiello. - Torino : Boringhieri, 1975. - 240 p. ; 21 cm.. - (Testi e manuali della scienza contemporanea. Serie di informatica)
Classificazione: 511.35 [D] [Logica matematica (Logica simbolica). Teoria della ricorsivita'.]

Ateneo. Scienza e Tecnica: Matematica P.0 /g/27

 

Seleziona uno o pi¨ documenti

 

Tempo di elaborazione: 4 secondi
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 17-11-2017 05:03:32 - Schede in OPAC:  1808009
EasyWeb Five© 5.6.3 - 1994-2017 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0