The Sriwijaya University Library

  • Home
  • Information
  • News
  • Help
  • Login
  • Librarian
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 473 from your keywords: subject="Logic"
First Page Previous 6 7 8 9 10 Next Last Page
cover
APLIKASI PENDEKATAN FUZZY UNTUK PENGOPTIMALAN PORTOFOLIO SAHAM
Comment Share
Amin, Muhammad Rizki

The capital market has become one of the important factors in the economy of a country, one of which is Indonesia, where the capital market accelerates the movement of the economy by making it easier for companies to develop because they get capital from selling part of their ownership shares to the general public, so that companies have sufficient funding to finance their business. develop the…

Edition
-
ISBN/ISSN
-
Collation
xiv, 60 hlm.; ilus.; 29 cm
Series Title
-
Call Number
T1299982022
Availability1
Add to basket
MARC DownloadCite
cover
PREDIKSI KEJADIAN HUJAN MENGGUNAKAN METODE FUZZY RANDOM FOREST
Comment Share
Sriyaningsih, Tia

The occurrence of rain can hamper human activities, hence the need to predict rainfall events to anticipate the possibility of bad things that will happen. Prediction of rain events is useful in various fields such as transportation, agriculture and industry. In this study using the fuzzy random forest method which is a combination of fuzzy sets and random forest, this method produces good pred…

Edition
-
ISBN/ISSN
-
Collation
xiv, 52 hlm.; ilus.; 29 cm
Series Title
-
Call Number
T1291352023
Availability1
Add to basket
MARC DownloadCite
cover
Everything that Linguists have Always Wanted to Know about Logic* * but were …
Comment Share
McCawley, James D.

Edition
-
ISBN/ISSN
0-226-55618-2
Collation
ix, 508 p.; 23 cm.
Series Title
-
Call Number
401 McC e

Edition
-
ISBN/ISSN
0-226-55618-2
Collation
ix, 508 p.; 23 cm.
Series Title
-
Call Number
401 McC e
Availability1
Add to basket
MARC DownloadCite
cover
Neuroprotective Effects of Phytochemicals in Neurological Disorders
Comment Share
Farooqui, TahiraFarooqui, Akhlaq A.

Edition
-
ISBN/ISSN
978-1-119-15514-0
Collation
xxiii, 618p.; 25 cm.; Illus.
Series Title
-
Call Number
616.852 Neu n

Edition
-
ISBN/ISSN
978-1-119-15514-0
Collation
xxiii, 618p.; 25 cm.; Illus.
Series Title
-
Call Number
616.852 Neu n
Availability1
Add to basket
MARC DownloadCite
cover
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5…
Comment Share
Isac, OmriIvanov, RadoslavKatz, GuyNarodytska, NinaNenzi, Laura

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.

Edition
1
ISBN/ISSN
978-3-031-21222-2
Collation
x, 205p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
511.360 Sof
Availability1
Add to basket
MARC DownloadCite
cover
R-Calculus, III: Post Three-Valued Logic
Comment Share
Li, WeiSui, Yuefei

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 postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent…

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
Availability1
Add to basket
MARC DownloadCite
cover
Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLL…
Comment Share
Özgün, AybükeZinova, Yulia

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The sympos…

Edition
1
ISBN/ISSN
978-3-030-98479-3
Collation
xvi, 355p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
511.360 Log
Availability1
Add to basket
MARC DownloadCite
cover
Logic-Based Program Synthesis and Transformation: 31st International Symposiu…
Comment Share
Angelis, Emanuele DeVanhoof, Wim

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was …

Edition
1
ISBN/ISSN
978-3-030-98869-2
Collation
ix, 177p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
511.360 Log
Availability1
Add to basket
MARC DownloadCite
cover
PHARMACOLOGY AND THERAPEUTICS FOR DENTISTRY, SIXTH EDITION
Comment Share
Yagiela, John A.;Down, Frank J.;Johnson, Barto S.;Mariotti, Angelo J.;Neidle, Enid A.

Edition
6
ISBN/ISSN
978-0-323-05593-2
Collation
xii, 942 p..; 28,5 cm.; illus.
Series Title
-
Call Number
615.19 Pha p

