Ditapis dengan
Performing the digital:performativity and performance studies in digital cult…
How is performativity shaped by digital media – and how do performance practices themselves reflect and alter techno-social configurations? Performing the Digital inquires into the technological terms and conditions of performance and performance studies, and maps and theorizes the registers of performance at work in digital cultures. The contributions range from the performativity of algorit…
- Edisi
- -
- ISBN/ISSN
- 9783837633559
- Deskripsi Fisik
- 1 electronic resource (300 pages )
- Judul Seri
- -
- No. Panggil
- 709.040755 BEY p
Computer aided verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and tec…
- Edisi
- -
- ISBN/ISSN
- 9783319961453
- Deskripsi Fisik
- pages cm
- Judul Seri
- -
- No. Panggil
- 004 CHO c
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah