R-Calculus, III: Post Three-Valued Logic
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postu…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-4270-9
- Collation
- xii, 273p.: Ill.
- Series Title
- Perspectives in Formal Induction, Revision and Evolution
- Call Number
- 006.332 Li r
Structural Health Monitoring Based on Data Science Techniques
The modern structural health monitoring (SHM) paradigm of transforming in situ, real-time data acquisition into actionable decisions regarding structural performance, health state, maintenance, or …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81716-9
- Collation
- xv, 484p.: Ill.
- Series Title
- Structural Integrity
- Call Number
- 005.7 Str
Adaptive Instructional Systems: 4th International Conference, AIS 2022, Held …
This book constitutes the refereed proceedings of the 4th International Conference on Adaptive Instructional Systems, AIS 2022, held as part of the 23rd International Conference, HCI International …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05887-5
- Collation
- xxi, 316p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Ada
ANALISIS Data Penelitian Kualitatif: Pemahaman Filosofis dan Metodologis ke A…
- Edition
- 1
- ISBN/ISSN
- 979-421-931-2
- Collation
- xiv, 274 hlm., 21 cm
- Series Title
- -
- Call Number
- 001.42 Bun a
- Edition
- 1
- ISBN/ISSN
- 979-421-931-2
- Collation
- xiv, 274 hlm., 21 cm
- Series Title
- -
- Call Number
- 001.42 Bun a
Understanding and Changing the World: From Information to Knowledge and Intel…
This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment o…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-1932-9
- Collation
- xiii, 158p.: Ill.
- Series Title
- -
- Call Number
- 004.071 Sif u
Advances in Swarm Intelligence: 13th International Conference, ICSI 2022, Xi'…
This two-volume set LNCS 13344 and 13345 constitutes the proceedings of the 13th International Conference on Advances in Swarm Intelligence, ICSI 2022, which took place in Xi’an, China, in July 2…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-09677-8
- Collation
- xvii, 548p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.12 Adv
Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August …
This book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in Septemb…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-98388-8
- Collation
- xxxiii, 524p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.2 Sen
Co-creating for Context in the Transfer and Diffusion of IT: IFIP WG 8.6 Inte…
This volume, IFIP AICT 660, constitutes the refereed proceedings of the IFIP WG 8.6 International Working Conference "Co-creating for Context in Prospective Transfer and Diffusion of IT" on Transfe…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17968-6
- Collation
- xi, 363p.: Ill
- Series Title
- IFIP Advances in Information and Communication Technology
- Call Number
- 005.368 Cre
Formalizing Natural Languages: Applications to Natural Language Processing an…
This book constitutes selected revised papers of the 16th International Conference on Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities, NooJ 2022, h…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-23317-3
- Collation
- xv, 215p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.2 For
Z2Z4-Linear Codes
The theory developed for ℤ2ℤ4-additive codes is the starting point for much generalization about codes over mixed alphabets. They have opened a new, emergent area of research. The techniqu…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-05441-9
- Collation
- xii, 245p.: Ill.
- Series Title
- -
- Call Number
- 003.5 Bor z
TEKNOLOGI INFORMASI DAN KOMUNIKASI UNTUK SMP KELAS VII, JILID I
- Edition
- -
- ISBN/ISSN
- 978-979-015-088-1
- Collation
- viii + 184 hlm. ;25 cm
- Series Title
- -
- Call Number
- 004 Pan t
- Edition
- -
- ISBN/ISSN
- 978-979-015-088-1
- Collation
- viii + 184 hlm. ;25 cm
- Series Title
- -
- Call Number
- 004 Pan t
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealan…
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. The 18 full papers included in thi…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-22308-2
- Collation
- x, 475p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.650 93 Sta
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, Oc…
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19842-7
- Collation
- lvi, 729p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.656 94 Com
Group Decision and Negotiation: Methodological and Practical Issues 22nd Inte…
This book constitutes the refereed proceedings of the 22nd International Conference on Group Decision and Negotiation, GDN 2022, which was held virtually during June 12–16, 2022. The field of …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-07996-2
- Collation
- ix, 127p.: Ill.
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- 005.368 Gro
Transactions on Rough Sets XXIII
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and it…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-66544-2
- Collation
- ix, 509p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.740 285 Tra
Advances in Cryptology – CRYPTO 2022: 42nd Annual International Cryptology …
The 4-volume sets LNCS 13507, 13508, 13509, 13510 constitutes the refereed proceedings of the 42nd Annual International Cryptology Conference, CRYPTO 2022, which was held in Santa Barbara, CA, USA,…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-15985-5
- Collation
- xviii, 583p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.8 Cry
Artificial Intelligence in China: Proceedings of the 3rd International Confer…
This book brings together papers presented at the 3rd International Conference on Artificial Intelligence in China (ChinaAI), which provides a venue to disseminate the latest developments and to di…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-9423-3
- Collation
- xii, 716p.: Ill.
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 006.351 Art
Applied Cryptography and Network Security Workshops: ACNS 2022 Satellite Work…
This book constitutes the proceedings of the satellite workshops held around the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, held in Rome, Italy, in June …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-16815-4
- Collation
- xx, 622p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.8 App
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, Oc…
The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19775-8
- Collation
- lvii, 757p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 Com
GreenEdge: New Perspectives to Energy Management and Supply in Mobile Edge Co…
The 5G technology has been commercialized worldwide and is expected to provide superior performance with enhanced mobile broadband, ultra-low latency transmission, and massive IoT connections. Mean…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-9690-9
- Collation
- x, 114p.: Ill.
- Series Title
- SpringerBriefs in Computer Science
- Call Number
- 004.65 Gre
Applied Cryptography and Network Security: 20th International Conference, ACN…
The LNCS volume 13269 constitutes the proceedings of the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, which will take place in a hybrid mode in Rome, Italy…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-09234-3
- Collation
- xv, 914p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.8 App
Deep Learning to See: Towards New Foundations of Computer Vision
The remarkable progress in computer vision over the last few years is, by and large, attributed to deep learning, fueled by the availability of huge sets of labeled data, and paired with the explos…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-90987-1
- Collation
- xiv, 105p.: Ill.
- Series Title
- SpringerBriefs in Computer Science
- Call Number
- 006.3 Dee
Artificial Intelligence in Education. Posters and Late Breaking Results, Work…
This two-volume set LNAI 13355 and 13356 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence in Education, AIED 2022, held in Durham, UK, in July 20…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-11647-6
- Collation
- xxxviii, 638p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 Art
Big Data and Social Computing: 7th China National Conference, BDSC 2022, Hang…
This book constitutes refereed proceedings of the 7th China National Conference on Big Data and Social Computing, BDSC 2022, held in Hangzhou, China, from August 11-13, 2022 The 24 full papers a…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-7532-5
- Collation
- xiii, 390p.: Ill
- Series Title
- Communications in Computer and Information Science
- Call Number
- 004.65 Big
Videogame Sciences and Arts: 12th International Conference, VJ 2020, Mirandel…
This book constitutes the refereed proceedings of the 12th International Conference on Videogame Sciences and Arts, VJ 2020, held in Mirandela, Portugal, in November 2020.* The 10 full papers pr…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-95305-8
- Collation
- xii, 141p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 Vid
WEB 2.0 Panduan bagi Para Pendidik
- Edition
- -
- ISBN/ISSN
- 978-979-062-285-2
- Collation
- viii, 156 hlm. : ilus. ; 23 cm
- Series Title
- -
- Call Number
- 005.3 Sol w
- Edition
- -
- ISBN/ISSN
- 978-979-062-285-2
- Collation
- viii, 156 hlm. : ilus. ; 23 cm
- Series Title
- -
- Call Number
- 005.3 Sol w
MAHIR DALAM 7 HARI: Adobe InDesign CS4
- Edition
- 1
- ISBN/ISSN
- 978-979-29-0800-8
- Collation
- xii + 276 hlm.; 16x23 cm
- Series Title
- -
- Call Number
- 006.68 Mah m
- Edition
- 1
- ISBN/ISSN
- 978-979-29-0800-8
- Collation
- xii + 276 hlm.; 16x23 cm
- Series Title
- -
- Call Number
- 006.68 Mah m
Kreasi Desain dengan adobe photoshop & corelDRAW
- Edition
- 1
- ISBN/ISSN
- 978-979-29-1378-1
- Collation
- vi, 126 hlm. : ilus. ; 23 cm
- Series Title
- -
- Call Number
- 006.68 Kre k
- Edition
- 1
- ISBN/ISSN
- 978-979-29-1378-1
- Collation
- vi, 126 hlm. : ilus. ; 23 cm
- Series Title
- -
- Call Number
- 006.68 Kre k
Knowledge Graphs and Semantic Web: 4th Iberoamerican Conference and third Ind…
This book constitutes the proceedings of the 4th Iberoamerican Conference and third Indo-American Conference on Knowledge Graphs and Semantic Web, KGSWC 2022, which took place in Madrid, Spain, in …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-21422-6
- Collation
- xiii, 342p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 006.3 Kno
Building web applications with Vue.js: MVVM patterns for conventional and sin…
This book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applic…
- Edition
- 1
- ISBN/ISSN
- 978-3-658-37596-6
- Collation
- xix, 219p.: Ill.
- Series Title
- -
- Call Number
- 006.7 Ste b
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography