Wyniki wyszukiwania:
wyszukanych pozycji: 17
 |
The Lambda Calculus. Its Syntax and Semantics
ISBN: 9781848900660 / Angielski / Miękka / 2012 / 656 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively algebraic, computational, with more (coinductive) identifications, and finally set-theoretic.
The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to... The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with w...
|
cena:
164,31 zł |
 |
Forgiveness is Freedom: How I overcame life challenges to thrive and succeed and how you can too!
ISBN: 9781738779109 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
85,68 zł |
 |
Sonic Modernities in the Malay World: A History of Popular Music, Social Distinction and Novel Lifestyles (1930s – 2000s)
ISBN: 9789004259867 / Angielski / Twarda / 2014 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Sonic Modernities situates Southeast Asian popular music in specific socio-historical settings, hoping that a focus on popular culture and history may shed light on how some people in a particular part of the world have been witnessing the emergence of all things modern. In its focus on pioneering artists, their creative use of new genres and border crossing technologies it aims at a rewriting of Southeast Asia's twentieth century from the perspective of popular music makers, the entertainment industry and its ever changing audiences. Contributors include: Bart Barendregt, Philip...
Sonic Modernities situates Southeast Asian popular music in specific socio-historical settings, hoping that a focus on popular culture and hist...
|
cena:
582,41 zł |
 |
Green Consumption: The Global Rise of Eco-Chic
ISBN: 9780857855015 / Angielski / Twarda / 2014 / 224 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Green lifestyles and ethical consumption have become increasingly popular strategies in moving towards environmentally-friendly societies and combating global poverty. Where previously environmentalists saw excess consumption as central to the problem, green consumerism now places consumption at the heart of the solution. However, ethical and sustainable consumption are also important forms of central to the creation and maintenance of class distinction. Green Consumption scrutinizes the emergent phenomenon of what this book terms eco-chic: a combination of lifestyle... Green lifestyles and ethical consumption have become increasingly popular strategies in moving towards environmentally-friendly societies and comba... |
cena:
708,33 zł |
 |
Do Small Enterprises study Competitors?
ISBN: 9783639331981 / Niemiecki / Miękka / 2011 / 348 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. This unique Doctorate thesis addresses the knowledge gap regarding competitor study practices in small enterprises. It develops new theory, and presents best competitor study practices. It has used a cross-sectional qualitative multi-case study analysis methodology to study the competitor study practices of 7 very different small Dutch business-to-business enterprises. The research discovered hitherto unknown and unexpected relationships between the competitor study activities of small enterprises, SEs, and their relative competitive market positions. SEs with strong positions...
This unique Doctorate thesis addresses the knowledge gap regarding competitor study practices in small enterprises. It develops new theory, and pres...
|
cena:
364,15 zł |
 |
Lambda Calculus with Types
ISBN: 9780521766142 / Angielski / Twarda / 2013 / 856 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
|
cena:
393,96 zł |
 |
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
ISBN: 9783540580850 / Angielski / Miękka / 1994 / 395 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.
As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or... This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ...
|
cena:
195,87 zł |
 |
The Dark Side of the Mirror: Forgetting the Self in Dogen's Genjo Koan
ISBN: 9781911407256 / Angielski / Miękka / 2019 / 320 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych. Genjo Koan is the most important chapter in Dogen's principal major work, the Shobogenzo. This new commentary by Buddhist teacher and author David Brazier draws back the curtain revealing the deeper meaning of the text in language that is as transparent to the general reader as it is informative to the specialist.
Genjo Koan is the most important chapter in Dogen's principal major work, the Shobogenzo. This new commentary by Buddhist teacher and author David Bra...
|
cena:
82,93 zł |
 |
Research in Psychodiagnostics: Record of Investigations
ISBN: 9783112303122 / Angielski / Twarda / 1961 / 229 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
481,48 zł |
 |
Provocative Images in Contemporary Islam
ISBN: 9789087283773 / Angielski / Twarda / 2023 / 252 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Images provoke! This volume explores the role of images in contemporary Islam by turning to the act of provocation. Moving beyond a common focus within the study of religious visuality on art, aesthetic value, and perceptions of beauty or coherence, it shows how, when, and why images dare, shock, terrorize, confront, challenge, mock, shame, taunt, and offend, either intentionally or unintentionally, and as such lead to both confrontation and affective religious engagement. Exploring and experimenting with the relationship between text and image, the chapters draw attention simultaneously to...
Images provoke! This volume explores the role of images in contemporary Islam by turning to the act of provocation. Moving beyond a common focus withi...
|
cena:
561,41 zł |
 |
Recollecting Resonances: Indonesian-Dutch Musical Encounters
ISBN: 9789004256095 / Angielski / Twarda / 2013 / 354 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Over time Dutch and Indonesian composers, performers and music scholars have inspired each other and they continue to do so. The presence of the Dutch in the Netherlands East-Indies and Indonesia, but also the existence of large diasporic communities in the Netherlands have contributed to a mutual exchange in musical terms: from military brass bands, classical and liturgical music to jazz, Indo rock and more recently world music. Yet, such musical interactions have often been shaped by unequal power balances, and very divergent motifs to start with. Recollecting Resonances offers...
Over time Dutch and Indonesian composers, performers and music scholars have inspired each other and they continue to do so. The presence of the Dutch...
|
cena:
582,41 zł |
 |
A Lambda Calculus Satellite
ISBN: 9781848904156 / Angielski / Miękka / 2022 / 602 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
159,56 zł |
 |
Globalization and Modernity in Asia: Performative Moments
ISBN: 9789462981126 / Angielski / Twarda / 2018 / 242 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
503,70 zł |
 |
A Lambda Calculus Satellite
ISBN: 9781848904248 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
214,33 zł |
 |
Green Consumption: The Global Rise of Eco-Chic
ISBN: 9780857857149 / Angielski / Miękka / 2014 / 224 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Green lifestyles and ethical consumption have become increasingly popular strategies in moving towards environmentally-friendly societies and combating global poverty. Where previously environmentalists saw excess consumption as central to the problem, green consumerism now places consumption at the heart of the solution. However, ethical and sustainable consumption are also important forms of central to the creation and maintenance of class distinction. Green Consumption scrutinizes the emergent phenomenon of what this book terms eco-chic: a combination of lifestyle... Green lifestyles and ethical consumption have become increasingly popular strategies in moving towards environmentally-friendly societies and comba... |
cena:
157,35 zł |
 |
Audiovisual and Digital Ethnography: A Practical and Theoretical Guide
ISBN: 9780367676995 / Angielski / Miękka / 2021 / 218 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
194,08 zł |
 |
Audiovisual and Digital Ethnography: A Practical and Theoretical Guide
ISBN: 9780367676971 / Angielski / Twarda / 2021 / 218 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
708,33 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
