Simple Type Theory: A Practical Logic for Expressing and Reasoning About Math…
Buku teks ini adalah pengantar teori sederhana yang memperluas logika orde pertama. Ilustrasi buku ini menggunakan Alonzo, sangat cocok untuk mengekspresikan penalaran tentang ide-ide matematika. P…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9783031211126
- Collation
- xiv, 295 p.
- Series Title
- -
- Call Number
- 004.0151 FAR s
Pemrograman dengan Turbo Pascal 4.0 Vol. 1
Buku ini adalah buku pertama dari rangkaian lima buku berjudul yang sama. Buku ini disusun untuk membantu anda dalam memahami bahasa Pascal dengan menggunakan compiler Turbo Pascal 4.0. Ini akan me…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- xi, 206 p. ; 20 cm
- Series Title
- -
- Call Number
- 005.13 SAR p V.1
Kecerdasan Tiruan
Kecerdasan Tiruan (Artificial Intelligence/AI) merupakan bagian tengah atau inti dari ilmu komputer (Computer Science) dan merupakan salah satu ilmu dasar dari ilmu komputer yang harus dipahami, bi…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9789797566425
- Collation
- xii, 224 p. : ill. ; 23 cm
- Series Title
- -
- Call Number
- 006.3 SIS k
Microsoft Dynamics 365 For Dummies
e-Book available, please log-in on Member Area to access or contact our librarian.
- Edition
- 1St ed. PDF ed
- ISBN/ISSN
- 978-1119508861
- Collation
- -
- Series Title
- -
- Call Number
- 005.5 REN m
64 Trik Tersembunyi Visual Basic 6
Buku ini ditujukan untuk pembaca yang ingin memperluas pengetahuan dan keterampilan mereka dalam penggunaan Visual Basic sebagai bahasa pemrograman. Dalam buku ini, pembaca akan menemukan penjel…
- Edition
- 1st ed.
- ISBN/ISSN
- 9789791398015
- Collation
- 160 p. : ill. ; 21 cm.
- Series Title
- -
- Call Number
- 005.13 FIR t
Software Reliability Techniques for Real-World Applications
Perangkat lunak mengontrol banyak aspek dalam kehidupan kita sehari-hari, seperti peralatan rumah tangga, telepon, mobil, dan banyak pilihan hiburan terkomputerisasi lainnya. Karena kita sangat ber…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9781119931829
- Collation
- xix, 325 p.
- Series Title
- -
- Call Number
- 005.1 YOU s
Software Engineering, Artificial Intelligence, Networking and Parallel/Distri…
Buku ini menyajikan hasil ilmiah dari 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) yan…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9783031261350
- Collation
- xii, 156 p.
- Series Title
- -
- Call Number
- 005.1 LEE s
Mathematical Foundations of Software Engineering : A Practical Guide to Essen…
Buku ini menyajikan pengenalan matematika dasar rekayasa perangkat lunak. Berisi penerapan matematika di berbagai bidang seperti kode koreksi kesalahan, kriptografi, bidang penting keselamatan dan …
- Edition
- 1st ed. Pdf ed.
- ISBN/ISSN
- 9783031262128
- Collation
- xxxvii, 519 p.
- Series Title
- -
- Call Number
- 004.0151 ORE m
Software engineering : basic principles and best practices
Rekayasa perangkat lunak adalah tentang kerja tim dan juga tentang teknologi. Buku teks pengantar ini mencakup keduanya. Pembaca akan mempelajari bagaimana perangkat lunak dikembangkan di industri …
- Edition
- 1st ed. Pdf ed.
- ISBN/ISSN
- 9781009051811
- Collation
- 800 p.
- Series Title
- -
- Call Number
- 005.1 SET s
Introduction to Software Architecture : Innovative Design using Clean Archite…
Buku teks yang unik dan mudah diakses ini memberikan pengenalan komprehensif tentang arsitektur perangkat lunak, menggunakan konsep 'arsitektur bersih' dengan metode tangkas dan pengembangan berbas…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9783031441431
- Collation
- 267 p. : ill.
- Series Title
- -
- Call Number
- 004.22 LAN i
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography