Tools and Algorithms for the Construction and Analysis of Systems 1
bokomslag Tools and Algorithms for the Construction and Analysis of Systems
Data & IT

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere • David Parker

Pocket

1039:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

Andra format:

  • 516 sidor
  • 2020
  • Författare: Armin Biere, David Parker
  • Format: Pocket/Paperback
  • ISBN: 9781013277184
  • Språk: Engelska
  • Antal sidor: 516
  • Utgivningsdatum: 2020-10-09
  • Förlag: Saint Philip Street Press

Du kanske gillar

  1. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    David Parker Armin Biere

    Pocket

    959:-
  2. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    David Parker Armin Biere

    Pocket

    599:-
  3. bokomslag Official History of Privatisation Vol. I

    Official History of Privatisation Vol. I

    David Parker David Parker

    Pocket

    859:-
  4. bokomslag Handbook of Satisfiability

    Handbook of Satisfiability

    Armin Biere, Hans Van Maaren, Toby Walsh, Hans Van Maaren

    Inbunden

    4429:-
  5. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    David Parker Armin Biere

    Klotband

    1039:-
  6. bokomslag Positron Emission Particle Tracking

    Positron Emission Particle Tracking

    Kit Windows-Yule, David Parker, Samuel Manger, Andrei L Nicu?An, Matthew T Herald

    Inbunden

    2499:-
  7. bokomslag Official History of Privatisation, Vol. II

    Official History of Privatisation, Vo...

    David Parker David Parker

    Inbunden

    2929:-
  8. bokomslag Theory and Applications of Satisfiability Testing - SAT 2006

    Theory and Applications of Satisfiabi...

    Carla P Gomes Armin Biere

    Pocket

    729:-
  9. bokomslag Computer Aided Verification

    Computer Aided Verification

    Roderick Bloem Armin Biere

    Pocket

    1469:-
  10. bokomslag Hardware and Software: Verification and Testing

    Hardware and Software: Verification a...

    Armin Biere, Amir Nahir, Tanja Vos

    Pocket

    689:-

Andra av samma författare

  1. bokomslag Visualizing Information with Microsoft¿ Office Visio¿ 2007

    Visualizing Information with Microsof...

    David Parker, David J Parker, David J Parker

    Pocket

    779:-
  2. bokomslag Principles of Business Economics

    Principles of Business Economics

    David Parker Joseph Nellis

    Pocket

    1689:-
  3. bokomslag Principles and Practice of Property Valuation in Australia

    Principles and Practice of Property V...

    David Parker David Parker

    Inbunden

    2739:-
  4. bokomslag Principles and Practice of Property Valuation in Australia

    Principles and Practice of Property V...

    David Parker David Parker

    Pocket

    1099:-
  5. bokomslag US Foreign Policy Towards Russia in the Post-Cold War Era

    US Foreign Policy Towards Russia in t...

    David Parker

    Pocket

    779:-
  6. bokomslag Class and State in Ancien Regime France

    Class and State in Ancien Regime France

    David Parker

    Inbunden

    2739:-
  7. bokomslag Impact of Privatization

    Impact of Privatization

    Stephen Martin, David Parker, Stephen Martin, David Parker

    Inbunden

    3589:-
  8. bokomslag Privatization in the European Union

    Privatization in the European Union

    David Parker David Parker

    Inbunden

    2939:-
  9. bokomslag Revolutions And The Revolutionary Tradition In The West, 1560-1991

    Revolutions And The Revolutionary Tra...

    David Parker

    Inbunden

    1079:-
  10. bokomslag Revolutions and the Revolutionary Tradition

    Revolutions and the Revolutionary Tra...

    David Parker

    Pocket

    909:-