Tipsa dina vänner om produkten:
Theory and Applications of Satisfiability Testing SAT 2019 1st ed. 2019 edition
Pris
SEK 569
Beställningsvara
Förväntad leverans 30 sep - 8 okt
Lägg till din iMusic-önskelista
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öcker Bok |
| Releasedatum | 29 juni 2019 |
| ISBN13 | 9783030242572 |
| Utgivare | Springer Nature Switzerland AG |
| Antal sidor | 425 |
| Mått | 150 × 220 × 20 mm · 663 g |
| Språk | Tyska |
| 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 David Kergel · Qualitative Educational and Bildungs Research (Inbunden Bok) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-inbunden-bok&class=scaled&v=1778118707)
![Cover for Robert Sobot · Engineering Mathematics by Example: Vol. II: Calculus (Inbunden Bok) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/956/9783032046956.jpg?robert-sobot-2027-engineering-mathematics-by-example-vol-ii-calculus-inbunden-bok&class=scaled&v=1782149966)
![Cover for The Palgrave Handbook of Criminology and the Global South, 2nd ed (N/A) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/195/9783032074195.jpg?2027-the-palgrave-handbook-of-criminology-and-the-global-south-2nd-ed&class=scaled&v=1788187945)
![Cover for Jurgen H. Gross · Mass Spectrometry: A Textbook (Inbunden Bok) [Fourth Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2027-mass-spectrometry-a-textbook-inbunden-bok&class=scaled&v=1780453452)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Inbunden 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-inbunden-bok&class=scaled&v=1604147403)
