BINTANGPUSNAS EDU
INSTAGRAM
WEBSITE UNITOMO
LIBRARY UNITOMO
DIGILIB UNITOMO
E-JOURNAL DIKTI
E-BOOK
ONESEARCH
NELITI
EMERALD
SINTA
GOOGLE SCHOLAR
iPUSNAS
Pilih Bahasa
Arabic
Bengali
Brazilian Portuguese
Cina
Korea
English
Espanol
German
Indonesia
Thai
Melayu
Persia
PERPUSTAKAAN UNIVERSITAS DR. SOETOMO
Mandiri - Modern - Beretika
Beranda Depan
Info Perpustakaan
Agenda
Kotak Saran
Koleksi Terbaru
Cek Peminjaman
Bantuan Pencarian
Kuisioner
MASUK Pustakawan
Koleksi
Kembali
Pencarian
Pencarian
Pengarang
SEARCHING...
Subyek
SEARCHING...
Tahun
Category
All Media/Prodi
Prodi D3 Kebidanan
Prodi D3 Kesekretariatan
Prodi D3 Teknologi Bank Darah
Prodi S1 Adm. Bisnis
Prodi S1 Adm. Publik
Prodi S1 Agrobisnis Perikanan
Prodi S1 Akuntansi
Prodi S1 Budidaya Perairan
Prodi S1 Ekonomi Pembangunan
Prodi S1 Ilmu Hukum
Prodi S1 Ilmu Komunikasi
Prodi S1 Manajemen
Prodi S1 Pend. Matematika
Prodi S1 Pend.Bhs.& Sastra Ind
Prodi S1 PSDP
Prodi S1 Sastra Inggris
Prodi S1 Sastra Jepang
Prodi S1 Teknik Geomatika
Prodi S1 Teknik Informatika
Prodi S1 Teknik Sipil
Prodi S1 Teknologi Pangan
Prodi S2 Ilmu Administrasi
Prodi S2 Ilmu Hukum
Prodi S2 Ilmu Komunikasi
Prodi S2 Manajemen
Prodi S2 Pendidikan Bhs.Ind
Prodi S2 Teknologi Pendidikan
Prodi S3 Manajemen
Umum
Tipe Koleksi
Semua Koleksi
Buletin
CD (e-book)
CD (e-journal)
CD (e-majalah)
Diktat
e-Artikel
e-Book
e-Jurnal Internasional
e-Jurnal Nas. Terakreditasi
e-Jurnal Nasional
e-Paper
e-Proceeding
Fiction
Fiction (Reserve)
International Corner
International Corner (Reserve)
Jurnal Internasional
Jurnal Nasional
Jurnal Nasional Terakreditasi
Kliping
Laporan Penelitian
Majalah
Modul Bahan Ajar
Prosiding
Reference
Skripsi[Lihat E-SKRIPSI&TESIS]
Textbook
Textbook (Reserve)
Thesis
Tugas Akhir
Lokasi
Semua Lokasi
Electronic Resource
Rak A (Buku Teks)
Rak Audio - Visual
Rak B (Buku Teks)
Rak Buku Fiksi
Rak Buku Kebidanan dan TBD (Rak U)
Rak C (Buku Teks)
Rak Cadangan (Silahkan Hubungi Petugas)
Rak D (Buku Teks)
Rak E (Buku Teks)
Rak F (Buku Teks)
Rak G (Buku Teks)
Rak H (Buku Teks)
Rak I (Buku Teks)
Rak International Corner
Rak J (Buku Teks)
Rak Jurnal
Rak K (Buku Teks)
Rak L (Buku Teks)
Rak Laporan Penelitian
Rak M (Buku Teks)
Rak Majalah
Rak N (Buku Teks)
Rak O (Buku Teks)
Rak P (Buku Teks)
Rak Prosiding
Rak Q (Buku Teks)
Rak R (Buku Teks)
Rak REF (Referensi)
Rak S (Buku Teks)
Rak Skripsi
Rak T (Buku Teks)
Rak U (Buku Teks)
RUANG BACA PRODI MAGISTER HUKUM
RUANG BACA PRODI MAGISTER ILMU ADMINISTRASI
RUANG BACA PRODI MAGISTER ILMU KOMUNIKASI
RUANG BACA PRODI MAGISTER MANAJEMEN
RUANG BACA PRODI MAGISTER PENDIDIKAN
Pencarian Spesifik
Ditemukan
29
dari pencarian Anda melalui kata kunci:
Subject :
"SOFTWARE ENGINEERING"
Permintaan membutuhkan
0.53856
detik untuk selesai
XML Result
1
2
Berikutnya
Halaman Akhir
Teknika : Jurnal Teknologi Informasi dan Komunikasi
Detail Cantuman
XML Detail
Bagikan:
Indonesian Journal of Computing, Engineering, and Design
Detail Cantuman
XML Detail
Bagikan:
COMMIT (COMMUNICATION AND INFORMATION TECHNOLOGY) JOURNAL
Detail Cantuman
XML Detail
Bagikan:
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings
Pengarang
: Heike Wehrheim - Jordi Cabot -
Detail Cantuman
XML Detail
Bagikan:
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Pengarang
: Groote, Jan Friso - Larsen, Kim Guldstrand -
Detail Cantuman
XML Detail
Bagikan:
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Pengarang
: Johnsen, Einar Broch - Wimmer, Manuel -
Detail Cantuman
XML Detail
Bagikan:
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
Pengarang
: Böhm, Wolfgang - Broy, Manfred - Klein, Cornel ( - Klein, Cornel - Pohl, Klaus -
Detail Cantuman
XML Detail
Bagikan:
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Pengarang
: Guerra, Esther - Stoelinga, Mariëlle -
Detail Cantuman
XML Detail
Bagikan:
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Pengarang
: Carreira, Paulo - Amaral, Vasco - Vangheluwe, Hans -
Detail Cantuman
XML Detail
Bagikan:
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Pengarang
: Silva, Alexandra - Leino, K. Rustan M. -
Detail Cantuman
XML Detail
Bagikan:
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Pengarang
: Silva, Alexandra - Leino, K. Rustan M. -
Detail Cantuman
XML Detail
Bagikan:
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Pengarang
: Lahiri, Shuvendu K - Wang, Chao -
Detail Cantuman
XML Detail
Bagikan:
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Pengarang
: Lahiri, Shuvendu K - Wang, Chao -
Detail Cantuman
XML Detail
Bagikan:
Benefit/Cost-Driven Software Development : With Benefit Points and Size Points
Pengarang
: Hannay, Jo Erskine -
Detail Cantuman
XML Detail
Bagikan:
Agile Processes in Software Engineering and Extreme Programming : 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings
Pengarang
: Kruchten, Philippe - Fraser, Steven - Coallier, François -
Detail Cantuman
XML Detail
Bagikan:
Agile Processes in Software Engineering and Extreme Programming : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings
Pengarang
: Stray, Viktoria - Hoda, Rashina - Paasivaara, Maria - Kruchten, Philippe -
Detail Cantuman
XML Detail
Bagikan:
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Pengarang
: Yoshida, Nobuko -
Detail Cantuman
XML Detail
Bagikan:
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Pengarang
: Dillig, Isil - Tasiran, Serdar -
Detail Cantuman
XML Detail
Bagikan:
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Pengarang
: Dillig, Isil - Tasiran, Serdar -
Detail Cantuman
XML Detail
Bagikan:
Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Pengarang
: Platzer, André - Sutcliffe, Geoff -
Detail Cantuman
XML Detail
Bagikan:
1
2
Berikutnya
Halaman Akhir
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog