Ebók

Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Theory and Applications of Satisfiability Testing – SAT 2017

Finn líknandi bøkur her

Theory and Applications of Satisfiability Testing - SAT 2009

Oliver Kullmann

374,95 kr.

Theory and Applications of Satisfiability Testing – SAT 2008

Hans Kleine Buning; Xishun Zhao

374,95 kr.

Theory and Applications of Satisfiability Testing -- SAT 2015

Author

469,95 kr.

Theory and Applications of Abstract Semilinear Cauchy Problems

Pierre Magal; Shigui Ruan

969,95 kr.

Theory and Applications of Models of Computation

224,95 kr.

Theory and Applications of Formal Argumentation

Author

354,95 kr.

Theory and Applications of Ontology: Computer Applications

Roberto Poli; Michael Healy; Achilles Kameas

1.049,95 kr.

Theory and Applications of Relational Structures as Knowledge Instruments

Harrie de Swart; ‎Ewa Orlowska; ‎Gunther Schmidt

374,95 kr.

Theory and Applications of Stochastic Processes

Zeev Schuss

484,95 kr.

The Theory and Applications of Iteration Methods

Ioannis K. Argyros

529,95 kr.

Theory of Reproducing Kernels and Applications

Saburou Saitoh; Yoshihiro Sawano

749,95 kr.

Stability: Elements of the Theory and Applications with Examples

Anatoliy A. Martynyuk; Bogusław Radziszewski; Andrzej Szadkowski

549,95 kr.