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

 

3/177  
Bellissima, Fabio . Fondamenti di matematica / Fabio Bellissima. - Roma : Carocci, 2008. - 125 p. ; 20 cm.. - (Le bussole ; 325)
Classificazione: 510 [D] [MATEMATICA]

Ateneo. Scienza e Tecnica: Matematica E.0 /l/4

4/177  
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/177  
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/177  
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

13/177  
Bollobás, Béla . Random graphs / Bela Bollobas. - 2. ed. - Cambridge : Cambridge university press, c2001. - XVIII, 498 p. ; 24 cm.. - (Cambridge studies in advanced mathematics ; 73)

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

Ateneo. Scienza e Tecnica: Tamburo 511.5 BOLran 2001

15/177  
Manca, Vincenzo [1949- ] . Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin. - Torino : Bollati Boringhieri, 2001. - 200 p. ; 22 cm.. - (Nuova didattica. Scienze)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

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

16/177  
Poizat, Bruno . A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated by Moses Klein. - New York [etc.] : Springer, c2000. - XXXI, 443 p. ; 24 cm. - (Universitext)
Classificazione: 511.8 [D] [MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)]

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

17/177  
Quarteroni, Alfio - Sacco, Riccardo - Saleri, Fausto . Matematica numerica / A. Quarteroni, R. Sacco, F. Saleri. - 2. ed. - Milano [etc.] : Springer, [2000]. - XIV, 440 p. ; 24 cm.. - (Unitext)
Classificazione: 515 [D] [ANALISI MATEMATICA] | 519.4 [D] [ANALISI NUMERICA APPLICATA]

Ateneo. Scienza e Tecnica: Tamburo 519.4 QUAmat 2000

Pavia. Collegio Borromeo: MAT./E 29

Pavia. Collegio Nuovo: 511 QUA ma

18/177  
19/177  
Devlin, Keith J. . Addio, Cartesio : la fine della logica e la ricerca di una nuova cosmologia della mente / Keith Devlin. - Torino : Bollati Boringhieri, 1999. - 369 p. ; 22 cm. - (Saggi. Scienze)
Classificazione: 128.3 [D] [FILOSOFIA. ATTRIBUTI E FACOLTA DEL GENERE UMANO]

Pavia. Universitaria: PAPIA B 29259

Ateneo. Scienza e Tecnica: Matematica E.0 /i/7

20/177  
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

21/177  
Kolchin, Valentin Fedorovich . Random graphs / V.F. Kolchin. - Cambridge : Cambridge University Press, 1999. - XI, 252 p. ; 25 cm.. - (Encyclopedia of mathematics and its applications ; 53)
Classificazione: 511.5 [D] [TEORIA E COSTRUZIONE DI GRAFI]

Ateneo. Scienza e Tecnica: Matematica N.1 /i/129

Ateneo. Scienze: Fisica 511.5 KOLRAN 1999-B

Ateneo. Scienze: Fisica 511.5 KOLRAN 1999

22/177  
Manzano, Maria . Model theory / María Manzano ; translated by Ruy J. G. B. De Queiroz. - Oxford : Clarendon Press, 1999. - XXIII, 239 p. ; 23 cm.. - (Oxford logic guides ; 37)
Classificazione: 512.2 [D] [GRUPPI E TEORIA DEI GRUPPI]

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

23/177  
Suppes, Patrick . Introduction to logic / Patrick Suppes. - Mineola : Dover, 1999. - XIV, 312 p. ; 22 cm. - (Dover books on advanced mathematics)

Ateneo. Scienza e Tecnica: Matematica E.0 /i/3

24/177  
Aigner, Martin [1942- ] . Combinatorial theory / Martin Aigner. - Berlin [etc.]: Springer, c1997. - VIII, 483 p. ; 24 cm. - (Classics in mathematics)
Classificazione: 511.6 [D] [ANALISI COMBINATORIA]

Ateneo. Scienze: Fisica 511.6 AIGCOM 1997

27/177  
Fowler, Andrew Cadle . Mathematical models in the applied science / A. C. Fowler. - Cambridge : Cambridge University press, 1997. - XIV, 402 p. ; 25 cm.. - (Cambridge texts in applied mathematics)
Classificazione: 511.8 [D] [MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)]

Ateneo. Scienza e Tecnica: Ingegneria TS2 00007 0

Ateneo. Scienze: Fisica 511 FOWMAT 1997

28/177  
Graph connections : relationships between graph theory and other areas of mathematics / edited by Lowell W. Beineke and Robin J. Wilson. - Oxford : Clarendon, 1997. - XI, 291 p. ; 25 cm.. - (Oxford lecture series in mathematics and its applications ; 5)
Classificazione: 511.5 [D] [TEORIA E COSTRUZIONE DI GRAFI]

Ateneo. Scienze: Fisica 511.5 BEIGRA 1997

29/177  

Ateneo. Scienze: Fisica 511.3 HELDIA 1997

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

 

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