Universitas Islam Negeri Maulana Malik Ibrahim Malang

Ditemukan 1245 dari pencarian Anda melalui kata kunci: subject="MATI"

Sort by

Hal. Awal Sebelumnya 36 37 38 39 40 Berikutnya Hal. Akhir

Computer Aided Verification

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

The Everyday Life of an Algorithm

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Foundations of Software Science and Computation Structures

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

The Amazing Journey of Reason

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Foundations of Software Science and Computation Structures

Komentar Penanda Bagikan

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

Unduh MARC Sitasi

Automated Deduction

Komentar Penanda Bagikan

Geoff Sutcliffe

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

Alexandra Silva K. Rustan M. Leino

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

Alexandra Silva K. Rustan M. Leino

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Natural Computing and Beyond

Komentar Penanda Bagikan

Yasuhiro Suzuki Toshiyuki Nakagaki

Edisi: 2013
ISBN/ISSN: 978-4-431-54394-7
Deskripsi Fisik: -
Judul Seri: Proceedings in Information and Communications Technology
No. Panggil: -

Edisi: 2013
ISBN/ISSN: 978-4-431-54394-7
Deskripsi Fisik: -
Judul Seri: Proceedings in Information and Communications Technology
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Bioimage Data Analysis Workflows

Komentar Penanda Bagikan

Kota Miura Nata

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-22386-1
Deskripsi Fisik: -
Judul Seri: Learning Materials in Biosciences
No. Panggil: -

Edisi: 1st ed. 2020
ISBN/ISSN: 978-3-030-22386-1
Deskripsi Fisik: -
Judul Seri: Learning Materials in Biosciences
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Digital Video Concepts, Methods, and Metrics

Komentar Penanda Bagikan

Shahriar Akramullah

Edisi: 1st ed.
ISBN/ISSN: 978-1-4302-6713-3
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed.
ISBN/ISSN: 978-1-4302-6713-3
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

The Science of Citizen Science

Komentar Penanda Bagikan

Katrin Vohland Anne Land-zandstra Luigi Ceccaroni Rob Lemmens Josep Perell Marisa Ponti Roeland Samson Katherin Wagenknecht

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-58278-4
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-58278-4
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

New Horizons for a Data-Driven Economy

Komentar Penanda Bagikan

Edward Curry Wolfgang Wahlster

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-21569-3
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-21569-3
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Evaluating Information Retrieval and Access Tasks

Komentar Penanda Bagikan

Tetsuya Sakai Douglas W. Oard Noriko Kando

Edisi: 1st ed. 2021
ISBN/ISSN: 978-981-15-5554-1
Deskripsi Fisik: -
Judul Seri: The Information Retrieval Series
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-981-15-5554-1
Deskripsi Fisik: -
Judul Seri: The Information Retrieval Series
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

The Elements of Big Data Value

Komentar Penanda Bagikan

Edward Curry Andreas Metzger Sonja Zillner Jean-Christophe Pazzaglia Ana Garc

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-68176-0
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-68176-0
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Hal. Awal Sebelumnya 36 37 38 39 40 Berikutnya Hal. Akhir

Ditapis dengan