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.
Mathematical logic : foundations for information science / Wei Li
| Mathematical logic : foundations for information science / Wei Li |
| Autore | Li, Wei |
| Edizione | [2. revised ed] |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XIV, 301 p. : ill. ; 24 cm |
| Soggetto topico |
83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]
58J45 - Hyperbolic equations on manifolds [MSC 2020] 58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 53C80 - Applications of global differential geometry to the sciences [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
| ISBN | 8-3-0348-0861-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0103142 |
Li, Wei
|
||
| Basel, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical logic : foundations for information science / Wei Li
| Mathematical logic : foundations for information science / Wei Li |
| Autore | Li, Wei |
| Edizione | [2. revised ed] |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XIV, 301 p. : ill. ; 24 cm |
| Soggetto topico |
83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020]
58J45 - Hyperbolic equations on manifolds [MSC 2020] 58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 53C80 - Applications of global differential geometry to the sciences [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
| Soggetto non controllato |
First-order language
Gödel theorem Inductive inference Language environment Revision calculus Version sequence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103142 |
|
Li, Wei
|
||
| Basel, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical logic : foundations for information science / Wei Li
| Mathematical logic : foundations for information science / Wei Li |
| Autore | Li, Wei |
| Edizione | [2. revised ed] |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XIV, 301 p. : ill. ; 24 cm |
| Soggetto topico |
53C80 - Applications of global differential geometry to the sciences [MSC 2020]
58J05 - Elliptic equations on manifolds, general theory [MSC 2020] 58J35 - Heat and other parabolic equation methods for PDEs on manifolds [MSC 2020] 58J45 - Hyperbolic equations on manifolds [MSC 2020] 83C05 - Einstein's equations (general structure, canonical formalism, Cauchy problems) [MSC 2020] 83C35 - Gravitational waves [MSC 2020] |
| Soggetto non controllato |
First-order language
Gödel incompleteness theorem Inductive inference Language environment Revision calculus Version sequence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00103142 |
|
Li, Wei
|
||
| Basel, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors]
| Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors] |
| Pubbl/distr/stampa | Singapore, : Springer, 2019 |
| Descrizione fisica | viii, 107 p. : ill. ; 24 cm |
| Soggetto topico | 00A65 - Mathematics and music [MSC 2020] |
| Soggetto non controllato |
Audio Information Security
Audio signal processing Auditory Psychology Compositions Computer audition Music production Sound design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0127373 |
| Singapore, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors]
| Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors] |
| Pubbl/distr/stampa | Singapore, : Springer, 2019 |
| Descrizione fisica | viii, 107 p. : ill. ; 24 cm |
| Soggetto topico | 00A65 - Mathematics and music [MSC 2020] |
| Soggetto non controllato |
Audio Information Security
Audio signal processing Auditory Psychology Compositions Computer audition Music production Sound design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00127373 |
| Singapore, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors]
| Proceedings of the 6. Conference on Sound and Music Technology (CSMT) : Revised Selected Papers / Wei Li … [et al.] editors] |
| Edizione | [Singapore : Springer, 2019] |
| Pubbl/distr/stampa | viii, 107 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico | 00A65 - Mathematics and music [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0127373 |
| viii, 107 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Stereoselective Formation of Amines / editors Wei Li, Xumu Zhang
| Stereoselective Formation of Amines / editors Wei Li, Xumu Zhang |
| Pubbl/distr/stampa | Berlino, : Springer, 2014 |
| Descrizione fisica | VII, 286 p. : ill. ; 24 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0258239 |
| Berlino, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Stereoselective Formation of Amines / editors Wei Li, Xumu Zhang
| Stereoselective Formation of Amines / editors Wei Li, Xumu Zhang |
| Pubbl/distr/stampa | Berlino, : Springer, 2014 |
| Descrizione fisica | VII, 286 p. : ill. ; 24 cm |
| Disciplina |
660(Ingegneria chimica e tecnologie connesse)
547(Chimica organica) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00258239 |
| Berlino, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Wireless Algorithms, Systems, and Applications [Risorsa elettronica] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati
| Wireless Algorithms, Systems, and Applications [Risorsa elettronica] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540371908 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009248600403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||