Universitas Islam Negeri Maulana Malik Ibrahim Malang

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

Sort by

Hal. Awal Sebelumnya 1 2 3 4

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

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

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

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

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

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

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

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

Solving PDEs in Python

Komentar Penanda Bagikan

Hans Petter Langtangen Anders Logg

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-52462-7
Deskripsi Fisik: -
Judul Seri: Simula SpringerBriefs on Computing
No. Panggil: -

Edisi: 1st ed. 2016
ISBN/ISSN: 978-3-319-52462-7
Deskripsi Fisik: -
Judul Seri: Simula SpringerBriefs on Computing
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Embedded Firmware Solutions

Komentar Penanda Bagikan

Vincent Zimmer Jiming Sun Marc Jones Stefan Reinauer

Edisi: 1st ed.
ISBN/ISSN: 978-1-4842-0070-4
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed.
ISBN/ISSN: 978-1-4842-0070-4
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Platform Embedded Security Technology Revealed

Komentar Penanda Bagikan

Xiaoyu Ruan

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

A Practical Guide to TPM 2.0

Komentar Penanda Bagikan

Will Arthur David Challener

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Pro Git

Komentar Penanda Bagikan

Scott Chacon Ben Straub

Edisi: 2nd ed.
ISBN/ISSN: 978-1-4842-0076-6
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 2nd ed.
ISBN/ISSN: 978-1-4842-0076-6
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

The Privacy Engineer's Manifesto

Komentar Penanda Bagikan

Michelle Dennedy Jonathan Fox Tom Finneran

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Optimizing HPC Applications with Intel Cluster Tools

Komentar Penanda Bagikan

Alexander Supalov Andrey Semin Christopher Dahnken Michael Klemm

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

GUI Design for Android Apps

Komentar Penanda Bagikan

Ryan Cohen Tao Wang

Edisi: 1st ed.
ISBN/ISSN: 978-1-4842-0382-8
Deskripsi Fisik: -
Judul Seri: -
No. Panggil: -

Edisi: 1st ed.
ISBN/ISSN: 978-1-4842-0382-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

Dirk Beyer Marieke Huisman

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

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-89960-2
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

Christel Baier Ugo Dal Lago

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

Edisi: 1st ed. 2018
ISBN/ISSN: 978-3-319-89366-2
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

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Principles of Security and Trust

Komentar Penanda Bagikan

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Hal. Awal Sebelumnya 1 2 3 4

Ditapis dengan