UPT Perpustakaan UNS

  • Beranda
  • Informasi
  • Berita
  • Bantuan
  • Pustakawan
  • Area Anggota
  • Pilih Bahasa :
    Bahasa Arab Bahasa Bengal Bahasa Brazil Portugis Bahasa Inggris Bahasa Spanyol Bahasa Jerman Bahasa Indonesia Bahasa Jepang Bahasa Melayu Bahasa Persia Bahasa Rusia Bahasa Thailand Bahasa Turki Bahasa Urdu

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 105 dari pencarian Anda melalui kata kunci: subject="Mathematical logic."
Hal. Awal Sebelumnya 11
cover
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Komentar Bagikan
Solojentsev, Evgueni D.SpringerLink (Online service)

Acronyms and general notations -- Management and Risk -- The Human Being and Risks -- Principles of Risk Management in Design -- Risk Management at Debugging Tests -- Risk Management in Operation on Basis of Monitoring -- Risk Management on Dangerous Plant -- Bases of Logic and Probabilistic Calculus -- Logic and Probabilistic Method and Risk -- Automated Structural and Logical Modelling -- Fou…

Edisi
1st ed. 2005.
ISBN/ISSN
9781402029783
Deskripsi Fisik
XVI, 392 p. 82 illus.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Modeling Decisions for Artificial Intelligence
Komentar Bagikan
Miyamoto, Sadaaki.Narukawa, Yasuo.SpringerLink (Online service)

Modeling Decisions for Artificial Intelligence: Theory, Tools and Applications -- Invited Talks -- Capacities and Games on Lattices: A Survey of Results -- Cryptosystems Based on Elliptic Curve Pairing -- Building a Brain-Informatics Portal on the Wisdom Web with a Multi-layer Grid: A New Challenge for Web Intelligence Research -- Soft Computing in Human Centered Systems Thinking -- Regular Pap…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540318835
Deskripsi Fisik
XII, 476 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Computational Logic in Multi-Agent Systems
Komentar Bagikan
Leite, João.SpringerLink (Online service)Torroni, Paolo.

Foundations -- A Logic for Knowledge, Correctness, and Real Time -- Dynamic Logic for Plan Revision in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates -- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs -- Architectures -- Declarative Agent Control -- Metareasoning for Multi-agent Epistemic Logics -- Graded BDI M…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540318576
Deskripsi Fisik
XII, 284 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Fuzzy Systems and Knowledge Discovery
Komentar Bagikan
Jin, Yaochu.SpringerLink (Online service)Wang, Lipo.

Fuzzy Theory and Models -- Uncertainty Management in Data Mining -- Uncertainty Management and Probabilistic Methods in Data Mining -- Approximate Reasoning -- Axiomatic Foundation -- Fuzzy Classifiers -- Fuzzy Clustering -- Fuzzy Database Mining and Information Retrieval -- Information Fusion -- Neuro-Fuzzy Systems -- Fuzzy Control -- Fuzzy Hardware -- Knowledge Visualization and Exploration -…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540318309
Deskripsi Fisik
XLI, 1334 p.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
cover
Controlling Language in Industry
Komentar Bagikan
Crabbe, Stephen.

- Chapter 1. Introduction and historical development of technical documents -- Chapter 2. Existing controlled languages for technical documents -- Chapter 3. Best-practice features of modern technical documents -- Chapter 4. Analysing existing controlled languages against the best-practice features -- Chapter 5. Developing a new controlled language for technical documents -- Chapter 6. Trialing…

Edisi
1st ed.
ISBN/ISSN
9783319527451
Deskripsi Fisik
XIII, 118 p. 15 illus.online resource.
Judul Seri
-
No. Panggil
-
Ketersediaan0
Tambahkan ke dalam keranjang
Unduh MARCSitasi
Hal. Awal Sebelumnya 11
UPT Perpustakaan UNS
  • Informasi
  • Layanan
  • Pustakawan
  • Area Anggota

Tentang Kami

UNSLA (UNS Library Automation) adalah sistem manajemen perpustakaan daring yang dikembangkan untuk mendukung layanan informasi, penelusuran koleksi, dan pengelolaan sumber daya pustaka di lingkungan Universitas Sebelas Maret. Menggunakan platform Senayan Library Management System (SLiMS), aplikasi ini memberikan kemudahan bagi pemustaka dan pustakawan dalam mengakses, mengelola, dan memanfaatkan koleksi perpustakaan secara cepat, akurat, dan terintegrasi.

Cari

masukkan satu atau lebih kata kunci dari judul, pengarang, atau subjek

Donasi untuk SLiMS Kontribusi untuk SLiMS?

© 2026 — Senayan Developer Community

Ditenagai oleh SLiMS
Pilih subjek yang menarik bagi Anda
  • Karya Umum
  • Filsafat
  • Agama
  • Ilmu-ilmu Sosial
  • Bahasa
  • Ilmu-ilmu Murni
  • Ilmu-ilmu Terapan
  • Kesenian, Hiburan, dan Olahraga
  • Kesusastraan
  • Geografi dan Sejarah
Icons made by Freepik from www.flaticon.com
Pencarian Spesifik
Kemana ingin Anda bagikan?