Edition
6
ISBN/ISSN
978-0-323-05593-2
Collation
xii, 942 p..; 28,5 cm.; illus.
Series Title
-
Call Number
615.19 Pha p
Availability2
Add to basket
MARC DownloadCite
cover
CHAPMAN & NAKIELNY AIDS TO RADIOLOGICAL DIFFERENTIAL DIAGNOSIS
Comment Share
Chapman, StephenNakielny, RichardDavies, Stephen G.

Edition
5
ISBN/ISSN
978-0-7020-2979-0
Collation
xvi, 519p.; 21,5 cm.; Illus.
Series Title
-
Call Number
616.075 7 Cha c

Edition
5
ISBN/ISSN
978-0-7020-2979-0
Collation
xvi, 519p.; 21,5 cm.; Illus.
Series Title
-
Call Number
616.075 7 Cha c
Availability1
Add to basket
MARC DownloadCite
cover
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
Comment Share
Blanchette, JasminKovács, LauraPattinson, Dirk

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT…

Edition
1
ISBN/ISSN
978-3-031-10769-6
Collation
xv, 756p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.13 Aut
Availability1
Add to basket
MARC DownloadCite
cover
PSYCHOLOGICAL TESTING Seventh Edition
Comment Share
Anastasi, AnneUrbina, Susana

Edition
7th
ISBN/ISSN
0-13-614488-8
Collation
xiii, 721 p. : ill. ; 23 cm.
Series Title
INTERNATIONAL EDITION
Call Number
158.3 Ana p

Edition
7th
ISBN/ISSN
0-13-614488-8
Collation
xiii, 721 p. : ill. ; 23 cm.
Series Title
INTERNATIONAL EDITION
Call Number
158.3 Ana p
Availability5
Add to basket
MARC DownloadCite
cover
Lippincott Illustrated Reviews : Integrated Systems
Comment Share
Harvey, Richard A.Leeper-Woodford, Sandra K.Adkison, Linda R.

Edition
-
ISBN/ISSN
978-1-4963-1518-2
Collation
v, 457p.; ill.; 28cm
Series Title
Lippincott Illustrated Reviews
Call Number
612.807 6 Lip l

Edition
-
ISBN/ISSN
978-1-4963-1518-2
Collation
v, 457p.; ill.; 28cm
Series Title
Lippincott Illustrated Reviews
Call Number
612.807 6 Lip l
Availability1
Add to basket
MARC DownloadCite
cover
Automated Deduction – CADE 28: 28th International Conference on Automated D…
Comment Share
Platzer, AndréSutcliffe, Geoff

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, includin…

Edition
1
ISBN/ISSN
978-3-030-79876-5
Collation
xiv, 650p.: Ill.
Series Title
-
Call Number
511.360 Aut
Availability1
Add to basket
MARC DownloadCite
cover
Diabetes and Couples
Comment Share
Sánchez-Aragón, Rozzana

This book shows how psychological aspects of individuals and of couple relationships can work as both protective or risk factors to the health of diabetes patients and their partners. Departing from a social psychologic perspective, it analyzes how individual attributes and personal relationships influence health, focusing on the impacts that diabetes as a chronic-degenerative disease has on th…

Edition
1
ISBN/ISSN
978-3-030-68498-3
Collation
xiv, 231p.:ill
Series Title
-
Call Number
616.462 Dia
Availability1
Add to basket
MARC DownloadCite
cover
Finance 4.0 - Towards a Socio-Ecological Finance System: A Participatory Fram…
Comment Share
Dapp, Marcus M.Helbing, DirkKlauser, Stefan

This Open Access book outlines ideas for a novel, scalable and, above all, sustainable financial system. We all know that today’s global markets are unsustainable and global governance is not effective enough. Given this situation, could one boost smart human coordination, sustainability and resilience by tweaking society at its core: the monetary system? A Computational Social Science tea…

Edition
1
ISBN/ISSN
978-3-030-71400-0
Collation
ix, 109p.: Ill.
Series Title
SpringerBriefs in Applied Sciences and Technology
Call Number
332.31 Fin
Availability1
Add to basket
MARC DownloadCite
cover
Culture as Process
Comment Share
Wagoner,BradyChristensen, Bo AllesøeDemuth, Carolin

