Theory and Applications of Satisfiability Testing - SAT 2009

Type:

e-book

Titel:

Theory and Applications of Satisfiability Testing - SAT 2009

Auteur:

Kullmann, Oliver; Kanade, Takeo; Kittler, Josef

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2009

ISBN:

3-642-02776-8
9786613560995
1-280-00000-7
3-642-02777-6

Onderwerp:

Information Technology Computer Science (Hardware & Networks)

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000753996