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.
Microbiological testing in food safety management / ICMSF
| Microbiological testing in food safety management / ICMSF |
| Autore | International Commission on Microbiological Specifications for Foods |
| Pubbl/distr/stampa | New York : Kluwer Academic / Plenum Publishers, c2002 |
| Descrizione fisica | XIII, 362 p. : ill. ; 27 cm |
| Disciplina | 664.07 |
| Collana | Microorganism in food |
| Soggetto non controllato | Alimenti - Microbiologia |
| ISBN | 0-306-47262-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008488760403321 |
International Commission on Microbiological Specifications for Foods
|
||
| New York : Kluwer Academic / Plenum Publishers, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-carrier digital communications : theory and applications of OFDM / Ahmad R. S. Bahai and Burton R. Saltzberg
| Multi-carrier digital communications : theory and applications of OFDM / Ahmad R. S. Bahai and Burton R. Saltzberg |
| Autore | Bahai, Ahmad R. S. |
| Pubbl/distr/stampa | New York : Kluwer Academic / Plenum Publishers, c1999 |
| Descrizione fisica | XI, 220 p. : ill. ; 24 cm |
| Disciplina | 621.382'1 |
| Altri autori (Persone) | Saltzberg, Burton R. |
| Collana | Information technology: transmission, processing, and storage |
| Soggetto non controllato | Sistema di comunicazione digitale |
| ISBN | 0-306-46296-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008010620403321 |
|
Bahai, Ahmad R. S.
|
||
| New York : Kluwer Academic / Plenum Publishers, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Oxygen transport to tissue XXIV / Jeffrey F. Dunn, Harold M. Swartz (eds.)
| Oxygen transport to tissue XXIV / Jeffrey F. Dunn, Harold M. Swartz (eds.) |
| Autore | International Society on Oxygen Transport to Tissue (Meeting) : 27th. : 1999 |
| Pubbl/distr/stampa | New York : Kluwer Academic / Plenum Publishers, c2003 |
| Descrizione fisica | xxi, 750 p. : ill. (col.) ; 24 cm |
| Disciplina | 572.47 |
| Collana | Advances in experimental medicine and biology |
| Soggetto non controllato |
Respirazione cellulare
Respirazione tissulare Ossigeno - trasporto fisiologico |
| ISBN | 0-306-47774-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003987920403321 |
|
International Society on Oxygen Transport to Tissue (Meeting) : 27th. : 1999
|
||
| New York : Kluwer Academic / Plenum Publishers, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pharmaceutical research
| Pharmaceutical research |
| Pubbl/distr/stampa | Stuttgart - New York, : Kluwer Academic / Plenum Publishers |
| Disciplina | 615 |
| ISSN | 0724-8741 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Note periodicità | Mensile |
| Record Nr. | UNINA-990009022740403321 |
| Stuttgart - New York, : Kluwer Academic / Plenum Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A short introduction to intuitionistic logic [[electronic resource] /] / Grigori Mints
| A short introduction to intuitionistic logic [[electronic resource] /] / Grigori Mints |
| Autore | Mint͡s G. E |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | New York, : Kluwer Academic / Plenum Publishers, 2000 |
| Descrizione fisica | 1 online resource (142 p.) |
| Disciplina | 511/.22 |
| Collana | University series in mathematics |
| Soggetto topico | Intuitionistic mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-20550-4
9786610205509 0-306-46975-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intuitionistic Predicate Logic -- Natural Deduction System NJ -- Kripke Models for Predicate Logic -- Systems LJm, LJ -- Proof-Search in Predicate Logic -- Preliminaries -- Natural Deduction for Propositional Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic -- Computations with Deductions -- Coherence Theorem -- Kripke Models -- Gentzen-type Propositional System LJpm -- Topological Completeness -- Proof-search -- System LJp -- Interpolation Theorem. |
| Record Nr. | UNINA-9910455260103321 |
|
Mint͡s G. E
|
||
| New York, : Kluwer Academic / Plenum Publishers, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A short introduction to intuitionistic logic [[electronic resource] /] / Grigori Mints
| A short introduction to intuitionistic logic [[electronic resource] /] / Grigori Mints |
| Autore | Mint͡s G. E |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | New York, : Kluwer Academic / Plenum Publishers, 2000 |
| Descrizione fisica | 1 online resource (142 p.) |
| Disciplina | 511/.22 |
| Collana | University series in mathematics |
| Soggetto topico | Intuitionistic mathematics |
| ISBN |
1-280-20550-4
9786610205509 0-306-46975-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intuitionistic Predicate Logic -- Natural Deduction System NJ -- Kripke Models for Predicate Logic -- Systems LJm, LJ -- Proof-Search in Predicate Logic -- Preliminaries -- Natural Deduction for Propositional Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic -- Computations with Deductions -- Coherence Theorem -- Kripke Models -- Gentzen-type Propositional System LJpm -- Topological Completeness -- Proof-search -- System LJp -- Interpolation Theorem. |
| Record Nr. | UNINA-9910779963503321 |
|
Mint͡s G. E
|
||
| New York, : Kluwer Academic / Plenum Publishers, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
