Pusat Perpustakaan
Universitas Islam Negeri Maulana Malik Ibrahim Malang
Beranda
Informasi
Berita
Bantuan
Pustakawan
Area Anggota
Masuk
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
ATAU COBA
Pencarian Spesifik
Pencarian terakhir:
{{tmpObj[k].text}}
Fundamental Approaches to Software Engineering
Alessandra Russo
Andy Sch
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-89363-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-89363-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Principles of Security and Trust
Lujo Bauer
Ralf K
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-89722-6
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-89722-6
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Programming Languages and Systems
Amal Ahmed
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-89884-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2018
ISBN/ISSN
978-3-319-89884-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Principles of Security and Trust
Flemming Nielson
David Sands
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-17138-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-17138-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Fundamental Approaches to Software Engineering
Wil van der Aalst
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-16722-6
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-16722-6
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Programming Languages and Systems
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-17184-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-17184-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Managed Software Evolution
Ralf Reussner
Michael Goedicke
Wilhelm Hasselbring
Birgit Vogel
Heuser
Jan Keim
Lukas M
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-13499-0
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-13499-0
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Computer Aided Verification
Isil Dillig
Serdar Tasiran
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-25540-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-25540-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Programming Languages and Systems
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-44914-8
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-44914-8
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
David Parker
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-45190-5
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-45190-5
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Computer Aided Verification
Shuvendu K. Lahiri
Chao Wang
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-53288-8
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-53288-8
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Computer Aided Verification
Shuvendu K. Lahiri
Chao Wang
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-53291-8
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-53291-8
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Fundamental Approaches to Software Engineering
Esther Guerra
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-71500-7
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-71500-7
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote
Kim Guldstrand Larsen
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-72016-2
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-72016-2
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
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
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote
Kim Guldstrand Larsen
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-72013-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-72013-1
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Hasil Pencarian
Ditemukan
16
dari pencarian Anda melalui kata kunci:
Subjek :
"Theory of Computation"
Permintaan membutuhkan
0,00566
detik untuk selesai
XML Result
JSON Result