Kapak Resmi

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml /

Diğer sürümleri göster (2)

This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing...

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Wang, Liang (Yazar), Zhao, Jianxin (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Berkeley, CA : Apress : Imprint: Apress, 2023.
Edisyon:	1st ed. 2023.
Konular:	Programming languages (Electronic computers). Computer science. Artificial intelligence > Data processing. Programming Language. Computer Science. Data Science. Models of Computation.
Online Erişim:	Link to Metadata
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml
Yazar:: Wang, Liang
Baskı/Yayın Bilgisi: (2023)

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml
Yazar:: Wang, Liang
Baskı/Yayın Bilgisi: (2023)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

Introduction to Scientific Programming with Python
Yazar:: Sundnes, Joakim
Baskı/Yayın Bilgisi: (2020)

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Baskı/Yayın Bilgisi: (2019)

Pro TBB C++ Parallel Programming with Threading Building Blocks /
Yazar:: Voss, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Pro TBB C++ Parallel Programming with Threading Building Blocks
Yazar:: Voss, Michael
Baskı/Yayın Bilgisi: (2019)

Pro TBB C++ Parallel Programming with Threading Building Blocks
Yazar:: Voss, Michael
Baskı/Yayın Bilgisi: (2019)

Security of Ubiquitous Computing Systems Selected Topics /
Baskı/Yayın Bilgisi: (2021)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Baskı/Yayın Bilgisi: (2019)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Baskı/Yayın Bilgisi: (2019)

Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach /
Baskı/Yayın Bilgisi: (2022)

Scientific Programming and Computer Architecture
Yazar:: Viswanath, Divakar
Baskı/Yayın Bilgisi: (2017)

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Baskı/Yayın Bilgisi: (2021)

Objective Information Theory
Yazar:: Xu, Jianfeng, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Representation Learning for Natural Language Processing
Yazar:: Liu, Zhiyuan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Representation Learning for Natural Language Processing
Baskı/Yayın Bilgisi: (2023)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Baskı/Yayın Bilgisi: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Baskı/Yayın Bilgisi: (2021)

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Baskı/Yayın Bilgisi: (2022)

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Baskı/Yayın Bilgisi: (2020)

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Baskı/Yayın Bilgisi: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I /
Baskı/Yayın Bilgisi: (2019)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Baskı/Yayın Bilgisi: (2018)

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Baskı/Yayın Bilgisi: (2018)

From Opinion Mining to Financial Argument Mining
Yazar:: Chen, Chung-Chi, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Baskı/Yayın Bilgisi: (2019)

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Baskı/Yayın Bilgisi: (2021)

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Baskı/Yayın Bilgisi: (2023)

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Baskı/Yayın Bilgisi: (2023)

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs
Baskı/Yayın Bilgisi: (2019)

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs
Baskı/Yayın Bilgisi: (2019)

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Baskı/Yayın Bilgisi: (2018)

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Baskı/Yayın Bilgisi: (2018)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)