• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Osman Hasan » książki

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2674123]
• Literatura piękna
 [1634245]

  więcej...
• Turystyka
 [64668]
• Informatyka
 [142544]
• Komiksy
 [32741]
• Encyklopedie
 [21651]
• Dziecięca
 [520352]
• Hobby
 [110136]
• AudioBooki
 [2145]
• Literatura faktu
 [198986]
• Muzyka CD
 [683]
• Słowniki
 [2784]
• Inne
 [405948]
• Kalendarze
 [2000]
• Podręczniki
 [166770]
• Poradniki
 [411702]
• Religia
 [456446]
• Czasopisma
 [421]
• Sport
 [59883]
• Sztuka
 [227683]
• CD, DVD, Video
 [4026]
• Technologie
 [204957]
• Zdrowie
 [88717]
• Książkowe Klimaty
 [126]
• Zabawki
 [3248]
• Puzzle, gry
 [3495]
• Literatura w języku ukraińskim
 [272]
• Art. papiernicze i szkolne
 [10657]
Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 7

Dostępność:
Kategoria:
Dostępny język:
Cena:
od:
do:
ilość na stronie:


 Probabilistic Analysis using Theorem Proving Hasan, Osman 9783639094725
Probabilistic Analysis using Theorem Proving

ISBN: 9783639094725 / Angielski / Miękka / 2008 / 164 str.

ISBN: 9783639094725/Angielski/Miękka/2008/164 str.

Termin realizacji zamówienia: ok. 10-14 dni roboczych.
Osman Hasan; Sofine Tahar
Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handle large-scale problems due to their enormous CPU time requirements. Recently, a significant amount of formalization has been done in higher-order logic that allows us to conduct precise probabilistic analysis using theorem proving and thus overcome the limitations of the simulation based probabilistic analysis approach. Some major contributions include the formalization of both discrete and continuous random variables and the verification of...
Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handl...
cena: 311,30 zł
 Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers Hasan, Osman 9783030469016
Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

ISBN: 9783030469016 / Angielski / Miękka / 2020 / 141 str.

ISBN: 9783030469016/Angielski/Miękka/2020/141 str.

Termin realizacji zamówienia: ok. 20 dni roboczych.
Osman Hasan; Fr?d?ric Mallet
cena: 194,52 zł
 Sindrom
Sindrom "Alisa w strane chudes": osnowanyj na prawdiwoj istorii

ISBN: 9786200902917 / Rosyjski / Miękka / 60 str.

ISBN: 9786200902917/Rosyjski/Miękka/60 str.

Termin realizacji zamówienia: ok. 10-14 dni roboczych.
Hasan Osman
cena: 90,65 zł
 
Sindrom Alisy w strane chudes: osnowano na real'noj istorii

ISBN: 9786204924175 / Rosyjski / Miękka / 52 str.

ISBN: 9786204924175/Rosyjski/Miękka/52 str.

Termin realizacji zamówienia: ok. 10-14 dni roboczych.
Hasan Osman
cena: 90,65 zł
 Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan Sofiene Tahar 9781466683150
Formalized Probability Theory and Applications Using Theorem Proving

ISBN: 9781466683150 / Angielski / Twarda / 2015 / 312 str.

ISBN: 9781466683150/Angielski/Twarda/2015/312 str.

Termin realizacji zamówienia: ok. 13-18 dni roboczych.
Osman Hasan; Sofiene Tahar
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. It combines practical application with theoretical discussion.
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to th...
cena: 1097,44 zł
 Formal Analysis of Future Energy Systems Using Interactive Theorem Proving Asad Ahmed Osman Hasan Falah Awwad 9783030784089
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

ISBN: 9783030784089 / Angielski / Miękka / 2021 / 79 str.

ISBN: 9783030784089/Angielski/Miękka/2021/79 str.

Termin realizacji zamówienia: ok. 20 dni roboczych.
Asad Ahmed; Osman Hasan; Falah Awwad
cena: 252,89 zł
 International Journal of Electronics, Mechanical and Mechatronics Engineering: Ijemme Osman Nuri Ucan Hasan Saygin 9781642260304
International Journal of Electronics, Mechanical and Mechatronics Engineering: Ijemme

ISBN: 9781642260304 / Angielski / Miękka / 2018 / 50 str.

ISBN: 9781642260304/Angielski/Miękka/2018/50 str.

Termin realizacji zamówienia: ok. 13-18 dni roboczych.
Osman Nuri Ucan; Hasan Saygin
cena: 42,27 zł

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2024 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia