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="Software engineering"
cover
Fundamental approaches to software engineering :21th international conference…
Komentar Bagikan
Schürr, AndyRusso, Alessandra

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed …

Edisi
-
ISBN/ISSN
9783319893631
Deskripsi Fisik
xii, 355p. : ill.
Judul Seri
-
No. Panggil
005.1 FUN f
cover
Fundamental approaches to software Eengineering :23rd International Conferenc…
Komentar Bagikan
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…

Edisi
-
ISBN/ISSN
9783030452346
Deskripsi Fisik
xiii, 552p. : ill.
Judul Seri
-
No. Panggil
005.1 FUN f
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
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