Jaan Valsiner has made numerous contributions to the development of psychology over the last 40 years. He is internationally recognized as a leader and innovator within both developmental psychology and cultural psychology, and has received numerous prizes for his work: the Alexander von Humboldt prize, the Hans Killian prize, and the Outstanding International Psychologist Award from the Americ…

Edition
1
ISBN/ISSN
978-3-030-77892-7
Collation
xii, 476p.:Ill
Series Title
-
Call Number
306.019 Cul
Availability1
Add to basket
MARC DownloadCite
cover
Complications in Ocular Surgery A Guide to Managing the Most Common Challenges
Comment Share
Agarwal, Amar.Jacob, Soosan

Edition
-
ISBN/ISSN
978-1-61711-054-2
Collation
xvii, 343p.; 28,5 cm.; Illus.
Series Title
-
Call Number
617.71 Com c

Edition
-
ISBN/ISSN
978-1-61711-054-2
Collation
xvii, 343p.; 28,5 cm.; Illus.
Series Title
-
Call Number
617.71 Com c
Availability1
Add to basket
MARC DownloadCite
cover
Panic Buying
Comment Share
Arafat,S.M. YasirKar,Sujita KumarKabir, Russell

This brief provides a thorough overview of the history and underlying motivations for consumer panic buying, evaluating psychological perspectives on this behavior on both an individual and societal level. The first volume of its kind to focus specifically on the topic of panic buying, the book situates its analysis within the context of the modern COVID-19 pandemic as well as in a broader psyc…

Edition
1
ISBN/ISSN
978-3-030-70726-2
Collation
xv, 128p.:ill
Series Title
SpringerBriefs in Psychology
Call Number
658.834 201 9 Pan
Availability1
Add to basket
MARC DownloadCite
cover
Place and Post-Pandemic Flourishing
Comment Share
Counted, VictorCowden, Richard G.Ramkissoon, Haywantee

This book rekindles the well-known connection between people and place in the context of a global pandemic. The chapters are divided into two sections. In the first section, “Place Attachment During a Pandemic,” we review the nature of the COVID-19 pandemic and the extent of its impact on place attachment and human-environment interactions. We examine how restrictions in mobility and enviro…

Edition
1
ISBN/ISSN
978-3-030-82580-5
Collation
ix, 111p.:ill
Series Title
SpringerBriefs in Psychology
Call Number
155.9 Cou p
Availability1
Add to basket
MARC DownloadCite
cover
COVID-19 and Psychology
Comment Share
Haas, John G.

Already, the COVID-19 pandemic has left a deep mark on all levels of human activity and sentiment. As far as the best possible management of the situation is concerned, it is not only up to governments and experts in health systems, but ultimately up to each individual to act appropriately. Understanding the psychological background and the societal context is essential. This essential is also …

Edition
1
ISBN/ISSN
978-3-658-34893-9
Collation
xvii, 64p.:ill
Series Title
-
Call Number
614.592 414 Haa c
Availability1
Add to basket
MARC DownloadCite
cover
Brain Plasticity and Learning
Comment Share
Hawkins, Jennifer Anne

This book synthesizes the latest findings on neuroplasticity and learning, drawing on rich phenomenological research carried out with teachers, psychologists, parents and students from around the world to examine the implications for current teaching and for the advancement of learning methods. Building on the author’s previous work in this area, the volume considers in depth the function of …

Edition
1
ISBN/ISSN
978-3-030-83530-9
Collation
xvi, 341p.:ill
Series Title
-
Call Number
612.8 Haw b
Availability1
Add to basket
MARC DownloadCite
cover
The Psychology of Global Crises and Crisis Politics
Comment Share
Strasser, IreneDege, Martin

This edited volume brings together some of the most prominent scholars in the fields of theoretical, critical, and political psychology to examine crisis phenomena. The book investigates the role of psychology as a science in times of crisis, discusses how socio-political change affects the discipline and profession, and renders psychological interventions as forms of political action. The a…

Edition
1
ISBN/ISSN
978-3-030-76939-0
Collation
XV, 360p.:Ill
Series Title
-
Call Number
155.935 The
Availability1
Add to basket
MARC DownloadCite
cover
Augmented Humanity
Comment Share
Bryant, Peter T.

This open access book will examine the implications of digitalization for the understanding of humanity, conceived as a community of intelligent agency. It addresses important topics across a range of social and behavioral theories and identifies a range of novel mechanisms and their social behavioral effects. Across the book, the author highlights the expansion of intelligent processing capabi…

