Filter by
Fundamental Approaches to Software Engineering ; 22nd International Conferenc…
Buku ini merupakan prosiding Konferensi Internasional ke-22 tentang Pendekatan Fundamental untuk Rekayasa Perangkat Lunak, FASE 2019, yang berlangsung di Praha, Republik Ceko pada April 2019, yang diadakan sebagai Bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019.24 makalah yang disajikan dalam volume ini ditinjau dan dipilih dengan cermat dari 94 pengaj…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-16722-6
- Collation
- 1 online resource (448 Pages)
- Series Title
- -
- Call Number
- 005.12 HAH f
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- -
- ISBN/ISSN
- 978-3-319-96142-2
- Collation
- 1 online resource (553 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-96145-3
- Collation
- 1 online resource (709 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
Tools and Algorithms for the Construction and Analysis of Systems; 24th Inter…
Rangkaian prosiding LNCS 10805 dan 10806 merupakan prosiding Konferensi Internasional ke-24 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Total 43 makalah lengkap dan 11 makalah p…
- Edition
- -
- ISBN/ISSN
- 978-3-319-89963-3
- Collation
- 1 online resource (474 Pages)
- Series Title
- -
- Call Number
- 005.1 bey T
Tools and Algorithms for the Construction and Analysis of Systems; 24th Inter…
Rangkaian prosiding LNCS 10805 dan 10806 merupakan prosiding Konferensi Internasional ke-24 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Total 43 makalah lengkap dan 11 makalah p…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89960-2
- Collation
- 1 online resource (439 Pages)
- Series Title
- -
- Call Number
- 005.1 BEY t
Fundamental Approaches to Software Engineering: 21st International Conference…
Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2018, yang berlangsung di Thessaloniki, Yunani pada bulan April 2018, yang diselenggarakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Sebanyak 19 makalah yang disajikan dalam volume ini telah ditinjau dengan…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-89363-1
- Collation
- XII, 357
- Series Title
- -
- Call Number
- 005.1 RUS f
Security for Software Engineers
Keamanan untuk Insinyur Perangkat Lunak dirancang untuk memperkenalkan konsep keamanan kepada mahasiswa teknik perangkat lunak tingkat sarjana. Buku ini dibagi menjadi empat unit, yang masing-masing menargetkan aktivitas yang kemungkinan akan dilakukan oleh seorang insinyur perangkat lunak dalam industri. Buku ini mengeksplorasi area utama vektor serangan, penguatan kode, privasi, dan rekayasa …
- Edition
- -
- ISBN/ISSN
- 9780429506475
- Collation
- 1 online resource (350 pages)
- Series Title
- -
- Call Number
- 005.8 HEL s
Self-Stabilization
Shlomi Dolev menyajikan dasar-dasar stabilisasi diri dan menunjukkan proses perancangan sistem terdistribusi yang menstabilkan diri. Stabilisasi diri, sebuah konsep penting bagi para ahli teori dan praktisi dalam komputasi terdistribusi dan jaringan komunikasi, mengacu pada kemampuan sistem untuk pulih secara otomatis dari kesalahan yang tidak terduga. Dalam buku ini Shlomi Dolev menyajikan das…
- Edition
- -
- ISBN/ISSN
- 9780262271837
- Collation
- 1 online resource (197 pages) :
- Series Title
- Computer algorithms
- Call Number
- 005.1 DOL s
Social Thinking—Software Practice
Kumpulan esai tentang hubungan timbal balik antara ilmu sosial dan praktik perangkat lunak. Praktik perangkat lunak, yang mencakup pengembangan, desain, dan penggunaan perangkat lunak, perlu melampaui kerangka rekayasa tradisional. Dengan mengacu pada berbagai pendekatan teori sosial, buku ini berfokus pada kerja sama interdisipliner dalam praktik perangkat lunak. Topik yang dibahas meliputi fa…
- Edition
- -
- ISBN/ISSN
- 9780262271783
- Collation
- 1 online resource (xii, 481 pages) :
- Series Title
- Computer software
- Call Number
- 302.231 DIT s
Software ecosystem; Understanding an Indispensable Technology and Industry
Perangkat lunak telah berubah dari ketidakjelasan menjadi sangat diperlukan dalam waktu kurang dari lima puluh tahun. Meskipun industri lain telah mengikuti lintasan yang sama, perangkat lunak dan industri pendukungnya berbeda. Dalam buku ini penulis menjelaskan, dari berbagai perspektif, bagaimana perangkat lunak dan industri perangkat lunak berbeda -- secara teknologi, organisasi, dan sosial.…
- Edition
- -
- ISBN/ISSN
- 9780262256667
- Collation
- 1 online resource (xiv, 424 pages)
- Series Title
- Software Ecosystems
- Call Number
- 005.1 MES s
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography