topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 212
 |
Philosophy of Religion: The Big Questions
ISBN: 9780631206040 / Angielski / Miękka / 1999 / 502 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book contains a collection of the essential readings treating both classic and contemporary issues in philosophy of religion.
This book contains a collection of the essential readings treating both classic and contemporary issues in philosophy of religion.
|
cena:
170,56 |
 |
Verified Functional Programming in Agda
ISBN: 9781970001273 / Angielski / Twarda / 2016 / 284 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to...
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of prog...
|
cena:
403,25 |
 |
Morphotactics: Volume 169: A Rule-Combining Approach
ISBN: 9781009168212 / Angielski / Twarda / 2022 / 300 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
537,41 |
 |
Thru the Bible
ISBN: 9781938777158 / Angielski / Miękka / 2021 / 42 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
34,36 |
 |
Reasoned Faith: Essays in Philosophical Theology in Honor of Norman Kretzmann
ISBN: 9781626548886 / Angielski / Miękka / 2014 / 376 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
128,21 |
 |
Programming Language Foundations
ISBN: 9781118007471 / Angielski / Miękka / 2013 / 336 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Stump's Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional. Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics; extensions to concurrent and non-deterministic versions; operational semantics for untyped lambda calculus; functional programming; type systems; and coverage of emerging topics and modern research directions.
Stump's Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics fo... |
cena:
569,15 |
 |
Millennium
ISBN: 9780982941324 / Angielski / Miękka / 2010 / 342 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Millennium tells the story of Cassidy Owens and her murdered brother and mother at the hands of their ex-law enforcement father and husband. Based on a true incident that takes place in a county in North Carolina, Cassidy finds herself between a rock and a hard place, powerless to comprehend the events of that holiday week when her father took his gun and shot his ex-wife and his own son who moved to protect his mother and took a bullet instead before the father went off into the woods and shot himself in remorse. This is a powerful story of how a saintly grandmother and other strong figures...
Millennium tells the story of Cassidy Owens and her murdered brother and mother at the hands of their ex-law enforcement father and husband. Based on ...
|
cena:
123,75 |
 |
Holocaust Education. Ein Thema für die Grundschule?
ISBN: 9783346188540 / Niemiecki / Miękka / 2020 / 26 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
146,48 |
 |
Otherworldly Antarctica: Ice, Rock, and Wind at the Polar Extreme
ISBN: 9780226829906 / Angielski / Twarda / 2024 / 176 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
119,06 |
 |
Verified Functional Programming in Agda
ISBN: 9781970001242 / Angielski / Miękka / 2016 / 284 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to...
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of prog...
|
cena:
324,57 |
 |
My name Verne, his name was Clay: A love story
ISBN: 9780578533070 / Angielski / Miękka / 2019 / 130 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
52,13 |
 |
Tales of Grief and Hope
ISBN: 9798777424075 / Angielski / Miękka / 2021 / 158 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
41,14 |
 |
Science and Christianity: An Introduction to the Issues
ISBN: 9781118625248 / Angielski / Miękka / 2016 / 192 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Science and Christianity is an accessible, engaging introduction to topics at the intersection of science and Christian theology.
Science and Christianity is an accessible, engaging introduction to topics at the intersection of science and Christian theology.
|
cena:
134,33 |
 |
Wednesday's Child
ISBN: 9781434304025 / Angielski / Miękka / 2007 / 76 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
125,03 |
 |
The Semantic Variability of Absolute Constructions
ISBN: 9789027718952 / Angielski / Twarda / 1984 / 403 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The goal of this book is to investigate the semantics of absolute constructions in English; specifically, my object is to provide an explanation for the semantic variability of such constructions. As has been widely noted in traditional grammatical studies of English, free adjuncts and absolute phrases have the ability to playa number of specific logical roles in the sentences in which they appear; yet, paradoxically, they lack any overt indication of their logical connection to the clause which they modify. How, then, is the logical function of an absolute construction determined? In...
The goal of this book is to investigate the semantics of absolute constructions in English; specifically, my object is to provide an explanation for t...
|
cena:
404,42 |
 |
Original Sin and the Fall: Five Views
ISBN: 9780830852871 / Angielski / Miękka / 2020 / 200 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
103,15 |
 |
The Night Child 2, Oh Brother
ISBN: 9781440498145 / Angielski / Miękka / 2008 / 264 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Jim Ailing and Anna Davis have been fighting vampires for six years. However, when a new and more dangerous creature attacks, they will need help from all of their friends. In their new battles, additional "firepower" will come from a very powerful relative.
Jim Ailing and Anna Davis have been fighting vampires for six years. However, when a new and more dangerous creature attacks, they will need help from...
|
cena:
44,07 |
 |
Science and Christianity: An Introduction to the Issues
ISBN: 9781118625279 / Angielski / Twarda / 2016 / 200 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Science and Christianity is an accessible, engaging introduction to topics at the intersection of science and Christian theology.
Science and Christianity is an accessible, engaging introduction to topics at the intersection of science and Christian theology.
|
cena:
424,21 |
 |
The Semantic Variability of Absolute Constructions
ISBN: 9789027718969 / Angielski / Miękka / 1984 / 403 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The goal of this book is to investigate the semantics of absolute constructions in English; specifically, my object is to provide an explanation for the semantic variability of such constructions. As has been widely noted in traditional grammatical studies of English, free adjuncts and absolute phrases have the ability to playa number of specific logical roles in the sentences in which they appear; yet, paradoxically, they lack any overt indication of their logical connection to the clause which they modify. How, then, is the logical function of an absolute construction determined? In...
The goal of this book is to investigate the semantics of absolute constructions in English; specifically, my object is to provide an explanation for t...
|
cena:
404,42 |
 |
A Murmuration of Demons: A True Tale of Love, Life, Hardship, and Loss
ISBN: 9781038339003 / Angielski / Miękka / 2025 / 156 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
84,04 |
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
