Ditapis dengan
Programming languages and systems
This volume contains the papers presented at the 28th European Symposium on Programming (ESOP 2019) held April 8–11, 2019, in Prague, Czech Republic. ESOP is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. The 28 papers in t…
- Edisi
- -
- ISBN/ISSN
- 9783030171841
- Deskripsi Fisik
- XV, 816 p.
- Judul Seri
- -
- No. Panggil
- 005.1 PRO p
Android application development for the Intel® platform
The number of Android devices running on Intel processors has increased since Intel and Google announced, in late 2011, that they would be working together to optimize future versions of Android for Intel Atom processors. Today, Intel processors can be found in Android smartphones and tablets made by some of the top manufacturers of Android devices, such as Samsung, Lenovo, and Asus. The inc…
- Edisi
- -
- ISBN/ISSN
- 9781484201008
- Deskripsi Fisik
- xx, 520p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 COH a
Programming for computations - Python :a gentle introduction to numerical sim…
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. " ill.
- Judul Seri
- -
- No. Panggil
- 004.0151 LIN p
Introduction to scientific programming with Python
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
Programming languages and systems :30th European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in t…
- Edisi
- -
- ISBN/ISSN
- 9783030720193
- Deskripsi Fisik
- xii, 692p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.13 PRO p
Foundations of probabilistic programming
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate stud…
- Edisi
- -
- ISBN/ISSN
- 9781108770750
- Deskripsi Fisik
- xiv, 568p. : ill.
- Judul Seri
- -
- No. Panggil
- 001.642 FOU f
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah