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 1 2 3 4 5 Next Last Page
cover
Handbook of Edological Indicators for Assessment of Ecosystem Health
Comment Share
Costanza, RobertXu, Fu-LiuJorgensen, Sven E.

Edition
-
ISBN/ISSN
1-56670-665-3
Collation
439 p. ; 23 cm
Series Title
-
Call Number
577.27 Han h

Edition
-
ISBN/ISSN
1-56670-665-3
Collation
439 p. ; 23 cm
Series Title
-
Call Number
577.27 Han h
Availability2
Add to basket
MARC DownloadCite
cover
HANDBOOK OF Biological Control : Principles and Applications of Biological Co…
Comment Share
Bellows, Thomas S.Fisher, TW

Edition
-
ISBN/ISSN
0-12-257305-6
Collation
1046 p.; bibl, ilus.; 38 cm
Series Title
-
Call Number
632 Han h

Edition
-
ISBN/ISSN
0-12-257305-6
Collation
1046 p.; bibl, ilus.; 38 cm
Series Title
-
Call Number
632 Han h
Availability1
Add to basket
MARC DownloadCite
cover
The Signed Distance Measure in Fuzzy Statistical Analysis
Comment Share
Berkachy, Rédina

The main focus of this book is on presenting advances in fuzzy statistics, and on proposing a methodology for testing hypotheses in the fuzzy environment based on the estimation of fuzzy confidence intervals, a context in which not only the data but also the hypotheses are considered to be fuzzy. The proposed method for estimating these intervals is based on the likelihood method and employs th…

Edition
1
ISBN/ISSN
978-3-030-76916-1
Collation
xxiiii, 346p.:ill
Series Title
Fuzzy Management Methods
Call Number
511.3 Ber t
Availability1
Add to basket
MARC DownloadCite
cover
Sports Psychology in Performance
Comment Share
Butler, Richard J.

Edition
-
ISBN/ISSN
-
Collation
xxii, 266 p. : ill. ; 22 cm.
Series Title
-
Call Number
796.01 But s

Edition
-
ISBN/ISSN
-
Collation
xxii, 266 p. : ill. ; 22 cm.
Series Title
-
Call Number
796.01 But s
Availability2
Add to basket
MARC DownloadCite
cover
Technology for Innovation
Comment Share
Bukhman, Isak

This book offers readers a simple, attractive, detailed knowledge of TRIZ and applied TRIZ, Technology for Innovation. The genius of Genrich Altshuller and his many followers created TRIZ by using the best practices of thousands of most talented engineers and scientists, which made our technological civilization. TRIZ is a science and philosophy for new system creation and existing systems d…

Edition
1
ISBN/ISSN
978-981-16-1041-7
Collation
xxii, 527p.:ill
Series Title
Management for Professionals
Call Number
658.514 Buk t
Availability1
Add to basket
MARC DownloadCite
cover
Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event,…
Comment Share
Poulakis, DimitriosRahonis, George

This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022. The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them l…

Edition
1
ISBN/ISSN
978-3-031-19685-0
Collation
xiv, 223p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
006.332 Alg
Availability1
Add to basket
MARC DownloadCite
cover
Logic-Based Program Synthesis and Transformation: 32nd International Symposiu…
Comment Share
Villanueva, Alicia

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and program…

Edition
1
ISBN/ISSN
978-3-031-16767-6
Collation
xiii, 155p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
006.332 Log
Availability1
Add to basket
MARC DownloadCite
cover
Biomechanics of Sport and Exercise, SECOND EDITION
Comment Share
McGinnis, Peter Merton

Edition
2nd
ISBN/ISSN
0-7360-5101-5
Collation
xii, 443 p. : ill, tab.; 28 cm.
Series Title
-
Call Number
612.7 McG b

Edition
2nd
ISBN/ISSN
0-7360-5101-5
Collation
xii, 443 p. : ill, tab.; 28 cm.
Series Title
-
Call Number
612.7 McG b
Availability1
Add to basket
MARC DownloadCite
cover
IMPLEMENTASI METODE FUZZY DECISION TREE C4.5 UNTUK KLASIFIKASI STATUS KESEHAT…
Comment Share
Devita, Tasya

The fetus or fetus is a creature in the womb that is developing after the embryo. Unhealthy maternal health conditions can threaten the health and safety of the fetus, as well as fetal health can threaten the health conditions of the mother to the developmental stage until death during childbirth. Worldwide, an estimated 2.8 million infants and pregnant women die each year. Therefore, the impor…

Edition
-
ISBN/ISSN
-
Collation
vi, 53 hlm.; ilus.; 29 cm
Series Title
-
Call Number
T949692023
Availability1
Add to basket
MARC DownloadCite
cover
KLASIFIKASI TINGKAT RISIKO KREDIT MENGGUNAKAN METODE NAIVE BAYES DAN FUZZY NA…
Comment Share
Leliani, Leliani

Credit is a condition of delivery in the form of goods, money or services from the first party (credit giver) to another party (credit recipient) with a joint agreement to be completed within a certain period of time in return for the additional principal. Customers who apply for credit must meet the conditions set by the bank with the aim of avoiding unexpected possibilities such as bad credit…

Edition
-
ISBN/ISSN
-
Collation
xiv, 69 hlm.; ilus.; 29 cm
Series Title
-
Call Number
T1075152023
Availability1
Add to basket
MARC DownloadCite
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
First Page Previous 1 2 3 4 5 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?