Sfoglia per ???browse.type.metadata.subjectIsicrui???
Proving properties of constraint logic programs by eliminating existential variables
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Reducing nondeterminism while specializing logic programs
1997-01-01 Pettorossi, A; Proietti, M; Renault, S
Relativistic invariance and charge conjugation in quantum field theory
1992-09-01 Guido, D; Longo, R
Robust adaptive learning control for nonlinear systems with extended matching unstructured uncertainties
2012-01-01 Marino, R; Tomei, P; Verrelli, Cm
Robust adaptive transient stabilization of a synchronous generator with parameter uncertainty
2006-01-01 Marino, R; Shen, T; Verrelli, Cm
Robust transient stabilization problem for a synchronous generator in a power network
2010-01-01 Verrelli, Cm; Damm, G
Rules and strategies for contextual specialization of constraint logic programs
2000-01-01 Fioravanti, F; Pettorossi, A; Proietti, M
Scheduling flexible flow lines in an automobile assembly plant
1997-12-31 Agnetis, A; Pacifici, A; Rossi, F; Lucertini, M; Nicoletti, S; Nicolò, F; Oriolo, G; Pacciarelli, D; Pesaro, E
Scheduling independent tasks with multiple modes
1995-01-01 Bianco, L; Dell'Olmo, P; Speranza, Mg
Scheduling models for air traffic control in terminal areas
2006-01-01 Bianco, L; Dell'Olmo, P; Giordani, S
Scheduling of flexible flow lines in an automobile assembly plant
1997-01-01 Agnetis, A; Pacifici, A; Rossi, F; Lucertini, M; Nicoletti, S; Nicolo, F; Oriolo, G; Pacciarelli, D; Pesaro, E
Self learning approach in software design
2011-03-01 Saggio, G; Bothe, S
Semantics of Programming Languages (Second Edition)
2011-01-01 Pettorossi, A
Set partitioning approach to the Multiple Depot Vehicle Scheduling Problem
1994-01-01 Bianco, L; Mingozzi, A; Ricciardelli, S
Shape-preserving approximation of spatial data
2004-01-01 Costantini, P; Pelosi, F
A Simulation study on the impact of data replication policies in grid scheduling
2006-01-01 Caramia, M; Giordani, S
Singularities of periodic orbits near invariant curves
2002-01-01 Celletti, A; Falcolini, C
Solid-liquid phase changes with different densities
2008-01-01 Fremond, M; Rocca, E
Soluzione del problema n°1126
2006-01-01 Perfetti, P
Soluzione del problema n°1129
2006-01-01 Perfetti, P
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2006 | Proving properties of constraint logic programs by eliminating existential variables | Pettorossi, A; Proietti, M; Senni, V | Intervento a convegno | |
1-gen-1997 | Reducing nondeterminism while specializing logic programs | Pettorossi, A; Proietti, M; Renault, S | Intervento a convegno | |
1-set-1992 | Relativistic invariance and charge conjugation in quantum field theory | Guido, D; Longo, R | Articolo su rivista | |
1-gen-2012 | Robust adaptive learning control for nonlinear systems with extended matching unstructured uncertainties | Marino, R; Tomei, P; Verrelli, Cm | Articolo su rivista | |
1-gen-2006 | Robust adaptive transient stabilization of a synchronous generator with parameter uncertainty | Marino, R; Shen, T; Verrelli, Cm | Articolo su rivista | |
1-gen-2010 | Robust transient stabilization problem for a synchronous generator in a power network | Verrelli, Cm; Damm, G | Articolo su rivista | |
1-gen-2000 | Rules and strategies for contextual specialization of constraint logic programs | Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
31-dic-1997 | Scheduling flexible flow lines in an automobile assembly plant | Agnetis, A; Pacifici, A; Rossi, F; Lucertini, M; Nicoletti, S; Nicolò, F; Oriolo, G; Pacciarelli, D; Pesaro, E | Articolo su rivista | |
1-gen-1995 | Scheduling independent tasks with multiple modes | Bianco, L; Dell'Olmo, P; Speranza, Mg | Articolo su rivista | |
1-gen-2006 | Scheduling models for air traffic control in terminal areas | Bianco, L; Dell'Olmo, P; Giordani, S | Articolo su rivista | |
1-gen-1997 | Scheduling of flexible flow lines in an automobile assembly plant | Agnetis, A; Pacifici, A; Rossi, F; Lucertini, M; Nicoletti, S; Nicolo, F; Oriolo, G; Pacciarelli, D; Pesaro, E | Articolo su rivista | |
1-mar-2011 | Self learning approach in software design | Saggio, G; Bothe, S | Intervento a convegno | |
1-gen-2011 | Semantics of Programming Languages (Second Edition) | Pettorossi, A | Monografia | |
1-gen-1994 | Set partitioning approach to the Multiple Depot Vehicle Scheduling Problem | Bianco, L; Mingozzi, A; Ricciardelli, S | Articolo su rivista | |
1-gen-2004 | Shape-preserving approximation of spatial data | Costantini, P; Pelosi, F | Articolo su rivista | |
1-gen-2006 | A Simulation study on the impact of data replication policies in grid scheduling | Caramia, M; Giordani, S | Articolo su rivista | |
1-gen-2002 | Singularities of periodic orbits near invariant curves | Celletti, A; Falcolini, C | Articolo su rivista | |
1-gen-2008 | Solid-liquid phase changes with different densities | Fremond, M; Rocca, E | Articolo su rivista | |
1-gen-2006 | Soluzione del problema n°1126 | Perfetti, P | Articolo su rivista | |
1-gen-2006 | Soluzione del problema n°1129 | Perfetti, P | Articolo su rivista |
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