Universitas Islam Negeri Maulana Malik Ibrahim Malang

Ditemukan 16 dari pencarian Anda melalui kata kunci: subject="Theory of Computation...

Sort by

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

Principles of Security and Trust

Komentar Penanda Bagikan

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Programming Languages and Systems

Komentar Penanda Bagikan

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

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

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

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

Managed Software Evolution

Komentar Penanda Bagikan

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Computer Aided Verification

Komentar Penanda Bagikan

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Programming Languages and Systems

Komentar Penanda Bagikan

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Tools and Algorithms for the Construction and Analysis of Systems

Komentar Penanda Bagikan

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

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

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

Fundamental Approaches to Software Engineering

Komentar Penanda Bagikan

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

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

Ketersediaan1

Tambahkan ke dalam keranjang

Unduh MARC Sitasi

Foundations of Software Science and Computation Structures

Komentar Penanda Bagikan

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

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

Ditapis dengan