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

 

2/491  
Grimmett, Geoffrey R. . Probability on graphs : random processes on graphs and lattices / Geoffrey Grimmett. - Cambridge : Cambridge university press, 2010. - XI, 247 p. ; 24 cm.. - (Institute of mathematical statistics textbooks ; 1)
Classificazione: 511.5 [D] [TEORIA E COSTRUZIONE DEI GRAFI]

Ateneo. Scienza e Tecnica: Matematica N.1 /m/5

4/491  
Berto, Francesco [1973- ] . Tutti pazzi per Gödel] : la guida completa al Teorema di incompletezza / Francesco Berto. - Roma ; Bari : GLF editori Laterza, 2008. - XV, 270 p. ; 21 cm. - (I Robinson. Letture)
Classificazione: 511.3092 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). Persone]

Ateneo. Scienza e Tecnica: Matematica E.1 /l/6

5/491  
Varzi, Achille C. - Rohatyn, Dennis - Nolt, John . Logica / Achille Varzi, John Nolt, Dennis Rohatyn. - 2. ed. - Milano : McGraw-Hill, [2007]. - XII, 342 p. ; 25 cm.. - (Collana di istruzione scientifica. Serie di scienze umane)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Economia: 030 02342

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

8/491  
Equilibrio perfetto : le grandi equazioni della scienza moderna / a cura di Graham Farmelo ; traduzione di Libero Sosio. - Milano : Il saggiatore, [2005]. - 382 p. ; 22 cm.. - (Nuovi saggi)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Scienza e Tecnica: Matematica B.2 /l/1

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

9/491  
Frege e il neologicismo / a cura di Andrea Pedeferri. - Milano : F. Angeli, [2005]. - 270 p. ; 23 cm.. - (Epistemologia ; 86)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.ST.FREGE 14

10/491  
Introduzione agli algoritmi e strutture dati / Thomas Cormen ... [et al.] ; edizione italiana a cura di Livio Colussi. - 2. ed. - Milano [etc.] : McGraw-Hill, ©2005. - XVI, 960 p. ; 27 cm. - (Collana di istruzione scientifica. Serie di informatica)
Classificazione: 005.1 [D] [Programmazione per elaboratori elettronici.] | 511.8 [D] [MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)]

Ateneo. Scienza e Tecnica: Tamburo 005.1 CORint 2005

11/491  
Jungnickel, Dieter [1952- ] . Graphs, networks and algorithms / Dieter Jungnickel. - 2. ed. - Berlin [etc.] : Springer, c2005. - XVI, 611 p. ; 24 cm.. - (Algorithms and computation in mathematics ; 5)
Classificazione: 511.5 [D] [TEORIA E COSTRUZIONE DEI GRAFI]

Ateneo. Scienza e Tecnica: Tamburo 511.5 JUNgra 2005

12/491  
Peano, Giuseppe . Carteggio (1896-1914) / Giuseppe Peano, Louis Couturat ; a cura di Erika Luciano e Clara Silvia Roero. - Firenze : L. S. OLschki, 2005. - LXIX, 254 p. ; 22 cm. - (Archivio della corrispondenza degli scienziati italiani ; 16)
Classificazione: 510.92 [D] [MATEMATICA. Persone] | 511.3092 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). Persone]

Pavia. Universitaria: CMOD. 8. - 222 / 16

Ateneo. Studi umanistici - Petrarca: S. Tommaso E.12 01213

13/491  
Varga, Tamás . Fondamenti di logica per insegnanti / Tamás Varga. - 2. ed. - Torino : Bollati Boringhieri, 2005. - 182 p. ; 22 cm. - (Nuova didattica. Scienze)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia T.ED.PER. PE. 2658

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

16/491  
Brandi, Primo - Salvadori, Anna . Modelli matematici elementari / Primo Brandi, Anna Salvadori. - Milano : Bruno Mondadori, c2004. - XV, 207 p. : ill. ; 22 cm.. - (Matematica e dintorni)
Classificazione: 511 [D] [MATEMATICA. GENERALITA]

