Universitas Islam Negeri Maulana Malik Ibrahim Malang

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

1 2 3 Berikutnya Hal. Akhir

Critical thinking

Brooke Noel Moore Richard Parker

Edisi: 8
ISBN/ISSN: -
Deskripsi Fisik: 545 hlm ; 24 cm
Judul Seri: -
No. Panggil: 160 MOO c

Edisi: 8
ISBN/ISSN: -
Deskripsi Fisik: 545 hlm ; 24 cm
Judul Seri: -
No. Panggil: 160 MOO c

Ketersediaan4

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Nuel Belnap on Indeterminism and Free Action

Edisi: 2014
ISBN/ISSN: 978-3-319-01754-9
Deskripsi Fisik: -
Judul Seri: Outstanding Contributions to Logic
No. Panggil: -

Edisi: 2014
ISBN/ISSN: 978-3-319-01754-9
Deskripsi Fisik: -
Judul Seri: Outstanding Contributions to Logic
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Advances in Proof-Theoretic Semantics

Thomas Piecha Peter Schroeder Heister

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-22686-6
Deskripsi Fisik: -
Judul Seri: Trends in Logic
No. Panggil: -

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-22686-6
Deskripsi Fisik: -
Judul Seri: Trends in Logic
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Fading Foundations

David Atkinson Jeanne Peijnenburg

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-58295-5
Deskripsi Fisik: -
Judul Seri: Synthese Library
No. Panggil: -

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-58295-5
Deskripsi Fisik: -
Judul Seri: Synthese Library
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Supercomputing Frontiers

Rio Yokota Weigang Wu

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-69953-0
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-69953-0
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Computer Aided Verification

Hana Chockler Georg Weissenbacher

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96145-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96145-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Computer Aided Verification

Hana Chockler Georg Weissenbacher

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96142-2
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-96142-2
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

The Everyday Life of an Algorithm

Daniel Neyland

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-00578-8
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-00578-8
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Variant Construction from Theoretical Foundation to Applications

Jeffrey Zheng

Edisi: 1st ed. 2019
ISBN/ISSN: 978-981-13-2282-2
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-981-13-2282-2
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

High-Performance Modelling and Simulation for Big Data Applications

Joanna Ko?odziej Horacio Gonz

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-16272-6
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-16272-6
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Lijun Zhang

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17465-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17465-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Lijun Zhang

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17462-0
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17462-0
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer Marieke Huisman Fabrice Kordon Bernhard Steffen

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17502-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17502-3
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Foundations of Software Science and Computation Structures

Miko?aj Boja?czyk Alex Simpson

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17127-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-17127-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Computer Aided Verification

Isil Dillig Serdar Tasiran

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-25543-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2019
ISBN/ISSN: 978-3-030-25543-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

The Amazing Journey of Reason

Mario Alemi

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-25962-4
Deskripsi Fisik: -
Judul Seri: SpringerBriefs in Computer Science
No. Panggil: -

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-25962-4
Deskripsi Fisik: -
Judul Seri: SpringerBriefs in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Foundations of Software Science and Computation Structures

Jean Goubault Larrecq Barbara K

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-45231-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-45231-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Reversible Computation: Extending Horizons of Computing

Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz Carla Ferreira

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-47361-7
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-47361-7
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Graph Structures for Knowledge Representation and Reasoning

Michael Cochez Madalina Croitoru Pierre Marquis Sebastian Rudolph

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-72308-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-72308-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Foundations of Software Science and Computation Structures

Stefan Kiefer Christine Tasson

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-71995-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-71995-1
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

1 2 3 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 52 dari pencarian Anda melalui kata kunci: Subjek : "Logic"

Permintaan membutuhkan 0,00697 detik untuk selesai

XML Result JSON Result

Saran

Sejarah dan kebudayaan Islam (Jilid I)

Syalabi, A.

مجموع فتاوى 29

Ahmad bin Taimiyah - أحمد بن تيمية

Masalah Bahasa Yang Dapat Anda Atasi Sendiri

Anton M. Moeliono

Al Asybahu wa al Nazha`iru 'ala Madzhabi Abi Hanifah al Nu'man (1)

Zainuddin bin Ibrahim Najim

Pendidikan Tinggi dan Tenaga Kerja Tingkat Tinggi di Indonesia

Hardjono Notodiharjo