topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 53
 |
An Introduction to Lambda Calculi for Computer Scientists
ISBN: 9780954300654 / Angielski / Miękka / 2004 / 180 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The lambda-calculus lies at the very foundations of computer
science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus,... The lambda-calculus lies at the very foundations of computer
science. Besides its historical role in computability theory it has had signific... |
cena:
112,25 zł |
 |
Complete Confidence Updated Edition: A Handbook
ISBN: 9780061544545 / Angielski / Miękka / 2018 / 272 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Confident people react positively and successfully to life's problems and challenges. Those who lack confidence often view themselves as victims--blaming others or bingeing on drugs, sex, food, or alcohol to mask their feelings of shame or worthlessness. In Complete Confidence, renowned psychotherapist Dr. Sheenah Hankin points the way to a confident life free of self-criticism, anxiety, and immature anger. Her Winning Hand of Comfort technique is a clear, concise, and powerful prescription for dealing with everyday situations--from resolving conflicts to ending unhealthy... Confident people react positively and successfully to life's problems and challenges. Those who lack confidence often view themselves as victims--b... |
cena:
87,11 zł |
 |
After Dark: Birth of the Disco Dance Party
ISBN: 9781736614907 / Angielski / Twarda / 2021 / 278 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
108,90 zł |
 |
Girls in the Back Room: Looking at the Lesbian Bar
ISBN: 9780816639298 / Angielski / Miękka / 2002 / 232 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
114,28 zł |
 |
Lambda Calculi
ISBN: 9780198538400 / Angielski / Miękka / 1994 / 176 str. Termin realizacji zamówienia: ok. 30 dni roboczych. The Λ-calculus lies at the very foundations of Computer Science. Besides its historical role in compatibility theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasises the proof theory for the type-free Λ-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability and the relationship between the Λ -calculus and Combinatoryh Logic. Chapter 7 presents a variety of typed calculi; first the simply typed Λ-calculus, then Milner-style...
The Λ-calculus lies at the very foundations of Computer Science. Besides its historical role in compatibility theory it has had significant influence...
|
cena:
252,42 zł |
 |
After Dark: Birth of the Disco Dance Party
ISBN: 9781736614914 / Angielski / Miękka / 2021 / 278 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
65,32 zł |
 |
The Daydreams
ISBN: 9780593438183 / Angielski / Twarda / 2023 / 368 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych (Dostawa przed świętami) |
cena:
133,86 zł |
 |
Flatmates
ISBN: 9781849239530 / Angielski / Miękka / 2009 / 308 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. A drifter, an aspiring actress, a would-be entrepreneur and a teenager mother are thrown together in bedsit Twickenham. Jealousy, racial prejudice and drug abuse threaten to destroy their relationship. But when tragedy strikes, will friendship prevail?
A drifter, an aspiring actress, a would-be entrepreneur and a teenager mother are thrown together in bedsit Twickenham. Jealousy, racial prejudice and...
|
cena:
78,04 zł |
 |
Daydreams
ISBN: 9783442494699 / Niemiecki / Miękka / 384 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Vier Stars, ein Skandal und eine Reunion voller Drama, Liebe und Geheimnisse ...
»The Daydreams« war die TV-Serie, die vor Jahren alle Herzen eroberte und Kat, Summer, Noah und Liana zu den bekanntesten Teenie-Stars ganz Amerikas machte: Jeder konnte ihre Songs mitsingen, jeder schwärmte für die Lovestory, jeder wollte so sein wie sie. Bis ein Skandal zur Absetzung der Show führte, und die Wege der vier sich trennten. Mittlerweile ist Kat eine erfolgreiche Anwältin, Influencerin Liana hat einen Profisportler geheiratet, Summer stolpert von einem Entzug in den nächsten,... Vier Stars, ein Skandal und eine Reunion voller Drama, Liebe und Geheimnisse ...
»The Daydreams« war die TV-Serie, die vor Jahren alle... |
cena:
73,25 zł |
 |
Common Sense And Its Cultivation
ISBN: 9780415209588 / Angielski / Twarda / 1999 / 300 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Routledge is now re-issuing this prestigious series of 204 volumes originally published between 1910 and 1965. The titles include works by key figures such asC.G. Jung, Sigmund Freud, Jean Piaget, Otto Rank, James Hillman, Erich Fromm, Karen Horney and Susan Isaacs. Each volume is available on its own, as part of a themed mini-set, or as part of a specially-priced 204-volume set. A brochure listing each title in the International Library of Psychology series is available upon request.
Routledge is now re-issuing this prestigious series of 204 volumes originally published between 1910 and 1965. The titles include works by key figures...
|
cena:
1091,37 zł |
 |
In the Beginning: Biblical Sparks for a Child's Week
ISBN: 9781623964368 / Angielski / Miękka / 2013 / 140 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Known as the "book of books," the Bible is the most successful bestselling book of all times. It lays the foundations for the worldview and moral stance of followers of all monotheistic religions. Beyond its religious significance and its contribution to the faith in one God, the Bible presents a framework that provides meaning and value to human existence in our world. The Bible provides lifestyle guidance, and suggests responses to crisis situations that are inevitable in human life. For the religious and non-religious alike, the Bible constitutes an important source of cultural heritage,...
Known as the "book of books," the Bible is the most successful bestselling book of all times. It lays the foundations for the worldview and moral stan...
|
cena:
209,85 zł |
 |
Programming Languages and Systems: 7th European Symposium on Programming, Esop'98, Held as Part of the Joint European Conferences on Theory and Practi
ISBN: 9783540643029 / Angielski / Miękka / 1998 / 289 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc. This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences o...
|
cena:
194,52 zł |
 |
Life of Mary Anne Schimmelpenninck
ISBN: 9783375150709 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
411,33 zł |
 |
The Summertime Girls,
ISBN: 9780425279632 / Angielski / Miękka / 2015 / 304 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. When two lifelong friends reunite for one more summer in small-town Maine, they must bridge the gap caused by the dreams and secrets that tore them apart... Ally Morris and Beth Abbott were beyond inseparable. From the very first time they met, the girls knew they'd found a once-in-a-lifetime friendship. But sometimes, life can't help but get in the way. As time goes by, disappointments and petty resentments begin to alter what they once thought was forever. Ally's boho lifestyle leaves her drowning in confusion and cheap whisky, while a terrible secret threatens to shatter...
When two lifelong friends reunite for one more summer in small-town Maine, they must bridge the gap caused by the dreams and secrets that tore them...
|
cena:
95,87 zł |
 |
Introducao ao calculo lambda
ISBN: 9781848900844 / Portugalski / Miękka / 2012 / 186 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. O calculo lambda e um dos pilares da ciencia da computacao. Para alem do seu papel historico em teoria da computabilidade, teve influencia significativa no desenho e implementacao de linguagens de programacao, em semantica denotacional, e em teoria de dominios. O livro da enfase a teoria da demonstracao do calculo lambda sem tipos. Os primeiros capitulos concentram-se neste calculo e abordam a teoria basica, reducoes, modelos, computabilidade e o relacionamento entre o calculo lambda e a logica combinatoria. O Capitulo 7 introduz o calculo lambda com tipos: primeiro o calculo lambda...
O calculo lambda e um dos pilares da ciencia da computacao. Para alem do seu papel historico em teoria da computabilidade, teve influencia significati...
|
cena:
107,37 zł |
 |
One-star Romance
ISBN: 9780593438213 / Miękka / 2024 / 400 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
82,79 zł |
 |
Static Analysis: 12th International Symposium, SAS 2005, London, Uk, September 7-9, 2005, Proceedings
ISBN: 9783540285847 / Angielski / Miękka / 2005 / 380 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues new semantic models of programming languages and systems through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and...
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in ...
|
cena:
194,52 zł |
 |
Documenting the American Student Abroad: The Media Cultures of International Education
ISBN: 9781978807693 / Angielski / Twarda / 2021 / 252 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
678,34 zł |
 |
The Last of The De Mullins
ISBN: 9781547005444 / Angielski / Miękka / 2017 / 148 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
45,71 zł |
 |
Mr. Punch's Dramatic Sequels
ISBN: 9781530978205 / Angielski / Miękka / 2016 / 94 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
31,98 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
