Artificial Intelligence and Symbolic Computation [Risorsa elettronica] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540397304 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009236920403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated Deduction in Geometry [Risorsa elettronica] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540313632 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009245830403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed MIMO and Cell-Free Mobile Communication / Xiaohu You, Dongming Wang, Jiangzhou Wang |
Autore | Xiaohu, You |
Pubbl/distr/stampa | Singapore, : Springer, 2021 |
Descrizione fisica | XIII, 220 p. : ill. ; 24 cm |
Altri autori (Persone) |
Wang, Dongming
Wang, Jiangzhou |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0247549 |
Xiaohu, You | ||
Singapore, : Springer, 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Distributed MIMO and Cell-Free Mobile Communication / Xiaohu You, Dongming Wang, Jiangzhou Wang |
Autore | Xiaohu, You |
Pubbl/distr/stampa | Singapore, : Springer, 2021 |
Descrizione fisica | XIII, 220 p. : ill. ; 24 cm |
Altri autori (Persone) |
Wang, Dongming
Wang, Jiangzhou |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00247549 |
Xiaohu, You | ||
Singapore, : Springer, 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematics mechanization and applications [e-book] / edited by Xiao-Shan Gao and Dongming Wang |
Pubbl/distr/stampa | San Diego : Academic Press, c2000 |
Descrizione fisica | xix, 551 p. : ill. ; 26 cm |
Disciplina | 512.94 |
Altri autori (Persone) |
Gao, Xiao-Shan
Wang, Dongming |
Soggetto topico |
Equations - Numerical solutions - Data processing
Automatic theorem proving |
ISBN |
9780127347608
0127347607 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003278409707536 |
San Diego : Academic Press, c2000 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematics mechanization and applications / edited by Xiao-Shan Gao and Dongming Wang |
Pubbl/distr/stampa | San Diego (etc.), : Academic press, 2000 |
Descrizione fisica | XIX, 551 p. : ill. ; 25 cm |
Disciplina | 519 |
Soggetto topico | Matematica applicata |
ISBN | 0127347607 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAS-RMS0118847 |
San Diego (etc.), : Academic press, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Cassino | ||
|