SAT and SMT solving – Alle titler på Saxo.com tagget som SAT and SMT solving

Dine valg Ryd alle
- SAT and SMT solving
Type
- Bøger (6)
Format
- Paperback (6)
Sprog
- Engelsk (6)
Forfatter
- Tomáš Vojnar (1)
- Marsha Chechik (1)
Forlag
- Springer Nature Switzerland AG (5)
- Springer-verlag Berlin And Heidelberg Gmbh & Co. K (1)

Ryd alle

Der er 6 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Tools and Algorithms for the Construction and Analysis of Systems
- Bog, paperback
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Tools and Algorithms for the Construction and Analysis of Systems
- Bog, paperback
- Læs mere
- kr. 339,95
- kr. 324,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 339,95
- kr. 324,95
  med Shopping-fordele
- Tools and Algorithms for the Construction and Analysis of Systems
- Bog, paperback
- Læs mere
- kr. 339,95
- kr. 324,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 339,95
- kr. 324,95
  med Shopping-fordele
- Tools and Algorithms for the Construction and Analysis of Systems
- Bog, paperback
- Læs mere
- kr. 339,95
- kr. 324,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 339,95
- kr. 324,95
  med Shopping-fordele
- Tools and Algorithms for the Construction and Analysis of Systems
- Bog, paperback
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Tools and Algorithms for the Construction and Analysis of Systems
- Bog, paperback
- Læs mere
- kr. 339,95
- kr. 324,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 339,95
- kr. 324,95
  med Shopping-fordele

Alle bøger om SAT and SMT solving