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.
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
| 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 | ||
| ||
Essential Python for the Physicist / Giovanni Moruzzi
| 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 | ||
| ||
Introduction to modeling and simulation with MATLAB and Python / Steven I. Gordon ; Brian Guilfoos
| 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
| 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 | ||
| ||
Part 1. / Meikang Qiu editor
| 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
| 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 | ||
| ||
Pro TBB [[electronic resource] ] : C++ Parallel Programming with Threading Building Blocks / / by Michael Voss, Rafael Asenjo, James Reinders
| Pro TBB [[electronic resource] ] : C++ Parallel Programming with Threading Building Blocks / / by Michael Voss, Rafael Asenjo, James Reinders |
| Autore | Voss Michael |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berkeley, CA, : Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (LXVI, 754 p. 614 illus., 460 illus. in color.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Algorithms Data structures (Computer science) Programming Languages, Compilers, Interpreters Programming Techniques Algorithm Analysis and Problem Complexity Data Structures |
| Soggetto non controllato |
Computer science
Programming languages (Electronic computers) Computer programming Algorithms Data structures (Computer science) |
| ISBN | 1-4842-4398-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I -- Chapter 1: Jumping Right In – “Hello, TBB!” -- Chapter 2: Generic Parallel Algorithms -- Chapter 3: Flow Graphs -- Chapter 4: TBB and the C++ Parallel Standard Template Library -- Chapter 5: Synchronization: why and how to avoid it -- Chapter 6: Data Structures for Concurrency -- Chapter 7: Scalable Memory Allocation -- Chapter 8: Mapping Parallel Patterns to TBB -- Part II -- Chapter 9: The Pillars of Composability -- Chapter 10: Using tasks to create your own algorithms -- Chapter 11: Controlling the Number of Threads Used for Execution -- Chapter 12: Using Work Isolation for Correctness and Performance -- Chapter 13: Creating Thread-to-core and Task-to-thread Affinity -- Chapter 14: Using Task Priorities -- Chapter 15: Cancellation and Exception Handling -- Chapter 16: Tuning TBB Algorithms: Granularity, Locality, Parallelism and Determinism -- Chapter 17: Flow Graphs: Beyond the Basics -- Chapter 18: Beef up Flow Graphs with Async Nodes -- Chapter 19: Flow Graphs on steroids: OpenCL Nodes -- Chapter 20: TBB on NUMA architectures -- Appendix A: History and Inspiration -- Appendix B: TBB Précis -- Glossary. . |
| Record Nr. | UNINA-9910338003903321 |
|
Voss Michael
|
||
| Berkeley, CA, : Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||