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.
Categorical logic and type theory [e-book] / Bart Jacobs
| Categorical logic and type theory [e-book] / Bart Jacobs |
| Autore | Jacobs, Bart |
| Pubbl/distr/stampa | Amsterdam ; New York : Elsevier Science, c1999 |
| Descrizione fisica | xviii, 760 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics ; 141 |
| Soggetto topico |
Type theory
Categories (Mathematics) |
| ISBN |
9780444501707
0444501703 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003272389707536 |
Jacobs, Bart
|
||
| Amsterdam ; New York : Elsevier Science, c1999 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Chromatographia
| Chromatographia |
| Pubbl/distr/stampa | Braunschweig : Elsevier Science |
| Disciplina | 543 |
| ISSN | 0009-5893 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | mul |
| Note periodicità | Mensile |
| Record Nr. | UNINA-990008939480403321 |
| Braunschweig : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communist and Post-Communist Studies
| Communist and Post-Communist Studies |
| Pubbl/distr/stampa | Oxford : Elsevier Science |
| Descrizione fisica | Trimestrale |
| Soggetto topico | SCIENZE POLITICHE -- PERIODICI |
| ISSN | 0967-067X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIOR-UON0238830 |
| Oxford : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. L'Orientale | ||
| ||
Composite structures
| Composite structures |
| Pubbl/distr/stampa | Amsterdam : Elsevier Science |
| Disciplina | 624.18 |
| ISSN | 0263-8223 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Note periodicità | Mensile |
| Record Nr. | UNINA-990008943350403321 |
| Amsterdam : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Comprehensive carbanion chemistry / edited by E. Buncel, T. Durst
| Comprehensive carbanion chemistry / edited by E. Buncel, T. Durst |
| Pubbl/distr/stampa | Amsterdam : Elsevier Science, 1980-1987 |
| Descrizione fisica | 3 v. : ill. ; 25 cm |
| Disciplina | 547.1 |
| Altri autori (Persone) |
Buncel, E.
Durst, Tony |
| Collana | Studies in organic chemistry ; 5 |
| Soggetto topico | Carbanions |
| ISBN | 0444419136 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Pt. A: Structure and reactivity
Pt. B: Selectivity in carbon-carbon bond forming reactions Pt. C: Ground and excited state reactivity |
| Record Nr. | UNISALENTO-991003450869707536 |
| Amsterdam : Elsevier Science, 1980-1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Comprehensive organometallic chemistry II : a review of the literature 1982-1994 / editors-in-chief Edward W. Abel ... [et al.]
| Comprehensive organometallic chemistry II : a review of the literature 1982-1994 / editors-in-chief Edward W. Abel ... [et al.] |
| Pubbl/distr/stampa | New York : Elsevier Science, copyr. 1995 |
| Descrizione fisica | 14 v. : ill. ; 28 cm |
| Disciplina | 547.05 |
| Soggetto non controllato |
chimica organica
composti organometallici |
| ISBN | 0-08-040608-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000186630203316 |
| New York : Elsevier Science, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational methods and experimental measurements V / editors A. Sousa, C.A. Brebbia, G.M. Carlomagno
| Computational methods and experimental measurements V / editors A. Sousa, C.A. Brebbia, G.M. Carlomagno |
| Autore | International Conference on Computational Methods and Experimental Measurements : 5. : <1991 |
| Pubbl/distr/stampa | New York : Elsevier Science, 1991 |
| Soggetto non controllato |
Scienza delle Costruzioni
Teoria delle Strutture Calcolo a Rottura Limit Design |
| ISBN | 185166680X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000632050403321 |
|
International Conference on Computational Methods and Experimental Measurements : 5. : <1991
|
||
| New York : Elsevier Science, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational statistics and data analysis [risorsa elettronica]
| Computational statistics and data analysis [risorsa elettronica] |
| Pubbl/distr/stampa | Amsterdam : Elsevier Science, [1995]- |
| Soggetto non controllato | Statistica computazionale |
| ISSN | 1872-7352 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIPARTHENOPE-000009091 |
| Amsterdam : Elsevier Science, [1995]- | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Computational statistics and data analysis : the official journal of the International Association Statistical Computing (IASC)
| Computational statistics and data analysis : the official journal of the International Association Statistical Computing (IASC) |
| Pubbl/distr/stampa | Amsterdam : Elsevier Science, 1983- |
| Descrizione fisica | fascicoli |
| Soggetto non controllato | Statistica computazionale |
| ISSN | 0167-9473 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Note periodicità | Mensile |
| Record Nr. | UNIPARTHENOPE-000000448 |
| Amsterdam : Elsevier Science, 1983- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Computer methods in applied mechanics and engineering
| Computer methods in applied mechanics and engineering |
| Pubbl/distr/stampa | Amsterdam : Elsevier Science, 1972- |
| Descrizione fisica | fascicoli |
| Soggetto non controllato | Modelli matematici |
| ISSN | 0045-7825 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Note periodicità | Varia |
| Record Nr. | UNIPARTHENOPE-000002722 |
| Amsterdam : Elsevier Science, 1972- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Pubbl/distr/stampa
-
Elsevier Science
(121)
- Syngress (3)
- Morgan Kaufmann (2)
- Elsevier North Holland (1)
- North-Holland (1)