Edition
1
ISBN/ISSN
978-3-030-76445-6
Collation
xxiii, 308p.:ill
Series Title
-
Call Number
004.019 Bry a
Availability1
Add to basket
MARC DownloadCite
cover
Graph Structures for Knowledge Representation and Reasoning: 6th Internationa…
Comment Share
Cochez, MichaelCroitoru, MadalinaMarquis, PierreRudolph, Sebastian

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were revie…

Edition
1
ISBN/ISSN
978-3-030-72308-8
Collation
ix, 151p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
006.332 Gra
Availability1
Add to basket
MARC DownloadCite
cover
STRESS AND ENVIRONMENTAL REGULATION OF GENE EXPRESSION AND ADAPTATION IN BACT…
Comment Share
Bruijn, Frans J

Edition
-
ISBN/ISSN
9781119004882
Collation
xv, 1472p.; ill.; 29cm
Series Title
-
Call Number
616.01 Str s

Edition
-
ISBN/ISSN
9781119004882
Collation
xv, 1472p.; ill.; 29cm
Series Title
-
Call Number
616.01 Str s
Availability1
Add to basket
MARC DownloadCite
cover
PGD-Based Modeling of Materials, Structures and Processes
Comment Share
Chinesta, FranciscoCueto, Elías

This book focuses on the development of a new simulation paradigm allowing for the solution of models that up to now have never been resolved and which result in spectacular CPU time savings (in the order of millions) that, combined with supercomputing, could revolutionize future ICT (information and communication technologies) at the heart of science and technology. The authors have recently p…

Edition
1
ISBN/ISSN
978-3-319-06182-5
Collation
xvii, 219p.: Ill.
Series Title
ESAFORM Bookseries on Material Forming
Call Number
620.100 Chi p
Availability1
Add to basket
MARC DownloadCite
cover
Human-Centric Decision-Making Models for Social Sciences
Comment Share
Pedrycz, WitoldGuo, Peijun

The volume delivers a wealth of effective methods to deal with various types of uncertainty inherently existing in human-centric decision problems. It elaborates on comprehensive decision frameworks to handle different decision scenarios, which help use effectively the explicit and tacit knowledge and intuition, model perceptions and preferences in a more human-oriented style. The book pres…

Edition
1
ISBN/ISSN
978-3-642-39307-5
Collation
viii, 418p.: Ill.
Series Title
Studies in Computational Intelligence
Call Number
658.403 01 Hum
Availability1
Add to basket
MARC DownloadCite
cover
CLINICAL GYNECOLOGIC ENDOCRINOLOGY AND INFERTILITY, Sixth Edition
Comment Share
Mitchell, CharlesSperoff, Leon;Glass, Robert H.;Kase, Nathan G.

Edition
6
ISBN/ISSN
0-683-30379-1
Collation
x, 1200p.; ill.; 29cm
Series Title
-
Call Number
618.1 Spa c

Edition
6
ISBN/ISSN
0-683-30379-1
Collation
x, 1200p.; ill.; 29cm
Series Title
-
Call Number
618.1 Spa c
Availability1
Add to basket
MARC DownloadCite
cover
Emerging Research in Electronics, Computer Science and Technology: Proceeding…
Comment Share
Sridhar, VSheshadri, Holalu SeenappaPadma, M C

PES College of Engineering is organizing an International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT-12) in Mandya and merging the event with Golden Jubilee of the Institute. The Proceedings of the Conference presents high quality, peer reviewed articles from the field of Electronics, Computer Science and Technology. The book is a compilation of res…

Edition
1
ISBN/ISSN
978-81-322-1157-0
Collation
xxiii, 947p.: Ill.
Series Title
Lecture Notes in Electrical Engineering
Call Number
338.064 Eme
Availability1
Add to basket
MARC DownloadCite
First Page Previous 6 7 8 9 10 Next Last Page
The Sriwijaya University Library
  • Information
  • Services
  • Librarian
  • Member Area

About Us

As a complete Library Management System, SLiMS (Senayan Library Management System) has many features that will help libraries and librarians to do their job easily and quickly. Follow this link to show some features provided by SLiMS.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2026 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?