Rustan: in Z-Library suchen

Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Ihr Zugang zu Kenntnissen und Kultur.

Spende 15. September, 2024 – 1. Oktober, 2024

Z-Library ist eine der größten Online-Bibliotheken in der Welt, die mehr als 17,000,000 Bücher und 84,837,000 Artikel erhält. Wir wollen die Literatur für alle zugänglich machen. Heute (15. September, 2024) starten wir eine zusätzliche Spendenaktion für die Unterstützung und Entwicklung der Projekts.

Auch UNBEGRENZTE Downloads (für 31 Tage nach dem Tag der Spende) sind verfügbar für ALLE Benutzer, die während der Spendenaktion bis 1. Oktober, 2024 spenden werden.

Über SpendenWeitere Informationen erhalten

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (28)
Meistgefragt
Liste
- Liste
- Tabelle

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

Jahr:

1998

Sprache:

english

Datei:

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

Jahr:

2010

Sprache:

english

Datei:

PDF, 4.12 MB

0 / 0

english, 2010

3

Program Proofs

Program Proofs

K. Rustan, M. Leino

Jahr:

2023

Sprache:

english

Datei:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

4

Program Proofs

Program Proofs

K. Rustan M. Leino

Jahr:

2023

Sprache:

english

Datei:

PDF, 24.13 MB

0 / 5.0

english, 2023

5

Program Proofs

Program Proofs

K. Rustan M. Leino

Jahr:

2023

Sprache:

english

Datei:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

6

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

Jahr:

2019

Sprache:

indonesian

Datei:

PDF, 1.26 MB

0 / 0

indonesian, 2019

7

Program Proofs

Program Proofs

K. Rustan M. Leino

Jahr:

2023

Sprache:

english

Datei:

PDF, 13.84 MB

0 / 5.0

english, 2023

8

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

Jahr:

2023

Sprache:

indonesian

Datei:

PDF, 2.35 MB

0 / 0

indonesian, 2023

9

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.)

Jahr:

2016

Sprache:

english

Datei:

PDF, 16.77 MB

0 / 0

english, 2016

10

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.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 6.13 MB

0 / 0

english, 2011

11

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

Jahr:

2021

Sprache:

indonesian

Datei:

PDF, 7.70 MB

0 / 0

indonesian, 2021

12

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.)

Jahr:

2013

Sprache:

english

Datei:

PDF, 5.05 MB

0 / 5.0

english, 2013

13

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.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 5.68 MB

0 / 0

english, 2011

14

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.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 7.89 MB

0 / 0

english, 2011

15

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

Jahr:

2017

Sprache:

indonesian

Datei:

PDF, 6.17 MB

0 / 0

indonesian, 2017

16

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

Jahr:

2021

Sprache:

indonesian

Datei:

PDF, 2.13 MB

0 / 0

indonesian, 2021

17

The Cyborg Recuritment Project

The Cyborg Recuritment Project

Sprache:

english

Datei:

PDF, 544 KB

0 / 0

english

18

Cyborg Recruitment Project

Cyborg Recruitment Project

Sprache:

english

Datei:

LIT , 245 KB

0 / 0

english

19

Call and Response

Call and Response

Sprache:

english

Datei:

LIT , 507 KB

0 / 0

english

20

Found

Found

Sprache:

english

Datei:

PDF, 809 KB

0 / 0

english

21

A Matter of Choice

A Matter of Choice

Sprache:

english

Datei:

PDF, 432 KB

0 / 0

english

22

The Dracans: A Matter of Choice

The Dracans: A Matter of Choice

Jahr:

2010

Sprache:

english

Datei:

EPUB, 266 KB

0 / 0

english, 2010

23

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

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

Jahr:

2010

Sprache:

english

Datei:

PDF, 4.12 MB

0 / 0

english, 2010

24

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

Jahr:

2021

Sprache:

english

Datei:

PDF, 28.97 MB

0 / 5.0

english, 2021

25

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.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 5.05 MB

0 / 0

english, 2011

26

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.)

Jahr:

2021

Sprache:

english

Datei:

PDF, 32.05 MB

0 / 5.0

english, 2021

27

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.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 6.81 MB

0 / 0

english, 2011

28

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.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 7.11 MB

0 / 0

english, 2011