4 risultati (0,13674 secondi )

Mostra tutti i filtri

Commerciante

Prezzo (EURO)

Resetta il filtro

Prodotti
Da
Negozi

Advances in Linear Logic | AA. VV. usato Scienze Matematica e Ingegneria

Advances in Linear Logic | AA. VV. usato Scienze Matematica e Ingegneria

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.

EUR 45.00
1

Prisoner's dilemma | William Poundstone usato Storia Biografie Diari e Memorie

Prisoner's dilemma | William Poundstone usato Storia Biografie Diari e Memorie

Watching players bluff in a poker game inspired John von Neumann--father of the modern computer and one of the sharpest minds of the century--to construct game theory, a mathematical study of conflict and deception. Game theory was embraced at the RAND Corporation, the think tank charged with formulating military strategy for the atomic age, and in 1950 two RAND scientists discovered the "prisoner's dilemma"--A disturbing game where two or more people may betray the common good for individual gain. The prisoner's dilemma quickly became a popular allegory of the nuclear arms race. Game theory developed into a controversial tool of public policy--alternately accused of justifying arms races and touted as the only hope of preventing them. Biographer Poundstone weaves together a biography of the brilliant and tragic von Neumann, a history of pivotal phases of the cold war, and an investigation of game theory's far-reaching influence.--From publisher description.

EUR 15.00
1

Chronica Fr. Salimbene Parmensis Ordinis Minorum Ex Codice Bibliothecae Vaticanae... | Salimbene (Da Parma) usato Storia Medievale

Chronica Fr. Salimbene Parmensis Ordinis Minorum Ex Codice Bibliothecae Vaticanae... | Salimbene (Da Parma) usato Storia Medievale

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book. The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: Chronica Fr. Salimbene Parmensis Ordinis Minorum Ex Codice Bibliothecae Vaticanae; Volume 3 Of Monumenta Historica Ad Provincias Parmensem Et Placentinam Pertinentia: Ser.i. Cronache Salimbene (da Parma) P. Fiaccadori, 1857 Holy Roman Empire; Italy

EUR 25.00
1

The King Arthur Baker's Companion. All-Purpose Baker's Companion (Revised and Updated) | King Arthur Flour usato Manualistica Cucina

The King Arthur Baker's Companion. All-Purpose Baker's Companion (Revised and Updated) | King Arthur Flour usato Manualistica Cucina

Trusted recipes, revised and updated for a new generation of home bakers.Comprehensive in scope, authoritative in style, and offering clear, practical, and encouraging instruction, The King Arthur Baking Company's All-Purpose Baker's Companion is the one book you'll turn to every time you bake. The experts from King Arthur lead home bakers through hundreds of easy and foolproof recipes from yeast breads and sourdoughs to cakes and cookies to quick breads and brownies. Winner of the 2004 Cookbook of the Year Award by the James Beard Foundation, this dependable cookbook has been reinvigorated with new photography, recipes, and revisions to keep it relevant to today's modern baker. Decades of research in their famous test kitchen shaped the contents of this book which includes more than 350 recipes, a completely up-to-date overview of ingredients (including gluten-free options), substitutions and variations, and troubleshooting advice. Sidebars share baking secrets and provide clear step-by-step instructions. Techniques are further explained with easy-to-follow illustrations. Now fully revised and updated,The King Arthur Baking Company's All-Purpose Baker's Companion is an essential kitchen tool.

EUR 32.00
1