Theory and Applications of Satisfiability Testing SAT 2019 -  - Knihy - Springer Nature Switzerland AG - 9783030242572 - 29. júna 2019
V prípade, že obal a názov nesedia, platí názov

Theory and Applications of Satisfiability Testing SAT 2019 1st ed. 2019 edition


Dostávať e-mail, keď bude položka k dispozícii
Do you have a profile? Prihlásiť sa
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019. The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions.


425 pages, 37 Illustrations, color; 478 Illustrations, black and white; XIV, 425 p. 515 illus., 37 i

Médium Knihy     Book
Vydané 29. júna 2019
ISBN13 9783030242572
Vydavatelia Springer Nature Switzerland AG
Strany 425
Rozmery 150 × 220 × 20 mm   ·   663 g
Jazyk Nemčina  
Editor Janota, Mikolas
Editor Lynce, Ines

Viac od toho istého vydavateľa