Carla gomes (68 Ergebnisse)

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Gomes, Bruno (illustrator).

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Gomes, Bruno (illustrator).

Paperback. Zustand: Brand New. 28 pages. Portuguese language. 9.00x6.00x0.07 inches. In Stock.

Paperback. Zustand: Brand New. 27 pages. 9.00x6.00x0.07 inches. In Stock.

Paperback. Zustand: Brand New. 27 pages. 9.00x6.00x0.07 inches. In Stock.

Paperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Gomes, Bruno (illustrator).…

paperback. Zustand: Very Good.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Paperback. Zustand: Brand New. 194 pages. 9.00x6.00x0.50 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 132 pages. 9.00x6.00x0.28 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- From Propositional Satisfiability to Satisfiability Modulo Theories.- CSPs: Adding Structure to SAT.- Session 1. Proofs and Cores.- Complexity of Semialgebraic Proofs with Restricted Degree of Falsity.- Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel.- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction.- Minimum Witnesses for Unsatisfiable 2CNFs.- Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs.- Extended Resolution Proofs for Symbolic SAT Solving with Quantification.- Session 2. Heuristics and Algorithms.- Encoding CNFs to Empower Component Analysis.- Satisfiability Checking of Non-clausal Formulas Using General Matings.- Determinization of Resolution by an Algorithm Operating on Complete Assignments.- A Complete Random Jump Strategy with Guiding Paths.- Session 3. Applications.- Applications of SAT Solvers to Cryptanalysis of Hash Functions.- Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies.- Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ .- SAT in Bioinformatics: Making the Case with Haplotype Inference.- Session 4. SMT.- Lemma Learning in SMT on Linear Constraints.- On SAT Modulo Theories and Optimization Problems.- Fast and Flexible Difference Constraint Propagation for DPLL(T).- A Progressive Simplifier for Satisfiability Modulo Theories.- Session 5. Structure.- Dependency Quantified Horn Formulas: Models and Complexity.- On Linear CNF Formulas.- A Dichotomy Theorem for Typed Constraint Satisfaction Problems.- Session 6. MAX-SAT.- A Complete Calculus for Max-SAT.- On Solving the Partial MAX-SAT Problem.- MAX-SAT for Formulas with Constant ClauseDensity Can Be Solved Faster Than in Time.- Average-Case Analysis for the MAX-2SAT Problem.- Session 7. Local Search and Survey Propagation.- Local Search for Unsatisfiability.- Efficiency of Local Search.- Implementing Survey Propagation on Graphics Processing Units.- Characterizing Propagation Methods for Boolean Satisfiability.- Session 8. QBF.- Minimal False Quantified Boolean Formulas.- Binary Clause Reasoning in QBF.- Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.- QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.- Session 9. Counting and Concurrency.- Solving #SAT Using Vertex Covers.- Counting Models in Integer Domains.- sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP.- A Distribution Method for Solving SAT in Grids. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013. This volume contains 20 full papers and 11 short papers that were carefully reviewed and selected from 71 submissions. The papers focus on new techniques or applications in the intersection of constraint programming (CP), artificial intelligence (AI) and operations research (OR). …

Taschenbuch. Zustand: Neu. Tourism as a Contribution to the Quality of Life of the Local Population | Case study in the Santos Reis neighborhood, Natal/RN | Luciana Carla da Silva Gomes | Taschenbuch | Englisch | 2025 | Our Knowledge Publishing | EAN 9786206836353 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Zustand: New. Dr Michela Barosio is a full time associate professor at the Department of Architecture and Design of the Politecnico di Torino. During 2018/19 she coordinated the reform of the Bachelor program in architecture at Politecnico. Michela is a charter.

Taschenbuch. Zustand: Neu. Sensitising students about Dasypodidae in Abelardo Luz - SC | Hunting is one of the main causes of animal decline, which if not reduced could lead to extinction | Carla Graciele Gomes | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2024 | Our Knowledge Publishing | EAN 9786207941285 | Verantwortliche Person für die EU: SIA OmniScriptum Publishing, Brivibas Gatve 197, 1039 RIGA, LETTLAND, customerservice[at]vdm-vsg[dot]de | Anbieter: preigu.…

Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Get to know the Folkloric Tales that have been passed down from one generation to the next in Brazil. In this book kids will learn about five iconic characters: SACI PERERE - Brazil's biggest prankster. IARA - Considered the strongest warrior of her tribe, she was enchanted to live forever in an unexpected way. CURUPIRA - The greatest animal healer has an unusual way to mislead the hunters. BOITATA - A friendly snake who has discovered how magical he became. BOTO COR DE ROSA - A hopeless romantic in search of love and family. ¿The stories were inspired by Brazil's popular legends and adapted for children. Gomes, Bruno (illustrator).…

paperback. O Rio de Janeiro se veste de vermelho e branco no dia 23 de abril. Entre fé e festa, samba e devoção, histórias se cruzam para revelar a força do Orixá e do Santo Guerreiro, unidos em um sincretismo que abençoou e encruzilhou a fé. Com prefácio de Luiz Antonio Simas e Rafael Haddock Lobo e a presença de autores como Wlange Kiendé, DEVOTOS é uma escrevivência que pulsa pertencimento e ancestralidade. Pegue sua cerveja gelada, sinta o cheiro da feijoada sendo preparada, ouça o samba tocando, e mergulhe nessa reza escrita.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Exposure to Microbiological Agents in Indoor and Occupational Environments | Carla Viegas (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783319871332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book intends to provide information about detection and health effects due to bacteria, fungi and viruses in indoor environments. The book will cover also information about preventive and protective measures to avoid health-hazardous. Case studies will be also addressed to enrich the book with the expertise of each invited author. The book also intends to fill a gap regarding information about all biologic agents, since most of the books available are dedicated to only one type of microorganisms. For various different biologic agents and metabolites this book will compile information about indoors presence, detection methods, exposure assessment and health effects. Several problems regarding the exposure of biologic agents will be presented through case studies, and also the implementation of preventive and protective measures to avoid/minimize exposure. Besides, all the book will focus on occupational health and/or public health point of view.…

Zustand: New.