Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 201 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Q65 - Abstract data types; algebraic specification [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Boolean algebra Boolean functions Coalgebra Computer programming Computer vision Databases Dynamical systems Formal logic Functors Game Theory Image processing Mathematics Matrix algebra Semantical models Semantics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0248772 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 201 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Q65 - Abstract data types; algebraic specification [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Boolean algebra Boolean functions Coalgebra Computer programming Computer vision Databases Dynamical systems Formal logic Functors Game Theory Image processing Mathematics Matrix algebra Semantical models Semantics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00248772 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Essential Python for the Physicist / Giovanni Moruzzi |
Autore | Moruzzi, Giovanni |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | x, 302 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 00A79 (77-XX) - Physics [MSC 2020] |
Soggetto non controllato |
Computational physics
Computer modeling Computer programming Numerical methods Python for Physics Scientific computer animation Scientific computer graphics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0226570 |
Moruzzi, Giovanni | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Essential Python for the Physicist / Giovanni Moruzzi |
Autore | Moruzzi, Giovanni |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | x, 302 p. : ill. ; 24 cm |
Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 68-XX - Computer science [MSC 2020] |
Soggetto non controllato |
Computational physics
Computer modeling Computer programming Numerical methods Python for Physics Scientific computer animation Scientific computer graphics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00226570 |
Moruzzi, Giovanni | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to modeling and simulation with MATLAB and Python / Steven I. Gordon ; Brian Guilfoos |
Autore | Gordon, Steven I. |
Pubbl/distr/stampa | Boca Raton, FL, : CRC Press, c2017 |
Descrizione fisica | xviii, 191 p. : ill. ; 24 cm |
Disciplina | 005.13 |
Altri autori (Persone) | Guilfoos, Brian |
Collana | Chapman & Hall/CRC Computational Science Series |
Soggetto non controllato |
MATLAB
PYTHON linguaggio di programmazione Computer programming Matematica per l'ingegneria - elaborazione dati |
ISBN | 9781498773874 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910549297603321 |
Gordon, Steven I. | ||
Boca Raton, FL, : CRC Press, c2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Never Split Tens! : a Biographical Novel of Blackjack Game Theorist Edward O. Thorp. PLUS : Tips and Techniques to Help You Win / Les Golden ; Illustrations by the author |
Autore | Golden, Leslie M. |
Pubbl/distr/stampa | Cham, : Copernicus, 2017 |
Descrizione fisica | xx, 288 p. : ill. ; 24 cm |
Soggetto topico |
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
91Gxx - Actuarial science and mathematical finance [MSC 2020] 91A60 - Probabilistic games; gambling [MSC 2020] |
Soggetto non controllato |
1963 Fall Joint Computer Conference
Allan Wilson Blackjack card game Card Counting Casino operations Computer programming Edward Thorp Four Horsemen of Aberdeen Gambling Methods Gambling Systems Harvey Dubner Julian Braun Kelly criterion Manny Kimmel Monte-Carlo Simulation Probability Theory Sampling without replacement Vivian Thorp |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124031 |
Golden, Leslie M. | ||
Cham, : Copernicus, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Never Split Tens! : a Biographical Novel of Blackjack Game Theorist Edward O. Thorp. PLUS : Tips and Techniques to Help You Win / Les Golden ; Illustrations by the author |
Autore | Golden, Leslie M. |
Pubbl/distr/stampa | Cham, : Copernicus, 2017 |
Descrizione fisica | xx, 288 p. : ill. ; 24 cm |
Soggetto topico |
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
91A60 - Probabilistic games; gambling [MSC 2020] 91Gxx - Actuarial science and mathematical finance [MSC 2020] |
Soggetto non controllato |
1963 Fall Joint Computer Conference
Allan Wilson Blackjack card game Card Counting Casino operations Computer programming Edward Thorp Four Horsemen of Aberdeen Gambling Methods Gambling Systems Harvey Dubner Julian Braun Kelly criterion Manny Kimmel Monte-Carlo Simulation Probability Theory Sampling without replacement Vivian Thorp |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00124031 |
Golden, Leslie M. | ||
Cham, : Copernicus, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Part 1. / Meikang Qiu editor |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxvii, 734 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Computer Networks Computer Science Computer hardware Computer programming Computer systems Correlation analysis Distributed computer systems Distributed systems Embedded Systems Microprocessor chips Network protocols Parallel algorithms Parallel architectures Parallel processing systems Processors Signal processing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISOB-VAN0248656 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|
Part 1. / Meikang Qiu editor |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxvii, 734 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Computer Networks Computer Science Computer hardware Computer programming Computer systems Correlation analysis Distributed computer systems Distributed systems Embedded Systems Microprocessor chips Network protocols Parallel algorithms Parallel architectures Parallel processing systems Processors Signal processing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0248656 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Part 1. / Meikang Qiu editor |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxvii, 734 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Computer Networks Computer Science Computer hardware Computer programming Computer systems Correlation analysis Distributed computer systems Distributed systems Embedded Systems Microprocessor chips Network protocols Parallel algorithms Parallel architectures Parallel processing systems Processors Signal processing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00248656 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|