Ateneo. Scienza e Tecnica: Ingegneria MA1 00100 0

17/491  
Casalegno, Paolo - Mariani, Mauro . Teoria degli insiemi : un'introduzione / Paolo Casalegno, Mauro Mariani. - Roma : Carocci, 2004. - 263 p. ; 22 cm.. - (Universitŕ ; 620)
Classificazione: 511.322 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). TEORIA DEGL'INSIEMI]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia PSY 5.A 128

18/491  

Ateneo. Studi umanistici - Petrarca: Letteratura DEP.IT. 1 INFORMATICA 24

19/491  
Handbook of graph theory / edited by Jonathan L. Gross, Jay Yellen. - Boca Raton [etc.] : CRC Press, c2004. - 1167 p. : ill. ; 26 cm.. - (Discrete mathematics and its applications)
Classificazione: 511.5 [D] [MATEMATICA. TEORIA E COSTRUZIONE DI GRAFICI]

Ateneo. Scienza e Tecnica: Ingegneria MA3 00039 0

20/491  
Lolli, Gabriele . Da Euclide a Godel / Gabriele Lolli. - Bologna : Il mulino, [2004]. - 189 p. ; 22 cm.. - (Saggi ; 621)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 511.3092 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). Persone]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. ST.SC.II 652

Pavia. Istituto Tecnico Industriale 'Cardano': BC 18898

21/491  
Marchette, David J. . Random graphs for statistical pattern recognition / David J. Marchette. - Hoboken : Wiley, ©2004. - XIII, 237 ; 25 cm.. - (Wiley series in probability and statistics)
Classificazione: 511.5 [D] [TEORIA E COSTRUZIONE DEI GRAFI]

Ateneo. Scienza e Tecnica: Matematica N.0 /l/36

22/491  
Bolzano, Bernard . I paradossi dell'infinito / Bernard Bolzano ; a cura di Alberto Conte. - Torino : Bollati Boringhieri, 2003. - 147 p. ; 20 cm.. - (Universale Bollati Boringhieri ; 275)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

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

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

23/491  
Donati, Stefano [1957- ] . I fondamenti della matematica nel logicismo di Bertrand Russell / Stefano Donati. - Firenze : Firenze Atheneum, stampa 2003. - 988 p. ; 24 cm.. - (Oxenford ; 125 )
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 510.1 [D] [MATEMATICA. Filosofia e teoria]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.ST.RUSSELL 14

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.ST.RUSSELL 14 bis

Ateneo. Scienza e Tecnica: Matematica E.1 /l/3

26/491  
Vorst, Henk A. : van der . Iterative Krylov methods for large linear systems / Henk A. van der Vorst. - Cambridge : Cambridge university press, 2003. - XIII, 221 p. ; 23 cm.. - (Cambridge monographs on applied and computational mathematics ; 13 )
Classificazione: 511.4 [D] [MATEMATICA. APPROSSIMAZIONI E SVILUPPI]

Ateneo. Scienza e Tecnica: Matematica O.3 /l/1

27/491  
Crespi Reghizzi, Stefano . Linguaggi formali nelle scienze della comunicazione / Stefano Crespi Reghizzi. - Bologna : Zanichelli, 2002. - XII, 276 p. ; 24 cm.. - (Testi e manuali)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Pavia. Universitaria: PAPIA C 19131

Ateneo. Studi umanistici - Petrarca: Letteratura ST.LING.IT 7 Crespi_Reghizzi 1

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

29/491  
Wittgenstein, Ludwig . Lezioni di Wittgenstein sui fondamenti della matematica : Cambridge 1939 / a cura di Cora Diamond ; dagli appunti di R. G. Bosanquet ... et al.!. - Torino : Boringhieri, 2002. - 314 p. ; ill. ; 20 cm. - (Universale Bollati Boringhieri ; 274)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Scienza e Tecnica: Matematica E.1 /l/2

30/491  
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

 

Seleziona uno o piů documenti

 

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

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