* Berisi makalah wasit yang membahas topik penelitian utama Pierpaolo Degano. * Termasuk memoar pribadi dan makalah penelitian reguler oleh kolaborator dekat. * Mencakup berbagai macam topik termasuk semantik program formal, teori konkurensi, biologi sistem, dan keamanan. ;;; Volume Festschrift ini terutama berisi 22 makalah penelitian wasit dan satu abstrak tambahan oleh kolaborator dekat dan …
Merupakan kesenangan dan kehormatan saya yang luar biasa, untuk mempersembahkan kepada Anda program teknis Konferensi Eropa tentang Pemrograman (ESOP) ke-24 yang diadakan selama 14-16 April di London, Inggris sebagai bagian dari konfederasi ETAPS. Program tahun ini terdiri dari 33 makalah yang dipilih dari 113 pengajuan dengan topik mulai dari analisis program JavaScript hingga semantik konkure…
Modern imaging techniques and computational simulations yield complex multi-valued data that require higher-order mathematical descriptors. This book addresses topics of importance when dealing with such data, including frameworks for image processing, visualization and statistical analysis of higher-order descriptors. It also provides examples of the successful use of higher-order descriptors …
This book puts the structure and function of knowledge firmly in the driving seat of university curriculum development and teaching practice. Through the application of concept mapping, the structure of knowledge can be visualised to offer an explicit perspective on key issues such as curriculum design, student learning and assessment feedback. Structural visualisation allows a greater scrutiny…
Volume ini berisi prosiding Asian Symposium on Programming Languages and Systems (APLAS 2015) ke-13 yang diadakan di Pohang, Korea, dari tanggal 30 November hingga 2 Desember 2015. APLAS bertujuan untuk merangsang penelitian bahasa pemrograman dengan menyediakan forum untuk presentasi hasil terbaru dan pertukaran ide dalam bahasa dan sistem pemrograman. APLAS berbasis di Asia, tetapi merupakan …