Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

SAT 2005

Satisfiability Research in the Year 2005

Limba englezăengleză
Carte Carte broșată
Carte SAT 2005 Enrico Giunchiglia
Codul Libristo: 09160830
Editura Springer, decembrie 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Descrierea completă
? points 394 b
854.78 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Schnecken-Coaching Eckhard vom Frieden / Carte Carte broșată
common.buy 50.76 lei
Total Quality Management Gerold Gizycki / Carte Carte broșată
common.buy 198.91 lei
Vzpomínka na Zemi Liou Cch´-Sin / Carte Carte broșată
common.buy 46.70 lei
Enderův stín Orson Scott Card / Carte Copertă tare
common.buy 69.01 lei
Hegemonův stín Orson Scott Card / Carte Copertă tare
common.buy 69.01 lei
Pedro Salinas y sus circunstancias : biografía Jean Cross Newman / Carte Carte broșată
common.buy 191.51 lei
Le travail de l' obscure clarté dans le fantome de l'opéra de gaston leroux Casta isabelle rachel / Carte Carte broșată
common.buy 102.47 lei
Elan OLALLA PONS / Carte Carte broșată
common.buy 105.91 lei
Auf der Reeperbahn nachts um halb eins Gustav Kampendonk / Videoclip DVD
common.buy 103.31 lei
Maik - Der Heimweg Michael Arnold / Carte Carte broșată
common.buy 50.76 lei
Warum wir nach Anerkennung hungern Stefan Möller / Carte Carte broșată
common.buy 157.62 lei
Nouvelles Lettres Du Grand Prophete: Nostradamus Eclairci, (Ed.1874) Henri Torne-Chavigny / Carte Carte broșată
common.buy 96.22 lei
Les Tribulations de M. Le Prefet. Scenes Electorales De Maleville-L / Carte Carte broșată
common.buy 91.01 lei
Wertpapier-Investmentfonds in Lebensversicherungsunternehmen Rainer Pflaum / Carte Carte broșată
common.buy 293.78 lei
Deutsches Kolonial-Handbuch Rudolf Fitzner / Carte Carte broșată
common.buy 247.49 lei
Rapsu eļļa - izejviela inovatīvu poliuretānu materiālu ieguvei Fridrihsone-Girone Anda / Carte Carte broșată
common.buy 277.20 lei
Ansiedler an den Quellen des Susquehanna James Fenimore Cooper / Carte Carte broșată
common.buy 99.24 lei
Trilby George Du Maurier / Carte Carte broșată
common.buy 89.86 lei
Leftin
Deutsche Sprichwörter Karl Simrock / Carte Carte broșată
common.buy 14.59 lei
Metodos para la seleccion optima de carteras de proyectos Olmedo Perez Rafael Antonio / Carte Carte broșată
common.buy 163.88 lei
Kertomuksia Lapista osa 3 Juha Kivekäs / Carte Copertă tare
common.buy 138.55 lei
Deutsche Direktinvestitionen Fingerlos Uwe Rudolf / Carte Carte broșată
common.buy 370.83 lei

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet SAT 2005
Autor Enrico Giunchiglia, Toby Walsh
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 293
EAN 9789400787155
ISBN 9789400787155
Codul Libristo 09160830
Editura Springer
Greutatea 462
Dimensiuni 155 x 235 x 16

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Sarcoidosis Darren Harper / Carte Copertă tare
common.buy 1 113.12 lei
School Mentor Handbook Katherine Burn / Carte Carte broșată
common.buy 401.16 lei
Sanctuary Matthew Mather / Carte Carte broșată
common.buy 106.54 lei
Mayhem Harris / Carte Carte broșată
common.buy 88.09 lei
Factors Affecting Academic Staff Turnover Intention Gebayaw Adugna / Carte Carte broșată
common.buy 272.20 lei
Curând
Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto / Carte Carte broșată
common.buy 477.58 lei
Cathars, White Eagle and St John Colum Hayward / Carte Carte broșată
common.buy 77.03 lei
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Carte Carte broșată
common.buy 237.90 lei
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Carte Copertă tare
common.buy 1 083.10 lei
Athenaeum Raul Pompeia / Carte Carte broșată
common.buy 99.66 lei
Scoring Off the Field Kausik Bandyopadhyay / Carte Carte broșată
common.buy 287.42 lei
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Carte Carte broșată
common.buy 452.46 lei
Accounting and Finance Policies and Procedures Rose Hightower / Carte Carte broșată
common.buy 586.22 lei
International Democracy Assistance for Peacebuilding Sorpong Peou / Carte Carte broșată
common.buy 294.82 lei
Addiction and Overdose: Confronting an American Crisis Connie Goldsmith / Carte Copertă tare
common.buy 222.26 lei
Falling Deeper Anathema / Audio Audio CD
common.buy 98.51 lei
Little Women Frank T. Merrill / Carte Carte broșată
common.buy 232.90 lei
Top
Kew Pocketbooks: Carnivorous Plants ROYAL BOTANIC GARDEN / Carte Copertă tare
common.buy 61.19 lei
Buddha Nature Tina Draszcyk / Carte Carte broșată
common.buy 69.42 lei
Crawlers Deacon Jones / Carte Carte broșată
common.buy 80.79 lei
Experience of a Slave in South Carolina John Andrew Jackson / Carte Carte broșată
common.buy 110.92 lei
Solid State Ionics for Batteries C. Iwakura / Carte Carte broșată
common.buy 570.37 lei
New Total English Elementary Students' Book with Active Book and MyLab Pack Mark Foley / Carte Carte broșată
common.buy 462.47 lei
Plays of Josefina Niggli Josefina Niggli / Carte Carte broșată
common.buy 139.59 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?