Rustan: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (28)
Most Popular
List
- List
- Table

1

Rock Blasting Terms and Symbols: A Dictionary of Symbols and Terms in Rock Blasting and Related Areas like Drilling, Mining and Rock Mechanics

Rock Blasting Terms and Symbols: A Dictionary of Symbols and Terms in Rock Blasting and Related Areas like Drilling, Mining and Rock Mechanics

Taylor & Francis

Year:

1998

Language:

english

File:

PDF, 2.43 MB

0 / 0

english, 1998

2

Rock mechanics, drilling and blasting desk reference

Rock mechanics, drilling and blasting desk reference

Agne Rustan, et al

Year:

2010

Language:

english

File:

PDF, 4.12 MB

0 / 0

english, 2010

3

Kearifan Lokal untuk Peradaban Global: Melacak Filosofi Nilai Kearifan Lokal To Wani To Lotang dan Peranannya terhadap Penguatan Nilai-Nilai Kebhinnekaan di Indonesia

Kearifan Lokal untuk Peradaban Global: Melacak Filosofi Nilai Kearifan Lokal To Wani To Lotang dan Peranannya terhadap Penguatan Nilai-Nilai Kebhinnekaan di Indonesia

H. Mukhtar Yunus, Rustan Efendy, Muh Djunaidi

Year:

2019

Language:

indonesian

File:

PDF, 1.26 MB

0 / 0

indonesian, 2019

4

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Springer-Verlag Berlin Heidelberg

Barbara Jobstmann, K. Rustan M. Leino (eds.)

Year:

2016

Language:

english

File:

PDF, 16.77 MB

0 / 0

english, 2016

5

Program Proofs

Program Proofs

K. Rustan, M. Leino

Year:

2023

Language:

english

File:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

6

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Year:

2011

Language:

english

File:

PDF, 6.13 MB

0 / 0

english, 2011

7

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Springer Nature.

Parosh Aziz Abdulla (ed.), K. Rustan M. Leino (ed.)

Year:

2013

Language:

english

File:

PDF, 5.05 MB

0 / 5.0

english, 2013

8

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Year:

2011

Language:

english

File:

PDF, 5.68 MB

0 / 0

english, 2011

9

Panen Raya di Markas Lompoa: Desa Ulugalung Kecamatan Eremerasa Kabupaten Bantaeng

Panen Raya di Markas Lompoa: Desa Ulugalung Kecamatan Eremerasa Kabupaten Bantaeng

Pusaka Almaida Makassar

Rustan, Fika Suhardi, Sunarti S., Ahmad Roihan, Rika Auliana Muallim, Nurul Arifah Rezkiana, Sumarni, Tri Harry Muliana Amra, Ayulda Zulfaidar, Reski Usman

Year:

2017

Language:

indonesian

File:

PDF, 6.17 MB

0 / 0

indonesian, 2017

10

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Year:

2011

Language:

english

File:

PDF, 7.89 MB

0 / 0

english, 2011

11

Program Proofs

Program Proofs

K. Rustan M. Leino

Year:

2023

Language:

english

File:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

12

Cyborg Recruitment Project

Cyborg Recruitment Project

Language:

english

File:

LIT , 245 KB

0 / 0

english

13

The Cyborg Recuritment Project

The Cyborg Recuritment Project

Language:

english

File:

PDF, 544 KB

0 / 0

english

14

Call and Response

Call and Response

Language:

english

File:

LIT , 507 KB

0 / 0

english

15

Found

Found

Language:

english

File:

PDF, 809 KB

0 / 0

english

16

A Matter of Choice

A Matter of Choice

Language:

english

File:

PDF, 432 KB

0 / 0

english

17

The Dracans: A Matter of Choice

The Dracans: A Matter of Choice

Year:

2010

Language:

english

File:

EPUB, 266 KB

0 / 0

english, 2010

18

Pengembangan Sumber Daya Air

Pengembangan Sumber Daya Air

Yayasan Kita Menulis

Rakhmad Armus, Miswar Tumpu, Tamrin Tamim, Nenny, Nur Azizah Affandy, Muhammad Amin Syam, Fauzan Hamdi, Fathur Rahman Rustan, Muhammad Ihsan Mukrim, Amrullah Mansida

Year:

2021

Language:

indonesian

File:

PDF, 7.70 MB

0 / 0

indonesian, 2021

19

Pengembangan Sumber Daya Air

Pengembangan Sumber Daya Air

Yayasan Kita Menulis

Rakhmad Armus, Miswar Tumpu, Tamrin Tamim, Nenny, Nur Azizah Affandy, Muhammad Amin Syam, Fauzan Hamdi, Fathur Rahman Rustan, Muhammad Ihsan Mukrim, Amrullah Mansida

Year:

2021

Language:

indonesian

File:

PDF, 2.13 MB

0 / 0

indonesian, 2021

20

Pengantar Perencanaan Wilayah & Kota

Pengantar Perencanaan Wilayah & Kota

Muh. Natsir Abduh, Anriani Safar, Fathur Rahman Rustan, Yulianus Songli, Vita Fajriani Ridwan, Burhanuddin Badrun, Murniati, Sri Gusty, Muhammad Syahrir, Bulan Suci Ramadhani, Muhammad Riadi Harimuswarah

Year:

2023

Language:

indonesian

File:

PDF, 2.35 MB

0 / 0

indonesian, 2023

21

Program Proofs

Program Proofs

K. Rustan M. Leino

Year:

2023

Language:

english

File:

PDF, 24.13 MB

0 / 5.0

english, 2023

22

Program Proofs

Program Proofs

K. Rustan M. Leino

Year:

2023

Language:

english

File:

PDF, 13.84 MB

0 / 5.0

english, 2023

23

Mining and Rock Construction Technology Desk Reference: Rock Mechanics, Drilling & Blasting

Mining and Rock Construction Technology Desk Reference: Rock Mechanics, Drilling & Blasting

Year:

2010

Language:

english

File:

PDF, 4.12 MB

0 / 0

english, 2010

24

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Year:

2011

Language:

english

File:

PDF, 5.05 MB

0 / 0

english, 2011

25

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Year:

2011

Language:

english

File:

PDF, 6.81 MB

0 / 0

english, 2011

26

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Year:

2011

Language:

english

File:

PDF, 7.11 MB

0 / 0

english, 2011

27

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II

Alexandra Silva, K. Rustan M. Leino

Year:

2021

Language:

english

File:

PDF, 28.97 MB

0 / 5.0

english, 2021

28

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I

Alexandra Silva, K. Rustan M. Leino, (eds.)

Year:

2021

Language:

english

File:

PDF, 32.05 MB

0 / 5.0

english, 2021