Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Theory and Applications of Satisfiability Testing - SAT 2010 Ofer Strichman
Kod Libristo: 01656178
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2010
This book constitutes the refereed proceedings of the 13th International Conference on Theory and Ap... Cały opis
? points 117 b
47.99 € včetně DPH
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

Nawet do 30 dni na zwrot

Klienci kupili także

Christologie im Horizont pneumatologischer Neuaufbrüche Benjamin Dahlke / Książka Miękka
common.buy 52.00 €
Vojna a mier II (3. a 4. zväzok), 2. vydanie / Książka Twarda
common.buy 23.99 €
Clé USB Ressources numériques Histoire CE2 François Fontaine / Książka Miękka
common.buy 64.49 €
Geme MemoRace House / Gra/Zabawka Gra
common.buy 7.39 €
Monsieur Personne Joanna Concejo / Książka Twarda
common.buy 20.19 €
Schutz von „wirtschaftlich-virtuellen“ Gesellschaftern Ann-Kathrin Jungen / E-book Adobe ePub DRM
common.buy 81.49 €
Astronauta AMELIA ORTIZ GIL / Książka Miękka
common.buy 22.19 €
Paradoxos Luiz Bonassi / Książka Miękka
common.buy 37.09 €
LA PETITA BOTIGA DELS MALSONS 3. UN NINOT DE NEU MOLT BROMISTA HALONEN / Książka Twarda
common.buy 11.39 €
CBT und Essstörungen Clara Pauchet / Książka Miękka
common.buy 26.90 €
Kompetenz durch Kommunikationstraining unter besonderer Berucksichtigung der beruflichen Weiterbildung Oliver Kitter / Książka Miękka
common.buy 58.00 €
TOP
Selection Kiera Cass / Książka Miękka
common.buy 10.99 €
Shakespeare und seine Welt Günter Jürgensmeier / Książka Twarda
common.buy 89.00 €
Verdammt! Best Of Wolfgang Ziegler / Audio CD Audio
common.buy 15.99 €
(Un)endlich Krainer Murtal Express / Audio CD Audio
common.buy 14.99 €
Praxis Zeichnen - XL Übungsbuch 18: Ballkleider York P. Herpers / Książka Miękka
common.buy 16.99 €
Un largo sábado GEORGE STEINER / Książka Miękka
common.buy 14.19 €
LIRE LE FRANCAIS VERSION ORIGINALE LE SECRET DU PROFESSEUR MICRON Dominique Renaud / Książka Miękka
common.buy 6.69 €
Darwinsche Theorie und der Sozialismus Ludwig Woltmann / Książka Miękka
common.buy 29.90 €
Finansovye vychisleniya Vladimir Popov / Książka Miękka
common.buy 30.29 €
Le novelle della Pescara Gabriele D'Annunzio / Książka Miękka
common.buy 7.19 €
14 Blanko Bildkarten zum Gestalten & Bemalen für das Kamishibai / Gra/Zabawka Gra
common.buy 15.00 €
Sobranie Jumoristicheskih Rasskazov. Tom 1 Anton Chekhov / Książka Miękka
common.buy 20.09 €
GUIA COMPLETO DO GOOGLE HOME HUB E LENOV Henrique Semeghini / Książka Miękka
common.buy 27.09 €

This book constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 21 revised full papers presented together with 14 revised short papers and 2 invited talks were carefully selected from 75 submissions. The papers cover a broad range of topics such as proof systems and proof complexity; search algorithms and heuristics; analysis of algorithms; combinatorial theory of satisfiability; random instances vs structured instances; problem encodings; industrial applications; applications to combinatorics; solvers, simplifiers and tools; and exact and parameterized algorithms.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Theory and Applications of Satisfiability Testing - SAT 2010
Autor Ofer Strichman, Stefan Szeider
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 400
EAN 9783642141850
ISBN 3642141854
Kod Libristo 01656178
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 626
Wymiary 155 x 236 x 28

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Proceedings of the 26th Conference of Spacecraft TT&C Technology in China Weiping Qian / Książka Miękka
common.buy 136.09 €
TOP
Halloween Ends: The Official Movie Novelization Logan / Książka Miękka
common.buy 6.69 €
Deadly Justice Kathy Ivan / Książka Miękka
common.buy 14.49 €
Sudoji: 144 Emoji Sudoku Puzzles Al Sweigart / Książka Miękka
common.buy 7.89 €
Show Me the Mozart: Volume 1 of Mozart Arrangements for the Ukulele Stephanie Yung / Książka Miękka
common.buy 16.19 €
Effectiveness of Weight Management Programs in Children and Adolescents: Evidence Report/Technology Assessment Number 170 U S Department of Heal Human Services / Książka Miękka
common.buy 22.99 €
Fountains of Youth Rick Elliott / Książka Miękka
common.buy 12.49 €
Robespierre Marcel Gauchet / E-book Adobe ePub DRM
common.buy 42.59 €
Understanding Human Evolution Ian Tattersall / Książka Twarda
common.buy 53.79 €
There's Good News and Bad News Daniel G. Nelson / Książka Miękka
common.buy 6.29 €
TOP
Lovelight Farms B.K. Borison / Książka Miękka
common.buy 7.79 €
Unified Process Elaboration Phase Roger Smith / Książka Miękka
common.buy 63.59 €
Code of Federal Regulations Title 46, Shipping, Parts 1-40, 2016 National Archives and Records Administra / Książka Miękka
common.buy 50.29 €
DISNEY BUNNIES AN EGGCELLENT DAY Disney Book Group / Książka Twarda
common.buy 6.09 €
Debt of Honor Tom Clancy / Książka Miękka
common.buy 8.29 €
Cheetahs Victoria Blakemore / Książka Miękka
common.buy 6.79 €
43 Days with God, 43 Days of Hell Adam W Watson / Książka Miękka
common.buy 10.29 €
Stories Were Not Told Sandra Semchuk / Książka Miękka
common.buy 30.79 €
Unleashed Christina Hamlett / Książka Miękka
common.buy 7.99 €
In This Mind of Mine: In the Minds of the Urban Shakita Savage / Książka Miękka
common.buy 20.09 €
TOP Zapowiedź
Danganronpa Another Episode: Ultra Despair Girls Volume 1 Sucker Punch Productions / Książka Miękka
common.buy 12.79 €
TOP
Scaling Up Verne Harnish / Książka Miękka
common.buy 25.49 €
The Lunar World: Its Scenery, Motions, Etc Josiah Crampton / Książka Miękka
common.buy 16.29 €
Adventure Devos Eric Sprinkle / Książka Miękka
common.buy 13.19 €

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?