topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
La Règle
ISBN: 9782322043002 / Francuski / Miękka / 2015 / 224 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) L'equilibre est le secret en tout, la Regle est le secret de l'equilibre. Imaginez que vous etes plonge dans une societe uniformisee regie par une Regle... Imaginez que cette Regle est tout a la fois: religion, loi, dogme et principe de vie.... Imaginez que vous etes, non seulement un des plus fervents partisans de cette Regle, mais qu'en plus vous etes membre de l'Administration chargee de la faire appliquer... Imaginez que vous vous apercevez que la Regle n'est pas si parfaite et que toute votre vie pourrait etre un mensonge... Maintenant vous etes sur le point de franchir l'abime sans...
L'equilibre est le secret en tout, la Regle est le secret de l'equilibre. Imaginez que vous etes plonge dans une societe uniformisee regie par une Reg...
|
cena:
113,72 zł |
 |
Peeling Random Planar Maps
ISBN: 9783031368530 / Angielski / Miękka / 2023 Termin realizacji zamówienia: ok. 20 dni roboczych. These Lecture Notes provide an introduction to the study of those discrete surfaces which are obtained by randomly gluing polygons along their sides in a plane. The focus is on the geometry of such random planar maps (diameter, volume growth, scaling and local limits...) as well as the behavior of statistical mechanics models on them (percolation, simple random walks, self-avoiding random walks...).
A “Markovian” approach is adopted to explore these random discrete surfaces, which is then related to the analogous one-dimensional random walk processes. This technique, known as "peeling... These Lecture Notes provide an introduction to the study of those discrete surfaces which are obtained by randomly gluing polygons along their sides i...
|
cena:
254,06 zł |
 |
Typed Lambda Calculi and Applications
ISBN: 9783642022722 / Angielski / Miękka / 2009 / 417 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming. The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and...
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasil...
|
cena:
195,42 zł |
 |
Categorical Combinators, Sequential Algorithms, and Functional Programming
ISBN: 9781461267041 / Angielski / Miękka / 2012 / 404 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi),...
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit ...
|
cena:
390,87 zł |
 |
Categorical Combinators, Sequential Algorithms, and Functional Programming
ISBN: 9780817636548 / Angielski / Twarda / 1993 / 404 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi),...
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit ...
|
cena:
390,87 zł |
 |
Domains and Lambda-Calculi
ISBN: 9780521062923 / Angielski / Miękka / 2008 / 504 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda...
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani...
|
cena:
368,17 zł |
 |
Crystallographic Book List
ISBN: 9789027790330 / Angielski / Miękka / 1965 / 83 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This is a Crystallographic Book List - but what is Crystallography? We take the following working definition. Crystallography is the branch of science concerned with the description and understanding of the structure and properties of condensed states of matter in terms of the spatial relationships of atoms and interatomic forces in an extended array_ Moreover A Crystallographer is a scientist with an active interest in Crystallography, either for its own sake or for the contribution it can make to some other branch of science. (Obviously this defi- nition is not an exclusive one) The problem...
This is a Crystallographic Book List - but what is Crystallography? We take the following working definition. Crystallography is the branch of science...
|
cena:
39,05 zł |
 |
Domains and Lambda-Calculi
ISBN: 9780521622776 / Angielski / Twarda / 1998 / 504 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda...
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani...
|
cena:
678,63 zł |
 |
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
ISBN: 9783540544951 / Angielski / Miękka / 1991 / 304 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming...
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6...
|
cena:
195,42 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
