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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|