Fortell venner om denne varen:
Theory and Applications of Satisfiability Testing SAT 2019 1st ed. 2019 edition
Pris
NOK 539
Bestillingsvarer
Forventes levert 22. - 30. jul
Legg til iMusic ønskeliste
eller
Theory and Applications of Satisfiability Testing SAT 2019
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
| Media | Bøker Bok |
| Utgitt | 29. juni 2019 |
| ISBN13 | 9783030242572 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 425 |
| Mål | 150 × 220 × 20 mm · 663 g |
| Språk | Tysk |
| Redaktør | Janota, Mikolas |
| Redaktør | Lynce, Ines |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Pocketbok) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Innbunden bok) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-innbunden-bok&class=scaled&v=1604147403)
![Cover for Armen Gulian · Shortcut to Superconductivity: Superconducting Electronics via COMSOL Modeling (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/297/9783032255297.jpg?armen-gulian-2026-shortcut-to-superconductivity-superconducting-electronics-via-comsol-modeling-innbunden-bok&class=scaled&v=1780400084)
![Cover for Jurgen H. Gross · Mass Spectrometry: A Textbook (Innbunden bok) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2026-mass-spectrometry-a-textbook-innbunden-bok&class=scaled&v=1780453452)
![Cover for Jacqueline Kennelly · Citizen Youth: Culture, Activism, and Agency in a Neoliberal Era - Education, Politics and Public Life (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/796/9783032088796.jpg?jacqueline-kennelly-2026-citizen-youth-culture-activism-and-agency-in-a-neoliberal-era-education-politics-and-public-life-innbunden-bok&class=scaled&v=1774523507)
![Cover for T. S. Venkatesh · Strength of Materials: Volume II: For Mechanical, Production, Civil, Construction, Automobile, Marine and Chemical Engineering Branches (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/787/9783032040787.jpg?t-s-venkatesh-2026-strength-of-materials-volume-ii-for-mechanical-production-civil-construction-automobile-marine-and-chemical-engineering-branches-innbunden-bok&class=scaled&v=1778117433)
