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}}
Hal. Awal
Sebelumnya
1
2
3
4
5
Berikutnya
Hal. Akhir
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
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
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Agile Processes in Software Engineering and Extreme Programming
Rashina Hoda
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-30126-2
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Business Information Processing
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-30126-2
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Business Information Processing
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Programming for Computations - Python
Hans Petter Langtangen
Svein Linge
Edisi
2nd ed. 2020
ISBN/ISSN
978-3-030-16877-3
Deskripsi Fisik
-
Judul Seri
Texts in Computational Science and Engineering
No. Panggil
-
Edisi
2nd ed. 2020
ISBN/ISSN
978-3-030-16877-3
Deskripsi Fisik
-
Judul Seri
Texts in Computational Science and Engineering
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
The Future of Software Quality Assurance
Stephan Goericke
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-29509-7
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-29509-7
Deskripsi Fisik
-
Judul Seri
-
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-45237-7
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-45237-7
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
Heike Wehrheim
Jordi Cabot
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-45234-6
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-45234-6
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Paulo Carreira
Vasco Amaral
Hans Vangheluwe
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-43946-0
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-43946-0
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Ketersediaan
1
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
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Agile Processes in Software Engineering and Extreme Programming
Rashina Hoda
Philippe Kruchten
Viktoria Stray
Maria Paasivaara
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-49392-9
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Business Information Processing
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-49392-9
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Business Information Processing
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Introduction to Scientific Programming with Python
Joakim Sundnes
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-50356-7
Deskripsi Fisik
-
Judul Seri
Simula SpringerBriefs on Computing
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-50356-7
Deskripsi Fisik
-
Judul Seri
Simula SpringerBriefs on Computing
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
The Cloud-to-Thing Continuum
Theo Lynn
John G. Mooney
Brian Lee
Patricia Takako Endo
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-41110-7
Deskripsi Fisik
-
Judul Seri
Palgrave Studies in Digital Business & Enabling Technologies
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-41110-7
Deskripsi Fisik
-
Judul Seri
Palgrave Studies in Digital Business & Enabling Technologies
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
Towards Interoperable Research Infrastructures for Environmental and Earth Sc…
Zhiming Zhao
Margareta Hellstr
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-52829-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-52829-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Technical, Economic and Societal Effects of Manufacturing 4.0
Mikael Collan
Karl
Erik Michelsen
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-46103-4
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-46103-4
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Ernst Denert Award for Software Engineering 2019
Ralf Reussner
Wilhelm Hasselbring
Michael Felderer
Heiko Koziolek
Florian Matthes
Lutz Prechelt
Bernhard Rumpe
Ina Schaefer
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-58617-1
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Edisi
1st ed. 2020
ISBN/ISSN
978-3-030-58617-1
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Model-Based Engineering of Collaborative Embedded Systems
Bernhard Rumpe
Manfred Broy
Cornel Klein
Klaus Pohl
Sebastian Schr
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-62136-0
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-62136-0
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Building Better Interfaces for Remote Autonomous Systems
Jacob D. Oury
Frank E. Ritter
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-47775-2
Deskripsi Fisik
-
Judul Seri
Human
No. Panggil
-
Edisi
1st ed. 2021
ISBN/ISSN
978-3-030-47775-2
Deskripsi Fisik
-
Judul Seri
Human
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Hal. Awal
Sebelumnya
1
2
3
4
5
Berikutnya
Hal. Akhir
Hasil Pencarian
Ditemukan
193
dari pencarian Anda melalui kata kunci:
Subjek :
"Software"
Saat ini anda berada pada halaman
3
dari total
10
halaman
Permintaan membutuhkan
0,00866
detik untuk selesai
XML Result
JSON Result
Saran
إدارة المدرسة و إدارة الصف: الخطيط الاستراتيجي لضمان الجودة والاعتماد
حجي, أحمد إسماعيل
البيوع الشائعة واثر ضوابط المبيع على شرعيتها
Muhammad Taufiq Ramadhan al Buthi - محمد توفيق رمضان البوطي
Seni Dalam Pandangan Islam : Seni Vocal, Musik, dan Tari
Abdurrahman Al Baghdadi - Islisyah Asman (penyunting) - Rahnat Kurnia (penyuntind)
Perang salib dan kebangkitan kembali ekonomi Eropa
Ajat Sudrajat
Analisis Mengenai Dampak Lingkungan Prinsip Dasar Dalam Pembangunan
Chafid Fandeli
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
Pencarian Spesifik
×
Judul
Pengarang
Subjek
ISBN/ISSN
Tipe Koleksi
Semua Koleksi
Disertasi
Fiction
Koleksi Khusus
Laporan Penelitian
PKPBA
Referensi
Skripsi
Tesis
Textbook
Umum
Lokasi
Semua Lokasi
My Library
Perpustakaan Fak. Kedokteran dan Ilmu Kesehatan
Perpustakaan Pasca Sarjana
Perpustakaan Pascasarjana
Perpustakaan Pusat UIN
PSG
PSIKOLOGI
UIN
GMD
Semua GMD/Media
Art Original
Article Index
Book
Cartographic Material
CD-ROM
Chart
Compact Disk
Computer File
Computer Software
Digital Versatile Disc
Diorama
Dissecting Discrimination
Distance and Digital Education
Electronic Resource
Equipment
Filmstrip
Flash Card
Game
Globe
gmd_name
Jurnal
Kit
Liquidity, Markets and Trading
Manuscript
Map
Markets and Trading in Action\
Microform
Microscope Slide
Model
Motion Picture
Multimedia
Music
Picture
print
Printed Media
Realia
Slide
Sound Recording
Technical Drawing
Text
Text - Riset
Transparency
Video Recording