Filter by
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
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
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
Proceedings of 4th International Conference in Software Engineering for Defen…
* Penelitian terbaru dalam Komputasi Tingkat Lanjut, Jaringan, dan Informatika, * Menyajikan masalah penelitian terkini dengan solusi baru, * Menyajikan teori dan aplikasi. --> Dunia militer selalu menunjukkan minat yang besar pada evolusi perangkat lunak dan cara pembuatannya selama bertahun-tahun. Standar pertama untuk kualitas perangkat lunak berasal dari Departemen Pertahanan AS (2167A dan …
- Edition
- 422
- ISBN/ISSN
- 978-3-319-27896-4
- Collation
- -
- Series Title
- Kemajuan dalam Sistem Cerdas dan Komputasi (AISC)
- Call Number
- 004.21 CIA s
Practical Enterprise Software Development Techniques; Tools and Techniques fo…
Tujuan dari buku ini adalah untuk membahas dan menyediakan sumber daya tambahan untuk topik dan teknologi yang mungkin ditinggalkan oleh kurikulum universitas saat ini. Beberapa program atau profesor mungkin menyentuh beberapa topik ini sebagai bagian dari kelas, tetapi secara individual sebagian besar tidak layak untuk kelas khusus, dan secara kolektif mencakup beberapa alat dan praktik yang h…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0620-1
- Collation
- -
- Series Title
- -
- Call Number
- 005.1 CRO p
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography