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.
A proof theory for general unification / Wagner Snyder
| A proof theory for general unification / Wagner Snyder |
| Autore | Snyder, Wagner |
| Pubbl/distr/stampa | Boston [etc.] : Birkauser, 1991 |
| Disciplina | 511.3 |
| Collana | Progress in computer science |
| Soggetto non controllato | logica matematica |
| ISBN | 0-8176-3593-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000125810203316 |
Snyder, Wagner
|
||
| Boston [etc.] : Birkauser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Dynamic Games and Applications / T. Basar ; A. Haurie editors
| Advances in Dynamic Games and Applications / T. Basar ; A. Haurie editors |
| Autore | Basar, Tamer <1946- > |
| Pubbl/distr/stampa | Boston : Birkauser, 1994 |
| Descrizione fisica | VIII, 418 p. ; 24 cm |
| Disciplina | 519.3 |
| Altri autori (Persone) |
Haurie |
| Collana | Annals of the International Society of Dynamic Games |
| ISBN | 0-8176-3691-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990007869660403321 |
|
Basar, Tamer <1946- >
|
||
| Boston : Birkauser, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Apoptosis and inflammation / James D. Winkler editor
| Apoptosis and inflammation / James D. Winkler editor |
| Pubbl/distr/stampa | Base, : Birkauser, z1999 |
| Descrizione fisica | IX, 244 p. : ill. ; c1999 |
| Collana | Progress in inflammation research |
| ISBN | 9789034897525 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910639501103321 |
| Base, : Birkauser, z1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive methods for the practical treatment of integral equations : proceedings of the conference at the mathematisches Forschungsinstitut, Oberwolfach, June 24-30, 1984 / edited by G.G. Hammerlin and K.-H. Hoffmann
| Constructive methods for the practical treatment of integral equations : proceedings of the conference at the mathematisches Forschungsinstitut, Oberwolfach, June 24-30, 1984 / edited by G.G. Hammerlin and K.-H. Hoffmann |
| Autore | Conference at the Matematisches Forschungsinstitut : 1984 |
| Pubbl/distr/stampa | Basel, : Birkauser, 1985 |
| Descrizione fisica | 284 p. ; 24 cm |
| Disciplina | 515.45 |
| Collana | International series of numerical mathematics |
| ISBN | 3-7643-1685-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000843080403321 |
|
Conference at the Matematisches Forschungsinstitut : 1984
|
||
| Basel, : Birkauser, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hierarchical decision making in stochastic manufacturing systems / S.P. Sethi, Q. Zhang
| Hierarchical decision making in stochastic manufacturing systems / S.P. Sethi, Q. Zhang |
| Autore | Sethi, Suresh |
| Pubbl/distr/stampa | Boston : Birkauser, 1994 |
| Descrizione fisica | XVI, 419 p. : 24 cm |
| Disciplina | 658.5 |
| Altri autori (Persone) | Zhang, Qing |
| Collana | Systems & Control: Foundations & Applications |
| ISBN | 0-8176-3735-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008570940403321 |
|
Sethi, Suresh
|
||
| Boston : Birkauser, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic of domains / Guo-Qiang Zhang
| Logic of domains / Guo-Qiang Zhang |
| Autore | Zhang, Guo-Qiang |
| Pubbl/distr/stampa | Bristol [etc.] : Birkauser, 1991 |
| Disciplina | 005.13 |
| Soggetto non controllato |
linguaggi di programmazione semantica
logica matematica logica simbolica |
| ISBN | 3-7643-3570-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000160650203316 |
|
Zhang, Guo-Qiang
|
||
| Bristol [etc.] : Birkauser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics for the analysis of the algoritms / Daniel H. Greene, Donald E. Knuth
| Mathematics for the analysis of the algoritms / Daniel H. Greene, Donald E. Knuth |
| Autore | Greene, Daniel H. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Boston [etc.] : Birkauser, 1982 |
| Descrizione fisica | 123 p. ; 23 cm |
| Disciplina | 5194 |
| Collana | Progress in computer science |
| Soggetto non controllato |
algoritmi
elaboratori elettronici digitali - progr |
| ISBN | 3-7643-3012-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000125790203316 |
|
Greene, Daniel H.
|
||
| Boston [etc.] : Birkauser, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics for the analysis of the algoritms / Daniel H. Greene, Donald E. Knuth
| Mathematics for the analysis of the algoritms / Daniel H. Greene, Donald E. Knuth |
| Autore | Greene, Daniel H. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Boston [etc.] : Birkauser, 1982 |
| Descrizione fisica | 123 p. ; 23 cm |
| Disciplina | 5194 |
| Collana | Progress in computer science |
| Soggetto non controllato |
algoritmi
elaboratori elettronici digitali - programmazione |
| ISBN | 3-7643-3012-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000229500203316 |
|
Greene, Daniel H.
|
||
| Boston [etc.] : Birkauser, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Medicinal chemistry research : an international journal for rapid communications on design and mechanisms of action of biologically active agents
| Medicinal chemistry research : an international journal for rapid communications on design and mechanisms of action of biologically active agents |
| Pubbl/distr/stampa | Cambridge : Birkauser |
| Descrizione fisica | v. : ill. |
| Disciplina | 610 |
| Soggetto topico | Medicina - Periodici |
| ISSN | 1054-2523 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | und |
| Note periodicità | Pubbl. 9 n. l'anno |
| Record Nr. | UNISA-990001030430203316 |
| Cambridge : Birkauser | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Optimal stopping and free-boundary problems / Goran Peskir, Albert Shiryaev
| Optimal stopping and free-boundary problems / Goran Peskir, Albert Shiryaev |
| Autore | Peskir, Goran |
| Pubbl/distr/stampa | Basel : Birkauser, c2006 |
| Descrizione fisica | xxii, 500 p. ; 24 cm |
| Disciplina | 519.5 |
| Altri autori (Persone) | Shiryaev, Albert |
| Collana | Lectures in mathematics |
| Soggetto non controllato |
Matematica statistica
Equazioni integrali non lineari |
| ISBN | 978-3-7643-2419-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008729670403321 |
|
Peskir, Goran
|
||
| Basel : Birkauser, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
