Formalized Probability Theory and Applications Using Theorem Proving 1
bokomslag Formalized Probability Theory and Applications Using Theorem Proving
Vetenskap & teknik

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan • Sofiène Tahar

Inbunden

3239:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 312 sidor
  • 2015
  • Författare: Osman Hasan, Sofiène Tahar
  • Format: Inbunden
  • ISBN: 9781466683150
  • Språk: Engelska
  • Antal sidor: 312
  • Utgivningsdatum: 2015-03-26
  • Förlag: Information Science Reference

Du kanske gillar

  1. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Yi Li, Sofiène Tahar, Sofiene Tahar

    Pocket

    939:-
  2. bokomslag Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical...

    Osman Hasan, Frédéric Mallet, Frederic Mallet

    Pocket

    749:-
  3. Ny
    bokomslag Skärvor av en syster

    Skärvor av en syster

    Sarah Easter Collins

    Pocket

    79:- (125:-)
  4. bokomslag The Emissary

    The Emissary

    Yoko Tawada

    Pocket

    189:-
  5. bokomslag Lebesgue's Theory of Integration

    Lebesgue's Theory of Integration

    Rahul Jain

    Inbunden

    1149:-
  6. bokomslag Ett fall på Capri

    Ett fall på Capri

    Anders de la Motte • Anette de la Motte

    Pocket

    125:-
  7. bokomslag Plot Against America

    Plot Against America

    Philip Roth

    179:-
  8. bokomslag Lipase

    Lipase

    Sofien Cannamela Hamdi Sassi

    Inbunden

    3369:-
  9. bokomslag Joint Optimization of Maintenance and Production Policies

    Joint Optimization of Maintenance and...

    Nidhal Rezg, Sofien Dellagi, Abdelhakim Khatad

    Inbunden

    2599:-
  10. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    125:-

Andra av samma författare

  1. bokomslag Formal Techniques for Safety-Critical Systems

    Formal Techniques for Safety-Critical...

    Osman Hasan, Frédéric Mallet, Frederic Mallet

    Pocket

    749:-
  2. bokomslag Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

    Formal Analysis of Future Energy Syst...

    Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Asad Ahmed

    Pocket

    939:-
  3. bokomslag Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

    Pocket

    749:-
  4. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Otmane Ait Mohamed, César Munoz, Sofiène Tahar

    Pocket

    749:-
  5. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Yi Li, Sofiène Tahar, Sofiene Tahar

    Pocket

    939:-