Ditapis dengan

  • Tahun Penerbitan
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 5 dari pencarian Anda melalui kata kunci: subject="Computer software"
cover
Tools and algorithms for the construction and analysis of systems :26th Inter…
Komentar Bagikan
Biere, ArminParker, David

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …

Edisi
-
ISBN/ISSN
9783030452377
Deskripsi Fisik
xxiii, 425p. : ill.
Judul Seri
-
No. Panggil
004.21 TOO t
cover
Pro TBB :C++ parallel programming with threading building blocks
Komentar Bagikan
Voss, MichaelReinders, JamesAsenjo, Rafael

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practice…

Edisi
-
ISBN/ISSN
9781484243978
Deskripsi Fisik
lvi, 754p. : ill.
Judul Seri
-
No. Panggil
005.13 VOS p
cover
Programming for computations - Python :a gentle introduction to numerical sim…
Komentar Bagikan
Linge, SveinLangtangen, Hans Petter

This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapters, thus expanding the introduction to programm…

Edisi
-
ISBN/ISSN
9783030168773
Deskripsi Fisik
xxiii, 323p.
Judul Seri
-
No. Panggil
004.0151 LIN p
cover
Programming languages and systems :29th European Symposium on Programming, ES…
Komentar Bagikan
Müller, Peter

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Edisi
-
ISBN/ISSN
9783030449148
Deskripsi Fisik
xv, 772p. : ill.
Judul Seri
-
No. Panggil
005.1 PRO p
cover
Introduction to scientific programming with Python
Komentar Bagikan
Sundnes, Joakim

This open access book offers an initial introduction to programming for scientific and computational applications using the Python programming language. The presentation style is compact and example-based, making it suitable for students and researchers with little or no prior experience in programming. The book uses relevant examples from mathematics and the natural sciences to present prog…

Edisi
-
ISBN/ISSN
9783030503567
Deskripsi Fisik
xiv, 148p. : ill.
Judul Seri
-
No. Panggil
005.133 SUN i