Ditapis dengan

  • Tahun Penerbitan
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
Ditemukan 4 dari pencarian Anda melalui kata kunci: subject="Programming languages...
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
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
TouchDevelop :programming on the go
Komentar Bagikan
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 …

Edisi
-
ISBN/ISSN
9781430261377
Deskripsi Fisik
xix, 270p. : ill.
Judul Seri
-
No. Panggil
005.1 HOR t
cover
Programming languages and systems :30th European Symposium on Programming, ES…
Komentar Bagikan
Yoshida, Nobuko

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