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

 

2/44  
Metriche del software : esperienze e ricerche. - Milano : F. Angeli, [2006]. - 511 p. ; 23 cm. - (Informatica & organizzazioni ; 36)
Classificazione: 005.14 [D] [PROGRAMMAZIONE. VERIFICA, PROVE, MISURAZIONE, MESSA A PUNTO (DEBUGGING)]

Ateneo. Scienza e Tecnica: Ingegneria PC2 00049 0

5/44  

Ateneo. Scienza e Tecnica: Tamburo 005.72 ALOweb 2004

Ateneo. Scienza e Tecnica: Ingegneria PC2 00040 0

Ateneo. Scienza e Tecnica: Ingegneria PC2 00041 0

Ateneo. Scienza e Tecnica: Ingegneria PC2 00043 0

7/44  
11/44  
Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jurgen Promel, Angelika Steger (eds.). - Berlin \etc.! : Springer, c1998. - XII, 344 p. ; 24 cm. - (Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 1367)

Ateneo. Scienza e Tecnica: Ingegneria PC2 00013 0

16/44  
Computational geometry : algorithms and applications / Mark de Berg ... et al.. - Berlin etc. : Springer, c1997. - XII, 365 p. : ill. ; 24 cm
Classificazione: 516.00285 [D] [Geometria. Elaborazione dei dati Applicazioni dell'elaboratore.]

Ateneo. Scienza e Tecnica: Ingegneria PC2 00015 0

Ateneo. Scienza e Tecnica: Matematica J.97 /i/1

18/44  
Hromkovic, Juraj . Communication complexity and parallel computing / Juraj Hromkovic. - Berlin ; Heidelberg ; New York : Springer, 1997. - X, 336 p. : 40 ill. ; 23 cm. - (Texts in theoretical computer science : an EATCS series)

Ateneo. Scienza e Tecnica: Ingegneria PC2 00012 0

21/44  
Mirizzi, Nicola - Mastronardi, Giuseppe . Le basi dell'informatica : dall'hardware al software / Nicola Mirizzi, Giuseppe Mastronardi. - Milano : CEA, 1997. - XII, 292 p. : ill. ; 27 cm.
Classificazione: 004 [D] [ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA]

Ateneo. Scienza e Tecnica: Ingegneria PC2 00030 0

24/44  
Bovet, Daniel Pierre [1939- ] - Crescenzi, Pierluigi . Introduction to the theory of complexity / Daniel Pierre Bovet and Pierluigi Crescenzi. - New York [etc.] : Prentice Hall, 1994. - XI, 282 p. ; 24 cm. - (Prentice-Hall international series in computer science)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Ingegneria PC2 00010 0

26/44  
Fuzzy logic technology and applications / Robert J. Marks editor. - New York : The Institute of electrical and electronics engineers, \1994!. - XXV, 575 p. ; 29 cm. - (IEEE technology update series / Institute of electrical and electronics engineers)

Ateneo. Scienza e Tecnica: Ingegneria PC2 00007 0

28/44  
Papadimitriou, Christos H. . Computational complexity / Christos H. Papadimitriou. - Reading, MA \etc.! : Addison-Wesley, c1994. - XV, 523 p. ; 25 cm.
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Ingegneria PC2 00008 0

Ateneo. Scienze: Fisica 2T 322

29/44  
Epistemologia informatica. - Bologna : Transeuropa, c 1991. - 257 p. ; 24 cm. - (BioLogica ; 5)

Ateneo. Scienza e Tecnica: Ingegneria PC2 00027 0

30/44  
Italiani, Mario - Serazzi, Giuseppe . Elementi di informatica : algoritmi, architetture, strutture dati ... / Mario Italiani, Giuseppe Serazzi. - 2. ed. - Milano : Etas libri, 1989. - XII, 556 p. : ill. ; 25 cm.. - (Informatica. Manuali)
Classificazione: 004.2 [D] [ELABORAZIONE DEI DATI. ANALISI E PROGETTAZIONE DEI SISTEMI, ARCHITETTURA DELL'ELABORATORE, VALUTAZIONE DELLE PRESTAZIONI]

Ateneo. Scienza e Tecnica: Ingegneria PC2 00003 0

Ateneo. Scienza e Tecnica: Ingegneria PC2 00004 0

 

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