SULJE VALIKKO

Lahjaksi
Löydä joulun ilo kirjoista
Onnea Finlandia-ehdokkaat!
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Keltainen Kirjasto
Otavan kirjasto
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Lahjakortti
Tietoa verkkokaupasta
Akateeminen Kirjakauppa
akateeminen.com
Myymälät
Yhteystiedot
Uutiset

avaa valikko

Hasan Osman Hasan | Akateeminen Kirjakauppa

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



Probabilistic Analysis using Theorem Proving
PROBABILISTIC ANALYSIS USING THEOREM PROVING
Osman Hasan; Sofiène Tahar
VDM Verlag Dr. Mueller E.K. (2008)
Pehmeäkantinen kirja
86,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formalized Probability Theory and Applications Using Theorem Proving
FORMALIZED PROBABILITY THEORY AND APPLICATIONS USING THEOREM PROVING
Osman Hasan; Sofiène Tahar
Idea Group,U.S. (2015)
Kovakantinen kirja
218,80 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revis
FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS : 7TH INTERNATIONAL WORKSHOP, FTSCS 2019, SHENZHEN, CHINA, NOVEMBER 9, 2019, REVIS
Osman Hasan (ed.); Frédéric Mallet (ed.)
Springer (2020)
Pehmeäkantinen kirja
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
INTELLIGENT COMPUTER MATHEMATICS - 10TH INTERNATIONAL CONFERENCE, CICM 2017, EDINBURGH, UK, JULY 17-21, 2017, PROCEEDINGS
Herman Geuvers; Matthew England; Osman Hasan; Florian Rabe; Olaf Teschke
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
FORMAL ANALYSIS OF FUTURE ENERGY SYSTEMS USING INTERACTIVE THEOREM PROVING
Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja
64,10 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
FORMAL ANALYSIS OF FUTURE ENERGY SYSTEMS USING INTERACTIVE THEOREM PROVING
Ahmed Asad Ahmed; Hasan Osman Hasan; Awwad Falah Awwad
Springer Nature B.V. (2021)
Pehmeäkantinen kirja
115,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sema Masallari
SEMA MASALLARI
Hasan Alp Karaosmanoglu
Psikonet (2019)
Pehmeäkantinen kirja
36,80 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hepsini Istiyorum Hemen Istiyorum
HEPSINI ISTIYORUM HEMEN ISTIYORUM
Hasan Alp Karaosmanoglu
Psikonet Yayinlari (2019)
Pehmeäkantinen kirja
50,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Parallel Computing for Real-time Signal Processing and Control
PARALLEL COMPUTING FOR REAL-TIME SIGNAL PROCESSING AND CONTROL
M. Osman Tokhi; M. Alamgir Hossain; M. Hasan Shaheed
Springer London Ltd (2003)
Pehmeäkantinen kirja
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Islam Mezhepleri Tarihi El Kitabi
ISLAM MEZHEPLERI TARIHI EL KITABI
Hasan Onat; Sönmez Kutlu; Mazlum Uyar; Osman Aydinli; Mehmet Zeki iscan; Siddik Korkmaz; Metin Boza
Grafiker Yayincilik (2017)
Pehmeäkantinen kirja
67,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Damat Ferit Pasa Hükümetlerinin Milli Mücadele Karsiti Politikalari
DAMAT FERIT PASA HÜKÜMETLERININ MILLI MÜCADELE KARSITI POLITIKALARI
Hasan Ali Polat; Osman Akandere
Atatürk Arastirma Merkezi Yayinlari (2000)
Pehmeäkantinen kirja
44,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
International Journal of Electronics, Mechanical and Mechatronics Engineering: Ijemme
INTERNATIONAL JOURNAL OF ELECTRONICS, MECHANICAL AND MECHATRONICS ENGINEERING: IJEMME
Osman Nuri Ucan; Hasan Saygin
Touchladybirdlucky Studios (2018)
Pehmeäkantinen kirja
8,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Probabilistic Analysis using Theorem Proving
Osman Hasan, Sofiène Tahar
86,00 €
VDM Verlag Dr. Mueller E.K.
Sivumäärä: 164 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2008, 06.11.2008 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Probabilistic Analysis using Theorem Proving
Näytä kaikki tuotetiedot
ISBN:
9783639094725
Aihealue:
Ulkomaiset kirjat » Computers » General
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste