Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algorithmics : theory and practice / Gilles Brassard and Paul Bratley
| Algorithmics : theory and practice / Gilles Brassard and Paul Bratley |
| Autore | Brassard, Gilles |
| Pubbl/distr/stampa | London : Prentice-Hall, copyr. 1988 |
| Descrizione fisica | XVI, 361 p. : ill. ; 24 cm |
| Disciplina | 5118 |
| Soggetto non controllato | algoritmi |
| ISBN | 0-13-023169-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000242610203316 |
Brassard, Gilles
|
||
| London : Prentice-Hall, copyr. 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms and order / edited by Ivan Rival
| Algorithms and order / edited by Ivan Rival |
| Pubbl/distr/stampa | Dordrecht [etc.] : Kluwer Academic Publishers, copyr. 1989 |
| Descrizione fisica | X, 498 p. : ill. ; 24 cm |
| Disciplina | 5118 |
| Collana | NATO ASI. Serie C, Mathematical and physical sciences |
| Soggetto non controllato |
Algoritmi - Congressi - 1987
Congressi - Ottawa - 1987 |
| ISBN | 0-7923-0007-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000122620203316 |
| Dordrecht [etc.] : Kluwer Academic Publishers, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Around classification theory of models / Saharon Shelah
| Around classification theory of models / Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1986 |
| Descrizione fisica | V, 279 p. : ill. ; 25 cm |
| Disciplina | 5118 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato | teoria dei modelli |
| ISBN | 3-540-16448-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000117770203316 |
|
Shelah, Saharon
|
||
| Berlin [etc.] : Springer Verlag, copyr. 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Around classification theory of models / Saharon Shelah
| Around classification theory of models / Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1986 |
| Descrizione fisica | V, 279 p. : ill. ; 25 cm |
| Disciplina | 5118 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato | teoria dei modelli |
| ISBN | 3-540-16448-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000215020203316 |
|
Shelah, Saharon
|
||
| Berlin [etc.] : Springer Verlag, copyr. 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Combinatorial heuristic algorithmswith FORTRAN / H. T. Lau
| Combinatorial heuristic algorithmswith FORTRAN / H. T. Lau |
| Autore | Lau, Hang Tong |
| Pubbl/distr/stampa | Beriln [etc.] : Springer-Verlag, copyr. 1986 |
| Descrizione fisica | VII, 126 p. ; 25 cm |
| Disciplina | 5118 |
| Collana | Lecture notes in economics and mathematical systems |
| Soggetto non controllato |
algoritmi
analisi combinatoria - elaborazione dei dati linguaggio fortran |
| ISBN | 3-540-17161-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000212190203316 |
|
Lau, Hang Tong
|
||
| Beriln [etc.] : Springer-Verlag, copyr. 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Greedoids / Bernhard Korte, László Lovász, Rainer Schrader
| Greedoids / Bernhard Korte, László Lovász, Rainer Schrader |
| Autore | Korte, Bernhard |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1991 |
| Descrizione fisica | VIII, 211 p. : ill. ; 25 cm |
| Disciplina | 5118 |
| Soggetto non controllato |
algoritmi
analisi combinatoria logica matematica |
| ISBN | 3-540-18190-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000253920203316 |
|
Korte, Bernhard
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduzione alla teoria dei modelli a alla metamatematica dell'algebra / Abraham Robinson ; [traduzione di Silvio Bozzi]
| Introduzione alla teoria dei modelli a alla metamatematica dell'algebra / Abraham Robinson ; [traduzione di Silvio Bozzi] |
| Autore | Robinson, Abraham |
| Pubbl/distr/stampa | Torino : Boringhieri, 1974 |
| Descrizione fisica | 334 p. : ill. ; 21 cm |
| Disciplina | 5118 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto non controllato |
metamatematica
teoria dei modelli |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000130190203316 |
|
Robinson, Abraham
|
||
| Torino : Boringhieri, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knapsack problems : algorithms and computer implementations / Silvano Martello and Paolo Toth
| Knapsack problems : algorithms and computer implementations / Silvano Martello and Paolo Toth |
| Autore | Martello, Silvano |
| Pubbl/distr/stampa | Chichester [etc.] : John Wiley & Sons, copyr. 1990 |
| Descrizione fisica | XII, 296 p. : ill. ; 23 cm + 1 floppy disk |
| Disciplina | 5118 |
| Collana | Wiley-Interscience series in discrete mathematics and optimization |
| Soggetto non controllato |
algoritmi
complessita' computazionale ottimizzazione matematica programmazione lineare |
| ISBN | 0-471-92420-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000239610203316 |
|
Martello, Silvano
|
||
| Chichester [etc.] : John Wiley & Sons, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical modelling of industrial processes : lecture given at the 3rd session of the Centro internazionale matematico estivo : held in Bari, Italy, Sept. 24-29, 1990 / S. Busenberg, B. Forte, H. K. Kuiken
| Mathematical modelling of industrial processes : lecture given at the 3rd session of the Centro internazionale matematico estivo : held in Bari, Italy, Sept. 24-29, 1990 / S. Busenberg, B. Forte, H. K. Kuiken |
| Autore | Busenberg, Stavros |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | 162 p. : ill. , 25 cm |
| Disciplina | 5118 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
congressi - bari - 1990
modelli matematici - applicazioni nell'industria - congressi - 1990 |
| ISBN | 3-540-55595-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000212710203316 |
|
Busenberg, Stavros
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On-line algorithms : proceedings of a DIMACS workshop, february 11-13, 1991 / Lyle A. McGeoch, Daniel D. Sleatoreditors
| On-line algorithms : proceedings of a DIMACS workshop, february 11-13, 1991 / Lyle A. McGeoch, Daniel D. Sleatoreditors |
| Pubbl/distr/stampa | Baltimore : ACM, copyr. 1992 |
| Descrizione fisica | XII, 179 p. : ill. ; 25 cm |
| Disciplina | 5118 |
| Collana | DIMACS series in discrete mathematics and theoretical computer science |
| Soggetto non controllato |
algoritmi - congressi - 1991
congressi - new brunswick (n.j.) - 1991 elaboratori elettronici - sistemi in linea - congressi - 1991 elaborazione dei dati - congressi - 1991 |
| ISBN | 0-89791-465-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000188400203316 |
| Baltimore : ACM, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
