KIRJAUDU

ostoskori

avaa valikko

Osman Hasan | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 12 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL ANALYSIS OF FUTURE ENERGY SYSTEMS USING INTERACTIVE THEOREM PROVING

Tekijä: Ahmed Asad Ahmed; Hasan Osman Hasan; Awwad Falah Awwad
Kustantaja: Springer Nature B.V. (2021)
Saatavuus: Ei tiedossa

EUR 113,70

PROBABILISTIC ANALYSIS USING THEOREM PROVING

Tekijä: Osman Hasan; Sofiène Tahar
Kustantaja: VDM Verlag Dr. Mueller E.K. (2008)
Saatavuus: Noin 11-14 arkipäivää

EUR 84,50

FORMALIZED PROBABILITY THEORY AND APPLICATIONS USING THEOREM PROVING

Tekijä: Osman Hasan; Sofiène Tahar
Kustantaja: Idea Group,U.S. (2015)
Saatavuus: Noin 12-15 arkipäivää

EUR 215,80

SEMA MASALLARI

Tekijä: Hasan Alp Karaosmanoglu
Kustantaja: Psikonet (2019)
Saatavuus: Ei tiedossa

EUR 36,80

HEPSINI ISTIYORUM HEMEN ISTIYORUM

Tekijä: Hasan Alp Karaosmanoglu
Kustantaja: Psikonet Yayinlari (2019)
Saatavuus: Ei tiedossa

EUR 50,60

PARALLEL COMPUTING FOR REAL-TIME SIGNAL PROCESSING AND CONTROL

Tekijä: M. Osman Tokhi; M. Alamgir Hossain; M. Hasan Shaheed
Kustantaja: Springer London Ltd (2003)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

INTELLIGENT COMPUTER MATHEMATICS - 10TH INTERNATIONAL CONFERENCE, CICM 2017, EDINBURGH, UK, JULY 17-21, 2017, PROCEEDINGS

Tekijä: Herman Geuvers; Matthew England; Osman Hasan; Florian Rabe; Olaf Teschke
Kustantaja: Springer International Publishing AG (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ISLAM MEZHEPLERI TARIHI EL KITABI

Tekijä: Hasan Onat; Sönmez Kutlu; Mazlum Uyar; Osman Aydinli; Mehmet Zeki iscan; Siddik Korkmaz; Metin Boza
Kustantaja: Grafiker Yayincilik (2017)
Saatavuus: Ei tiedossa

EUR 67,90

FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS : 7TH INTERNATIONAL WORKSHOP, FTSCS 2019, SHENZHEN, CHINA, NOVEMBER 9, 2019, REVIS

Tekijä: Osman Hasan (ed.); Frédéric Mallet (ed.)
Kustantaja: Springer (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

INTERNATIONAL JOURNAL OF ELECTRONICS, MECHANICAL AND MECHATRONICS ENGINEERING: IJEMME

Tekijä: Osman Nuri Ucan; Hasan Saygin
Kustantaja: Cfm Media (2018)
Saatavuus: Noin 8-11 arkipäivää

EUR 8,70

FORMAL ANALYSIS OF FUTURE ENERGY SYSTEMS USING INTERACTIVE THEOREM PROVING

Tekijä: Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki
Kustantaja: Springer (2021)
Saatavuus: Noin 17-20 arkipäivää

EUR 64,10

DAMAT FERIT PASA HÜKÜMETLERININ MILLI MÜCADELE KARSITI POLITIKALARI

Tekijä: Hasan Ali Polat; Osman Akandere
Kustantaja: Atatürk Arastirma Merkezi Yayinlari (2000)
Saatavuus: Ei tiedossa

EUR 44,00

Hae lisää...

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Ahmed Asad Ahmed, Hasan Osman Hasan, Awwad Falah Awwad

113,70 €

Springer Nature B.V.
Sivumäärä: 92 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2021, 18.08.2021 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus