| 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 (LO=511.3$) Risultato ricerca: 68 Lunghezza lista: 30 Ordinamento: Data (decrescente), Autore, Titolo
Seleziona uno o pi¨ documenti

 

3/68  
Flum, Jorg - Grohe, Martin . Parameterized complexity theory / J. Flum, M. Grohe. - Berlin [etc.] : Springer, c2006. - XIII, 493 p. : ill. ; 24 cm.. - (Texts in theoretical computer science : an EATCS series)

Ateneo. Scienza e Tecnica: Tamburo 511.3 FLUpar 2006

6/68  
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

8/68  
Downey, R. G. - Fellows, M. R. . Parameterized complexity / R. G. Downey, M. R. Fellows. - New York \etc.! : Springer, c1999. - XV, 533 p. ; 24 cm.. - (Monographs in computer science)
Classificazione: 004.015113 [D] | 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Tamburo 511.3 DOWpar 1999

10/68  

Ateneo. Scienze: Fisica 511.3 HELDIA 1997

11/68  
Bovet, Daniel Pierre [1939- ] - Crescenzi, Pierluigi . Teoria della complessita computazionale / di Daniel Pierre Bovet e Pierluigi Crescenzi. - Milano : F. Angeli, c1991. - 324 p. ; 23 cm.. - (Scienze e tecnologie informatiche ; 7)
Classificazione: 004.0151 [D] [ELABORAZIONE DEI DATI]

Ateneo. Scienza e Tecnica: Tamburo 511.3 BOVteo 1991

15/68  
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

16/68  
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

18/68  
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

19/68  
Wittgenstein, Ludwig . Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero. - Nuova ed. ampliata. - Torino : G. Einaudi, \1988!. - XXXV, 335 p. : ill. ; 21 cm.. - (Einaudi paperbacks ; 182)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica ZE.0 /h/33

Lungavilla. "C. Vittadini": 511.3_WIT

Siziano. "A. Merini": 511.3_WIT

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia Fil.Cont.Ted.Wittgenstein 45

Pavia. Collegio Borromeo: FIL./G/WITTGENSTEIN 3

Pavia. Collegio S. Caterina - Sede: XVII WIT os

21/68  
Lemmon, Edward John . Elementi di logica : con gli esercizi risolti / E. J. Lemmon. - Roma [ecc.] : Laterza, 1986. - XI, 296 p. ; 21 cm. - (Biblioteca universale Laterza ; 182)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Pavia. Universitaria: PAPIA B 10658

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E. III 651

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia PSY 28 A_56

Pavia. Liceo scientifico 'N. Copernico': 511.3 LEM 1

Vigevano. "L. Mastronardi": A_511.3_LEM

22/68  

Ateneo. Scienza e Tecnica: Matematica E.0 /h/6

Ateneo. Giurisprudenza: Sede PRIVATO FIL.DIR. I-H- 346

Stradella. "P. Bazzini": 511.3_HOF

Pavia. Collegio Ghislieri: 143 1 13

San Martino Siccomario. "A. Frank": 511.3_HOF

23/68  

Pavia. Collegio Nuovo: 511.3 PIZ te

Ateneo. Studi umanistici - Petrarca: Letteratura LINGUISTIC PIZZI 1

25/68  
Shoenfield, Joseph Robert . Logica matematica / Joseph R. Shoenfield. - Torino : Boringhieri, 1980. - 380 p. ; 23 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [D] [LOGICA MATEMATICA, LOGICA SIMBOLICA]

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

Bressana Bottarone. "G. Rodari": 511.3_SHO

27/68  
Grńtzer, George A. . General lattice theory / by George Gratzer. - New York ; San Francisco : Academic press, 1978. - XIII, 381 p. ; 21 cm.. - (Pure and applied mathematics ; 75)
Classificazione: 511.33 [D] [Logica matematica (Logica simbolica). Relazioni, reticoli, sistemi e strutture ordinate.]

Ateneo. Scienza e Tecnica: Matematica G.1 /g/2

Ateneo. Scienze: Fisica 511.33 GRAGEN 1978

28/68  
Cafiero, Federico [1914-1980] - Zitarosa, Antonio . Elementi di teoria degli insiemi / Federico Cafiero, Antonio Zitarosa. - Napoli : Liguori, 1977. - 79 p. ; 21 cm.. - (Quaderni di analisi matematica)
Classificazione: 512.7 [D] [TEORIA DEI NUMERI]

Ateneo. Scienza e Tecnica: Matematica E.2 /g/19

Ateneo. Scienza e Tecnica: Matematica E.2 /g/19 bis

Ateneo. Scienza e Tecnica: Matematica E.2 /g/19 ter

Ateneo. Scienza e Tecnica: Tamburo 511.32 CAFele 1977

29/68  
Spisani, Franco . Implication, endometry, universe of discourse / by Franco Spisani. - Bologna : International logic review, 1977. - 174 p. ; 24 cm. - (Pubblicazioni a cura del Centro superiore di logica e scienze comparate)

Pavia. Collegio Ghislieri: 153 1 43

Ateneo. Scienze: Fisica 511.3 SPIIMP 1977

30/68  
Varga, Tamßs . Fondamenti di logica per insegnanti / Tamas Varga. - Torino : Boringhieri, 1973. - 194 p. ; 21 cm. - (Didattica)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Economia: 295 00020

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia PSY 27 35

Ateneo. Scienza e Tecnica: Matematica T.5 /g/97

Pavia. Liceo scientifico 'T. Taramelli': MAT 00014

Ateneo. Scienze: Fisica 370.D VARFON 1973

Pavia. Liceo scientifico 'N. Copernico': 511.3 TAN 1

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E. III 616

 

Seleziona uno o pi¨ documenti

 

Tempo di elaborazione: 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 21-11-2017 05:08:05 - Schede in OPAC:  1808224
EasyWeb Five© 5.6.3 - 1994-2017 è un prodotto Nexus IT

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