Importo totale (1 articolo articoli):
Destinazione ordine:
marques silva joão karem sakallah (15 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (15)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (15)
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (3)
- Non Print on Demand (13)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Theory And Applications Of Satisfiability Testing - Sat 2007
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 45,87
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Theory And Applications Of Satisfiability Testing - Sat 2007
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 45,87
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Theory and Applications of Satisfiability Testing - SAT 2007. 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Editore: Berlin, Heidelberg : Springer (Lecture Notes in Computer Science / LNCS 4501), 2007
ISBN 10: 3540727876 ISBN 13: 9783540727873
Lingua: Inglese
Da: Antiquariat Smock, Freiburg, Germania
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 50,00
Convertire valutaEUR 10,90 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Formateinband: Broschierte Ausgabe XI, 384 S. (23,5 cm) 1st Edition; Buch etwas verzogen; sonst in gutem Zustand. Sprache: Englisch Gewicht in Gramm: 650 [Stichwörter: ].
-
Theory and Applications of Satisfiability Testing - SAT 2007
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 57,27
Convertire valutaEUR 7,93 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 404.
-
Theory and Applications of Satisfiability Testing - SAT 2007
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,95
Convertire valutaEUR 10,50 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 404 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Theory and Applications of Satisfiability Testing - SAT 2007
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 58,54
Convertire valutaEUR 7,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 404.
-
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science, 4501)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 62,09
Convertire valutaEUR 10,66 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540727876 ISBN 13: 9783540727873
Lingua: Inglese
EUR 58,56
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis ability Testing. The International Conferences on Theory and Applications of Satis ability Testing (SAT) originated in 1996 as a series of workshops 'on Satis ability.' By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of the Satis ability problem as well as the development of scalable algorithms for its solution in a wide range of application domains. In 2002 a competition of SAT solvers was inaugurated to spur further algorithmic and implementation developments, and to create an eclectic collection of benchmarks. The competition-expanded in subsequent years to include pseudo Boolean, QBF, and MAX-SAT solvers-has become an integralpartofthesemeetings,addinganelementofexcitementandanticip ation. Theinterplaybetweentheoryandapplication,aswellastheincreasedinterestin Satis abilityfromawider communityofresearchers,ledtothe naturalevolution of these initial workshops into the current conference format. The annual SAT conference is now universally recognized as 'the venue' for publishing the latest advances in SAT research.
-
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings . Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 41,23
Convertire valutaEUR 66,06 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings . Computer Science and General Issues, 4501)
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,13
Convertire valutaEUR 66,06 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. 2007. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,07
Convertire valutaEUR 23,71 per la spedizione da Regno Unito a ItaliaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference Lisbon, Portugal, May 28-31, 2007 Proceedings (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 83,09
Convertire valutaEUR 29,66 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science, 4501)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,43
Convertire valutaEUR 66,06 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Theory and Applications of Satisfiability Testing - SAT 2007
Editore: Springer Berlin Heidelberg, 2007
ISBN 10: 3540727876 ISBN 13: 9783540727873
Lingua: Inglese
EUR 52,67
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007.The 22 revised full papers presented together with 12 revised .
-
Theory and Applications of Satisfiability Testing - SAT 2007
Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540727876 ISBN 13: 9783540727873
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Convertire valutaEUR 11,00 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis ability Testing. The International Conferences on Theory and Applications of Satis ability Testing (SAT) originated in 1996 as a series of workshops 'on Satis ability.' By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of the Satis ability problem as well as the development of scalable algorithms for its solution in a wide range of application domains. In 2002 a competition of SAT solvers was inaugurated to spur further algorithmic and implementation developments, and to create an eclectic collection of benchmarks. The competition-expanded in subsequent years to include pseudo Boolean, QBF, and MAX-SAT solvers-has become an integralpartofthesemeetings,addinganelementofexcitementandanticipation. Theinterplaybetweentheoryandapplication,aswellastheincreasedinterestin Satis abilityfromawider communityofresearchers,ledtothe naturalevolution of these initial workshops into the current conference format. The annual SAT conference is now universally recognized as 'the venue' for publishing the latest advances in SAT research. 388 pp. Englisch.
