CATALOGO DEI PRODOTTI DELLA RICERCA

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 24 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autore(i) File
A note on the analysis of theorem-proving strategies 1-gen-1996 Bonacina, Maria Paola
A Three-Moment based Capital Asset Pricing Model 1-gen-1997 Gamba, Andrea; Rossi, Francesco
An economic interpretation of the weak and strong duals of a nonconvex extremum problem 1-gen-1990 Pellegrini, Letizia
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 1-gen-1998 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto; Massimo, Santini
Benchmarking for shared memory parallel computers by economic applications 1-gen-1990 Roveda, Alberto; Sutti, C.
Encoding problems in logic synthesis 1-gen-1995 Villa, Tiziano
Exploring the unknown. On entrepreneurship, coordination and innovation-driven growth 1-gen-1997 Dosig, ; Fagiolo, Giorgio
Generation of a minimal STG from an implicit cover 1-gen-1996 L., Carloni; Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
Il turismo in provincia di Verona 1-gen-1996 Signori, Paola
Input encoding for minimum BDD size: theory and experiments 1-gen-1998 W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli
Risultati 1 - 10 di 24 (tempo di esecuzione: 0.007 secondi).
↑ Back to top
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 07 Altra tipologia 24
  • 07 Altra tipologia::07.15 Rapport... 24
Autore
  • VILLA, Tiziano 5
  • FAGIOLO, Giorgio 3
  • GAMBA, Andrea 3
  • BONACINA, Maria Paola 2
  • PELLEGRINI, Letizia 2
  • PICHLER, Flavio 2
  • DONGILI, Paola 1
  • Mancini, Cecilia 1
  • PERETTI, Alberto 1
  • POSENATO, Roberto 1
Data di pubblicazione
  • 1999 3
  • 1998 3
  • 1997 3
  • 1996 5
  • 1995 3
  • 1994 1
  • 1992 1
  • 1990 5
Editore
  • Opt. and Op. Res. Group, Dept. of... 2
  • Centro Unesco Verona 1
  • CERAP Centro di ricerche assicura... 1
  • Consiglio Nazionale delle Ricerch... 1
  • Cueim 1
  • Department of Computer Science, S... 1
  • Department of Computer Science, T... 1
  • Dipartimento di Matematica - Poli... 1
  • Dipartimento di Matematica Applic... 1
  • Dipartimento di Matematica Applic... 1
Keyword
  • codifica 2
  • macchine a stati finiti 2
  • Mechanical theorem proving 2
  • analysis of 1
  • Approximability 1
  • benchmarking 1
  • broker di assicurazione 1
  • Capital Market Model 1
  • circuiti numerici 1
  • coordination 1
Lingua
  • eng 15
  • ita 7
  • fre 1
  • rus 1
Accesso al fulltext
  • no fulltext 19
  • open 5