Software Engineering and Formal Methods: 20th International Conference, SEFM …
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. Th…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17108-6
- Collation
- xvii, 369p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Sof
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part …
This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022. The 10 full papers and 1 tool p…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-09843-7
- Collation
- xii, 207p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 Gra
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP…
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Ita…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08679-3
- Collation
- xiv, 209p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
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-19818-2
- Collation
- lvi, 757p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.656 94 Com
Brain Informatics: 15th International Conference, BI 2022, Padua, Italy, July…
This book constitutes the refereed proceedings of the 15th International Conference on Brain Informatics, BI 2022, held as hybrid event in Padua, Italy (in person) and Queensland, Australia (online…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-15037-1
- Collation
- xii, 386p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 Bra
Cancer Prevention Through Early Detection: First International Workshop, CaPT…
This book constitutes the refereed proceedings of the first International Workshop on Cancer Prevention through Early Detection, CaPTion, held in conjunction with the 25th International Conference …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17979-2
- Collation
- xi, 170p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 Can
From Animals to Animats 16: 16th International Conference on Simulation of Ad…
This book constitutes the refereed proceedings of the 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, held in Cergy-Pontoise, France, in September 2022. The 17 papers p…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-16770-6
- Collation
- xiv, 217p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 Fro
METODOLOGI SEJARAH
- Edition
- -
- ISBN/ISSN
- -
- Collation
- ix, 425 hlm. ; 21 cm.
- Series Title
- -
- Call Number
- 001.43 Sja m
- Edition
- -
- ISBN/ISSN
- -
- Collation
- ix, 425 hlm. ; 21 cm.
- Series Title
- -
- Call Number
- 001.43 Sja m
Computer Security – ESORICS 2022: 27th European Symposium on Research in Co…
The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in September 2022. The conf…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17143-7
- Collation
- xxiii, 789p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.8 Com
HCI International 2022 Late Breaking Papers: HCI for Health, Well-being, Univ…
This proceedings LNCS 13521 constitutes the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually as part of the 24th Internat…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17902-0
- Collation
- xxi, 618p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 HCI
Algorithmic Aspects in Information and Management: 16th International Confere…
This book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022, which was held online during August 13-14, 2022. The conf…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-16081-3
- Collation
- xiv, 478p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 Alg
Metaheuristics and Nature Inspired Computing: 8th International Conference, M…
This volume constitutes selected papers presented during the 8th International Conference on Metaheuristics and Nature Inspired Computing, META 2021, held in Marrakech, Morocco, in October 201. Due…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-94216-8
- Collation
- xii, 227p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 006.3 Met
Computational Intelligence: A Methodological Introduction
This textbook provides a clear and logical introduction to the field, covering the fundamental concepts, algorithms and practical implementations behind efforts to develop systems that exhibit inte…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-42227-1
- Collation
- xiv, 639p.: Ill.
- Series Title
- Texts in Computer Science
- Call Number
- 006.3 Com
HCI International 2022 Posters: 24th International Conference on Human-Comput…
The four-volume set CCIS 1580, CCIS 1581, CCIS 1582, and CCIS 1583 contains the extended abstracts of the posters presented during the 24th International Conference on Human-Computer Interaction, H…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-06394-7
- Collation
- xxv, 525p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 HCI
IoT Technologies for Health Care: 8th EAI International Conference, HealthyIo…
This proceedings constitutes the refereed proceedings of the 8th International Conference on IoT Technologies for Healthcare, HealthyIoT 2021, held in November 2021. Due to COVID-19 pandemic the co…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99197-5
- Collation
- ix, 231p.: Ill.
- Series Title
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- Call Number
- 004.67 Iot
Computing and Combinatorics: 28th International Conference, COCOON 2022, Shen…
In this paper, we concentrate on a stochastic non-monotone DR-submodular maximization problem over a convex constraint , where the objective function arises as an expectation of a set of stochast…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-22105-7
- Collation
- xiv, 586p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.6 Com
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-19839-7
- Collation
- lvii, 763p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.6 Com
Cybersecurity in Morocco
This SpringerBrief contains eight chapters and presents an overview of the evolution of the Moroccan Cybersecurity Strategy. It also draws attention to the development of cybersecurity in Morocco …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-18475-8
- Collation
- xiv, 96p.: Ill.
- Series Title
- SpringerBriefs in Cybersecurity
- Call Number
- 005.8 Mal
MATERI POKOK KOMPUTER I: PGMT3133/2 SKS, MODUL 1-6
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 6 Jil.; 30 cm.
- Series Title
- -
- Call Number
- 004 Pol m
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 6 Jil.; 30 cm.
- Series Title
- -
- Call Number
- 004 Pol m
Social Informatics: 13th International Conference, SocInfo 2022, Glasgow, UK,…
This book constitutes the refereed proceedings of the 13th International Conference on Social Informatics, SocInfo 2022, which took place in Glasgow, UK, during October 19-21, 2022. The 22 full…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-19097-1
- Collation
- xvi, 508p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.75 Soc
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technolo…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08166-8
- Collation
- xii, 521p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 The
BAHASA JURNALISTIK
- Edition
- -
- ISBN/ISSN
- 978-979-518-985-5
- Collation
- x, 165 hlm.; 23 cm.
- Series Title
- -
- Call Number
- 070.4 Cha b
- Edition
- -
- ISBN/ISSN
- 978-979-518-985-5
- Collation
- x, 165 hlm.; 23 cm.
- Series Title
- -
- Call Number
- 070.4 Cha b
Semua Berawal dengan Keteladanan
- Edition
- -
- ISBN/ISSN
- 978-979-709-307-5
- Collation
- xx, 516 hlm.; 21 cm
- Series Title
- -
- Call Number
- 070.4 Anw s
- Edition
- -
- ISBN/ISSN
- 978-979-709-307-5
- Collation
- xx, 516 hlm.; 21 cm
- Series Title
- -
- Call Number
- 070.4 Anw s
MEMASUKI DUNIA E-LEARNING: SOLUSI CEPAT MENGEMBANGKAN CONTENT DIGITAL
- Edition
- -
- ISBN/ISSN
- 978-979-1153-36-2
- Collation
- x, 340 hlm,; ilus.; 16 x 21 cm
- Series Title
- -
- Call Number
- 006.7 Sut m
- Edition
- -
- ISBN/ISSN
- 978-979-1153-36-2
- Collation
- x, 340 hlm,; ilus.; 16 x 21 cm
- Series Title
- -
- Call Number
- 006.7 Sut m
GENERASI BARU WARTAWAN & INDUSTRI PERS INDONESIA
- Edition
- -
- ISBN/ISSN
- -
- Collation
- viii, 174 hlm. ; ilus.: 22 cm
- Series Title
- -
- Call Number
- 070 Ton g
- Edition
- -
- ISBN/ISSN
- -
- Collation
- viii, 174 hlm. ; ilus.: 22 cm
- Series Title
- -
- Call Number
- 070 Ton g
150 INSPIRASI HIDUP DARI KESEHARIAN KITA DAN SEPAK BOLA = It’s Injury Time
- Edition
- -
- ISBN/ISSN
- 978-979-27-2991-7
- Collation
- xviii, 337 hlm. 23 cm
- Series Title
- -
- Call Number
- 081 Rac s
- Edition
- -
- ISBN/ISSN
- 978-979-27-2991-7
- Collation
- xviii, 337 hlm. 23 cm
- Series Title
- -
- Call Number
- 081 Rac s
Biomedical Image Registration, Domain Generalisation and Out-of-Distribution …
This book constitutes three challenges that were held in conjunction with the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021, which was pla…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-97281-3
- Collation
- ix, 194p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 Bio
Genetic Programming: 25th European Conference, EuroGP 2022, Held as Part of E…
This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Ev…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-02056-8
- Collation
- x, 309p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 Gen
Computer Vision based Identification and Mosaic of Gramineous Grass Seeds
This book mainly deals with grassland digitalization and recognition through computer vision, which will make contributions to implement of grass auto recognition and data acquisition. Taking advan…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-3501-4
- Collation
- ix, 128p.:Ill
- Series Title
- -
- Call Number
- 006.3 Com
Artificial Intelligence and Mobile Services – AIMS 2022: 11th International…
This book constitutes the proceedings of the 11th International Conference on Artificial Intelligence and Mobile Services, AIMS 2022, held as Part of the Services Conference Federation, SCF 2022, h…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-23504-7
- Collation
- xvi, 135p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 Art
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography