14.789 resultados
ref. B9781788395151Paperback / softback. New. paperback
ref. B9783030323264Paperback / softback. New. paperback
ref. B9783540309475Paperback / softback. New. This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages PADL 2006 held on January 9-10 2006 in Charleston South Carolina. Topics of interest include but are not limited to: - Innovative applications of declarative languages; paperback
ref. B9783656824268Paperback. New. paperback
ref. B9783642408847Paperback / softback. New. paperback
ref. B9783640608065Paperback / softback. New. paperback
ref. B9783656454236Paperback. New. paperback
ref. B9783642252600Paperback / softback. New. Constitutes the post-conference proceedings of the Joint Meeting of the 2nd Luxembourg-Polish Symposium on Security and Trust and the 19th International Conference Intelligent Information Systems held as International Joint Confererence on Security and Intelligent Information Systems SIIS 2011 in Warsaw Poland in June 2011. paperback
ref. B9783031074684Paperback / softback. New. This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata CIAA 2022 held in Rouen France in June/ July 2022. The topics of the papers covering various fields in the application implementation and theory of automata and related structures. paperback
ref. B9783639133295Paperback / softback. New. paperback
ref. B9783540484974Paperback / softback. New. Concentration inequalities have been recognized as fundamental tools in several domains such as geometry of Banach spaces or random combinatorics. They also turn to be essential tools to develop a non asymptotic theory in statistics. This volume provides an overview of a non asymptotic theory for model selection. paperback
ref. B9783337867218Paperback / softback. New. paperback
ref. B9783639726381Paperback / softback. New. paperback
ref. B9783744665353Paperback / softback. New. paperback
ref. B9783642250699Paperback / softback. New. This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry ADG 2010 held in Munich Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. paperback
ref. B9783639055726Paperback / softback. New. paperback
ref. B9783319209968Paperback / softback. New. In these notes we consider two kinds of nonlinear evolution problems of von Karman type on Euclidean spaces of arbitrary even dimension. Each of these problems consists of a system that results from the coupling of two highly nonlinear partial differential equations one hyperbolic or parabolic and the other elliptic. paperback
ref. B9783656599630Paperback / softback. New. paperback
ref. B9783319117638Paperback / softback. New. This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization Safety and Security of Distributed Systems SSS 2013 held in Osaka Japan in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. fault-tolerant and dependable systems; paperback
ref. B9783319587462Paperback / softback. New. This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia CSR 2017 held in Kazan Russia in June 2017. combinatorics in computer science; applications of logic to computer science e.g. paperback
ref. B9783039211791Paperback / softback. New. paperback
ref. 91014Paris Chez Ant. Renouard XI- 1803. 2 volumes. 2 feuillets. 254 pages.; 2 feuillets. 291 pages. 185x105 Cm. Demi maroquin rouge. Dos lisse orné. Reliure de l'époque. Coins et coiffes émoussés. Dos et plats frottés. Les Provinciales publiées en 1656-1657 sous le pseudonyme de Louis de Montalte constituent une série de dix-huit lettres où Blaise Pascal 1623-1662 né à Clermont-Ferrand mathématicien et philosophe janséniste critique avec rigueur la casuistique des jésuites. Au XVIIe siècle marquées par les querelles théologiques entre jansénistes et jésuites sous Louis XIV ces lettres défendent la morale chrétienne rigoureuse contre les accommodements moraux jugés laxistes. Elles illustrent la prose argumentative française classique mêlant ironie et logique serrée et exercent une influence durable sur la pensée religieuse et philosophique européenne. Cette édition de 1803 chez Renouard reflète l'intérêt persistant pour cet ouvrage fondamental du corpus pascalien. Paris, Chez Ant. Renouard, XI- 1803. unknown
ref. A9780761972938Paperback / softback. New. In this book the editors discuss criteria and methodologies for evaluating and improving the quality of learning and show how to evaluate practice and create action plans for improvement. paperback
ref. B9781780933115Paperback / softback. New. paperback
ref. B9780521760782Hardback. New. The book will provide non-technical answers about human memory and its role in making us who we are and making societies what they are. Some of the best memory scholars in the world - psychologists historians anthropologists - provide an easy and precise introduction to the most recent research. hardcover