Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Constructive Analysis and Synthesis of Programs
ISBN: 9781445206387 / Angielski / Twarda / 2009 / 140 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.
Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer...
|
cena:
149,59 zł |
 |
Brannte nicht unser Herz?
ISBN: 9783451410437 / Niemiecki / Twarda / 144 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. »Brannte nicht unser Herz?«, sagten die Emmausjünger zueinander nach ihrer ersten »Sonntagsmesse«. Es war am ersten Tag der Woche, also am Sonntag, als sie mit Jesus unterwegs waren, ihn das Wort auslegen hörten und ihn erkannten, als er das Brot brach. Man kann diese Auferstehungserzählung (vgl. Lk 24,13-35) geistlich auf unsere Haltung zur Eucharistiefeier hin lesen, auf dass auch unser Herz brennend wird. In kurzen erklärenden und deutenden Beiträgen erschließt Marco Benini die Elemente der Messfeier, auf dass Emmaus zur Fortsetzungsgeschichte wird: in der Eucharistie und im... »Brannte nicht unser Herz?«, sagten die Emmausjünger zueinander nach ihrer ersten »Sonntagsmesse«. Es war am ersten Tag der Woche, also am Son... |
cena:
86,52 zł |
 |
Die Liturgische Predigt. Grundlegung: Neu Eingeleitet Von Marco Benini
ISBN: 9783451389191 / Niemiecki / Twarda / 2021 / 400 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
194,84 zł |
 |
Constructive Adpositional Grammars: Foundations of Constructive Linguistics
ISBN: 9781443830072 / Twarda / 2011 / 280 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book presents a new paradigm of natural language grammar analysis, based on adposition as the key concept, considered a general connection between two morphemes – or group of morphemes. The adpositional paradigm considers the morpheme as the basic unit to represent morphosyntax, taken as a whole, in terms of constructions, while semantics and pragmatics are treated accordingly.
All linguistic observations within the book can be described through the methods and tools of Constructive Mathematics, so that the modelling becomes formally feasible. A full description in... This book presents a new paradigm of natural language grammar analysis, based on adposition as the key concept, considered a general connection betwee...
|
cena:
207,83 zł |
 |
Liturgical Hermenuetics of Sacred Scripture
ISBN: 9780813237190 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
163,64 zł |
 |
Mathematics for Computation (M4c)
ISBN: 9789811245213 / Angielski / Twarda / 2023 / 600 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
701,59 zł |
 |
Primordial Cosmology
ISBN: 9789814271004 / Angielski / Twarda / 2011 / 616 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Primordial Cosmology deals with one of the most puzzling and fascinating topics debated in modern physics — the nature of the Big Bang singularity. The authors provide a self-consistent and complete treatment of the very early Universe dynamics, passing through a concise discussion of the Standard Cosmological Model, a precise characterization of the role played by the theory of inflation, up to a detailed analysis of the anisotropic and inhomogeneous cosmological models. The most peculiar feature of this book is its uniqueness in treating advanced topics of quantum cosmology with a...
Primordial Cosmology deals with one of the most puzzling and fascinating topics debated in modern physics — the nature of the Big Bang singular...
|
cena:
1013,41 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
