PERCAYA DIRI Pasti

Edition

-

ISBN/ISSN

979-561-951-9

Collation

xii, 301 hlm. ; 18 cm.

Series Title

-

Call Number

297.51 Alu p

Kerajaan Bima dalam Sastra dan Sejarah

Edition

-

ISBN/ISSN

979-91-0011-9

Collation

416 hlm.; 24 cm.

Series Title

-

Call Number

959.801 Cha k

PEMIKIRAN Karl Marx: Dari Sosialisme Utopis ke Perselisihan Revisionisme

Edition

-

ISBN/ISSN

-

Collation

xvi, 284 hlm.; bib.; ind.; 20 cm

Series Title

-

Call Number

320.5 Mag p

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as…

Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, J…

This book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full papers included in this book were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and r…

Geographies of Mediterranean Europe

This edited volume highlights the geographies of six European Mediterranean countries: France, Spain, Italy, Portugal, Turkey and Greece. The book provides a balanced overview on what the geographers of these six countries have investigated and reflected in recent decades. This thematically arranged book takes into account the national differences of the authors, but also highlights the main co…

Foundations and Practice of Security: 14th International Symposium, FPS 2021,…

This book constitutes the revised selected papers of the 14th International Symposium on Foundations and Practice of Security, FPS 2021, held in Paris, France, in December 2021. The 18 full papers and 9 short paper presented in this book were carefully reviewed and selected from 62 submissions. They cover a range of topics such as Analysis and Detection; Prevention and Efficiency; and Privac…

Agromining: Farming for Metals

This second and expanded edition of the first book on agromining (phytomining) presents a comprehensive overview of the metal farming & recovery of the agromining production chain. Agromining is an emerging technology that aims to transform the extraction of sources of target elements not accessible by traditional mining and processing techniques. Agromining, which is based on sustainable devel…

Naik Haji di Masa Silam Tahun 1900-1950

Edition

-

ISBN/ISSN

978-979-91-0657-5

Collation

v, 432 hlm.; 24 cm

Series Title

-

Call Number

297.09 Cha n

Enterprise, Business-Process and Information Systems Modeling: 23rd Internati…

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: * the 23rd International Conference on Business Process Modeling, Development and Support, BPMDS 2022, and * the 27th International Conference on Exploring Modeling Methods for Systems Analysis and D…

Einstein Tak Pernah Menghafal: Bagaimana Sesungguhnya Anak-Anak Belajar dan M…

Edition

-

ISBN/ISSN

979-3659-59-9

Collation

416 hlm; : ilus. ; 23,5 cm

Series Title

-

Call Number

372 Hir e

Cities' Identity Through Architecture and Arts

This book covers a broad range of topics relating to architecture and urban design, such as the conservation of cities’ culture and identity through design and planning processes, various ideologies and approaches to achieving more sustainable cities while retaining their identities, and strategies to help cities advertise themselves on the global market. Every city has its own unique id…

KESEHATAN IBU DAN BAYI BARU LAHIR; Pedoman untuk Perawat dan Bidan, Jilid 1

Edition

-

ISBN/ISSN

-

Collation

xxiv, 180hlm.; ilus.; 21cm

Series Title

Erlangga Medical Series

Call Number

618.2 Ram k

Theoretical Aspects of Software Engineering: 16th International Symposium, TA…

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the late…

KESEHATAN IBU DAN BAYI BARU LAHIR; Pedoman untuk Perawat dan Bidan, Jilid 2

Edition

-

ISBN/ISSN

-

Collation

xxvi, 174hlm.; ilus.; 21cm

Series Title

Erlangga Medical Series

Call Number

618.2 Ram k

Terapi Akhlak

Edition

-

ISBN/ISSN

978-602-9159-14-1

Collation

x, 328 hlm.; 19.5 cm

Series Title

-

Call Number

297.5 Alm t

SHALAHUDDIN AL-AYYUBI SANG PEJUANG ISLAM

Edition

-

ISBN/ISSN

979-561-822-9

Collation

78 hlm.; 18 cm

Series Title

-

Call Number

297.61 Ash s

LAW: English for Specific Purposes

Edition

-

ISBN/ISSN

978-979-428-599-2

Collation

xviii, 358 hlm. ; 21 cm

Series Title

-

Call Number

420 Ran l

Tersenyumlah

Edition

-

ISBN/ISSN

979-96924-8-2

Collation

xiv, 319 hlm.; 24 cm.

Series Title

-

Call Number

297.51 Alq t

Digital Humanism: For a Humane Transformation of Democracy, Economy and Cultu…

This open access book deals with cultural and philosophical aspects of artificial intelligence (AI) and pleads for a “digital humanism”. This term is beginning to be en vogue everywhere. Due to a growing discontentment with the way digitalization is being used in the world, particularly formulated by former heroes of Internet, social media and search engine companies, philosophical as well …

Theories of Personality, Eighth Edition

Edition

8

ISBN/ISSN

-

Collation

xvii, 573 p. ; 23 cm

Series Title

-

Call Number

150.3 Fei t

INTISARI SEJARAH PENDIDIKAN ISLAM

Edition

-

ISBN/ISSN

978-602-9024-74-9

Collation

268 hlm.; 21 cm.

Series Title

-

Call Number

297.77 Sha i

SISTEM KOMPUTER AKUNTANSI: INVENTORY

Edition

-

ISBN/ISSN

-

Collation

x, 117 hlm. ; 23 cm.

Series Title

-

Call Number

001.642 5 Pra s

Participative Urban Health and Healthy Aging in the Age of AI: 19th Internati…

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI f…

Land Use Cover Datasets and Validation Tools: Validation Practices with QGIS

This open access book represents a comprehensive review of available land-use cover data and techniques to validate and analyze this type of spatial information. The book provides the basic theory needed to understand the progress of LUCC mapping/modeling validation practice. It makes accessible to any interested user most of the research community's methods and techniques to validate LUC maps …

Handbook of Digital Face Manipulation and Detection: From DeepFakes to Morphi…

This open access book provides the first comprehensive collection of studies dealing with the hot topic of digital face manipulation such as DeepFakes, Face Morphing, or Reenactment. It combines the research fields of biometrics and media forensics including contributions from academia and industry. Appealing to a broad readership, introductory chapters provide a comprehensive overview of the t…

Agile Processes in Software Engineering and Extreme Programming: 23rd Interna…

This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present a…

Electronic Voting: 7th International Joint Conference, E-Vote-ID 2022, Bregen…

This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and…

xxAI - Beyond Explainable AI: International Workshop, Held in Conjunction wit…

This is an open access book. Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most successful ML models, including Deep Neural Networks (DNN), have developed better predictivity, they have become increasingly complex, at the expense of human interpretability (correlation vs. causality). The field of explainable AI (xAI) has emerged with t…

Karya lengkap Abdullah bin Muhammad al-Misri

Edition

-

ISBN/ISSN

978-979-8116-13-1

Collation

272 hlm.: ilus ; 24 cm.

Series Title

-

Call Number

899.221 Zai k