Kementerian Pendidikan Dasar dan Menengah

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 18 from your keywords: subject="Programming"
# Debug Box
/var/www/htdocs/pustaka-digital/lib/SearchEngine/SearchBiblioEngine.php:688 "Search Engine Debug 🔎 🪲"
Engine Type ⚙️: "SLiMS\SearchEngine\SearchBiblioEngine"
SQL ⚙️: array:2 [
  "count" => "select count(sb.biblio_id) from search_biblio as sb where sb.opac_hide=0 and ((match (sb.topic) against (:subject in boolean mode)))"
  "query" => "select sb.biblio_id, sb.title, sb.author, sb.topic, sb.image, sb.isbn_issn, sb.publisher, sb.publish_place, sb.publish_year, sb.labels, sb.input_date, sb.edition, sb.collation, sb.series_title, sb.call_number from search_biblio as sb where sb.opac_hide=0 and ((match (sb.topic) against (:subject in boolean mode))) order by sb.last_update desc limit 10 offset 10"
]
Bind Value ⚒️: array:1 [
  ":subject" => "'+\"Programming\"'"
]
First Page Previous 1 2
cover
Tools and algorithms for the construction and analysis of systems : 26th Inte…
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 …

Edition
-
ISBN/ISSN
9783030452377
Collation
xxiii, 425p. : ill.
Series Title
-
Call Number
004.21 TOO t
Availability0
Items not available
MARC DownloadCite
cover
Programming languages and systems : 29th European Symposium on Programming, E…
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.

Edition
-
ISBN/ISSN
9783030449148
Collation
xv, 772p. : ill.
Series Title
-
Call Number
005.1 PRO p
Availability0
Items not available
MARC DownloadCite
cover
Fundamental approaches to software Eengineering : 23rd International Conferen…
Wehrheim, HeikeCabot, Jordi

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…

Edition
-
ISBN/ISSN
9783030452346
Collation
xiii, 552p. : ill.
Series Title
-
Call Number
005.1 FUN f
Availability0
Items not available
MARC DownloadCite
cover
Programming for computations - Python : a gentle introduction to numerical si…
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…

Edition
-
ISBN/ISSN
9783030168773
Collation
xxiii, 323p. " ill.
Series Title
-
Call Number
004.0151 LIN p
Availability0
Items not available
MARC DownloadCite
cover
TouchDevelop : programming on the go
Horspool, NigelTillmann, NikolaiBishop, Judith

Mobile devices such as smartphones and tablets are set to become the main computers that virtually all people will own and carry with them at all times. And yet,mobile devices are not yet used for all computing tasks. A project at Microsoft Research was created to answer a simple question: “It is possible to create interesting apps directly on a smartphone or tablet, without using a separate …

Edition
-
ISBN/ISSN
9781430261377
Collation
xix, 270p. : ill.
Series Title
-
Call Number
005.1 HOR t
Availability0
Items not available
MARC DownloadCite
cover
Android application development for the Intel® platform
Cohen, RyanWang, Tao

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…

Edition
-
ISBN/ISSN
9781484201008
Collation
xx, 520p. : ill.
Series Title
-
Call Number
005.1 COH a
Availability0
Items not available
MARC DownloadCite
cover
Ray tracing gems : high-quality and real-time rendering with DXR and other APIs
Haines, EricAkenineMöller, Tomas

This book is a must-have for anyone serious about rendering in real time. With the announcement of new ray tracing APIs and hardware to support them, developers can easily create real-time applications with ray tracing as a core component. As ray tracing on the GPU becomes faster, it will play a more central role in real-time rendering. Ray Tracing Gems provides key building blocks for develope…

Edition
-
ISBN/ISSN
9781484244272
Collation
xliv, 607p. : ill.
Series Title
-
Call Number
006.6 RAY r
Availability0
Items not available
MARC DownloadCite
cover
Programming languages and systems
Caires, Luis

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…

Edition
-
ISBN/ISSN
9783030171841
Collation
XV, 816 p.
Series Title
-
Call Number
005.1 PRO p
Availability0
Items not available
MARC DownloadCite
First Page Previous 1 2
Kementerian Pendidikan Dasar dan Menengah
  • Information
  • Services
  • Librarian
  • Member Area

About Us

As a complete Library Management System, SLiMS (Senayan Library Management System) has many features that will help libraries and librarians to do their job easily and quickly. Follow this link to show some features provided by SLiMS.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2026 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search