Tools and algorithms for the construction and analysis of systems :26th Inter…
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 i…
- Edisi
- -
- ISBN/ISSN
- 9783030452377
- Deskripsi Fisik
- xxiii, 425p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.21 TOO t
Programming languages and systems :29th European Symposium on Programming, ES…
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 …
- Edisi
- -
- ISBN/ISSN
- 9783030449148
- Deskripsi Fisik
- xv, 772p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 PRO p
TouchDevelop :programming on the go
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 …
- Edisi
- -
- ISBN/ISSN
- 9781430261377
- Deskripsi Fisik
- xix, 270p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.1 HOR t
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 Confere…
- Edisi
- -
- ISBN/ISSN
- 9783030720193
- Deskripsi Fisik
- xii, 692p. : ill.
- Judul Seri
- -
- No. Panggil
- 005.13 PRO p
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah