Universitas Islam Negeri Maulana Malik Ibrahim Malang

Ditemukan 193 dari pencarian Anda melalui kata kunci: subject="Software"

Sort by

Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

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

Benefit/Cost-Driven Software Development

Komentar Penanda Bagikan

Jo Erskine Hannay

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-74218-8
Deskripsi Fisik: -
Judul Seri: Simula SpringerBriefs on Computing
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-74218-8
Deskripsi Fisik: -
Judul Seri: Simula SpringerBriefs on Computing
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Programming Languages and Systems

Komentar Penanda Bagikan

Nobuko Yoshida

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

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-72019-3
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

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Building Better Interfaces for Remote Autonomous Systems

Komentar Penanda Bagikan

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Model-Based Engineering of Collaborative Embedded Systems

Komentar Penanda Bagikan

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Ernst Denert Award for Software Engineering 2019

Komentar Penanda Bagikan

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Agile Processes, in Software Engineering, and Extreme Programming

Komentar Penanda Bagikan

Helen Sharp Tracy Hall

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-33515-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Business Information Processing
No. Panggil: -

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-33515-5
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Business Information Processing
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Programming Languages and Systems

Komentar Penanda Bagikan

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Fundamental Approaches to Software Engineering

Komentar Penanda Bagikan

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: -

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

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

The Essence of Software Engineering

Komentar Penanda Bagikan

Volker Gruhn

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-73897-0
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-73897-0
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Agile Processes in Software Engineering and Extreme Programming

Komentar Penanda Bagikan

Juan Garbajosa Xiaofeng Wang Ademar Aguiar

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-91602-6
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Business Information Processing
No. Panggil: -

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-91602-6
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Business Information Processing
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Fundamental Approaches to Software Engineering

Komentar Penanda Bagikan

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Open Source Systems: Towards Robust Practices

Komentar Penanda Bagikan

Federico Balaguer Roberto Di Cosmo Alejandra Garrido Fabio Kon Gregorio Robles Stefano Zacchiroli

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-57735-7
Deskripsi Fisik: -
Judul Seri: IFIP Advances in Information and Communication Technology
No. Panggil: -

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-57735-7
Deskripsi Fisik: -
Judul Seri: IFIP Advances in Information and Communication Technology
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Scaling a Software Business

Komentar Penanda Bagikan

Brian Fitzgerald Klaas-Jan Stol Sten Min Henrik Cosmo

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-53116-8
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed. 2017
ISBN/ISSN: 978-3-319-53116-8
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Cyber-Physical Systems of Systems

Komentar Penanda Bagikan

Andrea Bondavalli Sara Bouchenak Hermann Kopetz

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Ditapis dengan