An analysis of the ways that software creates new spatialities in everyday life, from supermarket checkout lines to airline flight paths. After little more than half a century since its initial development, computer code is extensively and intimately woven into the fabric of our everyday lives. From the digital alarm clock that wakes us to the air traffic control system that guides our plane…
* Teks yang mudah dibaca menawarkan pengantar yang lembut untuk konsep matematika dan ilmu komputer yang diperlukan. * Berfokus pada menjelaskan semua detail tentang bagaimana membangun program untuk memecahkan masalah matematika. * Lebih lanjut menekankan prosedur verifikasi dan cara menyematkannya dalam kerangka pengujian otomatis. ;;; Integrasi komputasi dan pemrograman adalah kombinasi yang…
A theoretical examination of the surprising emergence of software as a guiding metaphor for our neoliberal world. New media thrives on cycles of obsolescence and renewal: from celebrations of cyber-everything to Y2K, from the dot-com bust to the next big things—mobile mobs, Web 3.0, cloud computing. In Programmed Visions, Wendy Hui Kyong Chun argues that these cycles result in part from th…
* Mudah memahami prinsip-prinsip pemrograman dan mempraktikkannya dengan segera. * Pengenalan langkah demi langkah yang sederhana. * Panduan yang jelas untuk pemrograman berorientasi objek. ;;; Smalltalk adalah teknologi yang luar biasa. Ini telah menjadi yang terdepan dalam banyak inovasi yang telah membantu memajukan seni pengembangan perangkat lunak aplikasi seperti GUI dengan jendela yang t…
* 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…