"Daniel Le Berre" appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 96 entries

Book	Author(s)	Year	Publisher
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings	Nadia Creignou; Daniel Le Berre	1st ed. 2016	Springer International Publishing
Surkh Kotal en Bactriane /	Schlumberger, Daniel.; Le Berre, Marc.; Fussman, Gérard.	1983-	Diffusion de Boccard,
Les Cartulaires méridionaux	Daniel Le Blévec	2006	Publications de l’École nationale des chartes
Monastères et couvents de montagne: circulation, réseaux, influences au Moyen Âge	Daniel Le Blévec	2019	Éditions du Comité des travaux historiques et scientifiques
Eating disorders in children and adolescents: a clinical handbook	Daniel Le Grange	2011	Guilford Press
Les Cartulaires méridionaux	Daniel Le Blévec	2006	Publications de l’École nationale des chartes
Monastères et couvents de montagne: circulation, réseaux, influences au Moyen Âge	Daniel Le Blévec	2019	Éditions du Comité des travaux historiques et scientifiques
An answer to what Dr. Freind has written in his History of physick, concerning several mistakes, which he pretends to have found in a short work of Dr. Le Clerc. . .	Daniel Le Clerc	1728	J. Clarke
Guide de planification financière	Daniel Le Rossignol	1990	Trécarré
Psychose, autopsie du film	Daniel Le Bras	2014	Edilivre
Computer crazy	Daniel Le Noury	1984	SYBEX;Longman Higher Education
Danielis Clerici	Daniel Le Clerc	1715	apud fratres De Tournes
Le résistible arrachement au passé	Daniel Le Couëdic	1999	Éditions Nota bene
Histoire de la medecine ou l'on void l'origine & le progrès de cet art. . .	Daniel Le Clerc	1729	I. van der Kloot
La conservation des peintures murales des temples de Karnak	Daniel Le Fur	1994	Editions Recherche sur les civilisations
Word 6 pour Windows,Excel 5 et Access 2: treize fiches d'activités	Daniel Le Rouzic	1995	Bertrand-Lacoste
La Débrouille	Daniel Le Bras	2008	Alna Editeur
The history of physick, or, An account of the rise and progress of the art: and the several discoveries therein from age to age. With remarks on the lives of the most eminent physicians.	Daniel Le Clerc	1699	D. Brown [etc.]
Histoire de la medecine ou l'on void l'origine & le progrès de cet art. . .	Daniel Le Clerc	1723	'Aux dépens de la Compagnie
Historia naturalis et medica latorum lumbricorum, intra hominem et alia animalia, nascentium. . . Acc. . . . de ceteris quoque hominum vermibus. . . disquisitio	Daniel Le Clerc	1715	De Tournes
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 96 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition	Daniel Le Berre; Laurent Simon	Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers	Holger H. Hoos; David G. Mitchell	2005	Springer Berlin Heidelberg
The Essentials of the SAT 2003 Competition	Daniel Le Berre; Laurent Simon	Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers	Enrico Giunchiglia; Armando Tacchella	2004	Springer Berlin Heidelberg
Open Science Awards Ceremony and Conclusions	Claire Giry; Daniel Le Berre	Proceedings of the Paris Open Science European Conference: OSEC 2022	Open Science European Conference	2022	OpenEdition Press
Cérémonie de remise des prix de la science ouverte	Claire Giry; Daniel Le Berre	Actes des Journées européennes de la science ouverte: Open Science European Conference – OSEC 2022	Open Science European Conference	2022	OpenEdition Press
On Dedicated CDCL Strategies for PB Solvers	Daniel Le Berre; Romain Wallon	Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings	Chu-Min Li; Felip Manyà	1st ed. 2021	Springer International Publishing
The essentials of the SAT 2003 competition	Daniel Le Berre and Laurent Simon	Theory and applications of satisfiability testing: 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003: selected revised papers /	Giunchiglia, Enrico.; Tacchella, Armando.	2004.	Springer,
Aggregating Interval Orders by Propositional Optimization	Daniel Le Berre; Pierre Marquis; Meltem Öztürk	Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings	Francesca Rossi; Alexis Tsoukias	2009	Springer Berlin Heidelberg
Challenges in the QBF Arena: the SAT’03 Evaluation of QBF Solvers	Daniel Le Berre; Laurent Simon; Armando Tacchella	Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers	Enrico Giunchiglia; Armando Tacchella	2004	Springer Berlin Heidelberg
On Weakening Strategies for PB Solvers	Daniel Le Berre; Pierre Marquis; Romain Wallon	Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings	Luca Pulina; Martina Seidl	1st ed. 2020	Springer International Publishing
A Branching Heuristics for Quantified Renamable Horn Formulas	Sylvie Coste-Marquis; Daniel Le Berre; Florian Letombe	Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings	Fahiem Bacchus; Toby Walsh	2005	Springer Berlin Heidelberg
Challenges in the QBF arena: the SAT'03 evaluation of QBF solvers	Daniel Le Berre, Laurent Simon and Armando Tacchella	Theory and applications of satisfiability testing: 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003: selected revised papers /	Giunchiglia, Enrico.; Tacchella, Armando.	2004.	Springer,
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation	Takehide Soh; Mutsunori Banbara; Naoyuki Tamura; Daniel Le Berre	Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings	J. Christopher Beck	1st ed. 2017	Springer International Publishing
The Second QBF Solvers Comparative Evaluation	Daniel Le Berre; Massimo Narizzano; Laurent Simon; Armando Tacchella	Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers	Holger H. Hoos; David G. Mitchell	2005	Springer Berlin Heidelberg
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem	Takehide Soh; Daniel Le Berre; Stéphanie Roussel; Mutsunori Banbara; Naoyuki Tamura	Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings	Eduardo Fermé; Joao Leite	2014	Springer International Publishing
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem	Jean-Marie Lagniez; Daniel Le Berre; Tiago de Lima; Valentin Montmirail	Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings	Didier Galmiche; Stephan Schulz; Roberto Sebastiani	1st ed. 2018	Springer International Publishing
Simulation of the Cold Spray Deposition Process for Aluminum and Copper using Lagrangian, ALE and CEL Methods	Daniel Nélias; Jing Xie; Hélène Walter-Le Berre; Yuji Ichikawa; Kazuhiro Ogawa	Thermo-Mechanical Industrial Processes	Jean-Michel Bergheau	2014	John Wiley & Sons
A Formal Privacy Management Framework	Daniel Le Métayer	Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers	Pierpaolo Degano; Joshua D. Guttman; Fabio Martinelli	2009	Springer Berlin Heidelberg
Formal Methods as a Link between Software Code and Legal Rules	Daniel Le Métayer	Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings	Gilles Barthe; Alberto Pardo; Gerardo Schneider	2011	Springer Berlin Heidelberg
IT Security Analysis Best Practices and Formal Approaches	Daniel Le Métayer	Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures	Alessandro Aldini; Roberto Gorrieri	2007	Springer Berlin Heidelberg
Whom to Trust? Using Technology to Enforce Privacy	Daniel Le Métayer	Enforcing Privacy: Regulatory, Legal and Technological Approaches	David Wright; Paul De Hert	1st ed. 2016	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries