Wyniki wyszukiwania:
wyszukanych pozycji: 16
 |
Foundations of Software Science and Computation Structures: 18th International Conference, Fossacs 2015, Held as Part of the European Joint Conference
ISBN: 9783662466773 / Angielski / Miękka / 2015 / 465 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of... This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015...
|
cena:
194,52 zł |
 |
History, Biography, and the Genre of Luke-Acts: An Exploration of Literary Divergence in Greek Narrative Discourse
ISBN: 9789004406537 / Angielski / Twarda / 2019 / 252 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
469,71 zł |
 |
Nominal Sets: Names and Symmetry in Computer Science
ISBN: 9781107017788 / Angielski / Twarda / 2013 / 287 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by...
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and ...
|
cena:
277,04 zł |
 |
Christian Origins and Greco-Roman Culture: Social and Literary Contexts for the New Testament
ISBN: 9789004234161 / Angielski / Twarda / 2012 / 764 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In Christian Origins and Greco-Roman Culture, Stanley Porter and Andrew Pitts assemble an international team of scholars whose work has focused on reconstructing the social matrix for earliest Christianity through the use of Greco-Roman materials and literary forms. Each essay moves forward the current understanding of how primitive Christianity situated itself in relation to evolving Hellenistic culture. Some essays focus on configuring the social context for the origins of the Jesus movement and beyond, while others assess the literary relation between early Christian and Greco-Roman...
In Christian Origins and Greco-Roman Culture, Stanley Porter and Andrew Pitts assemble an international team of scholars whose work has focused...
|
cena:
1143,82 zł |
 |
The Language of the New Testament: Context, History, and Development
ISBN: 9789004234772 / Angielski / Twarda / 2013 / 536 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In The Language of the New Testament, Stanley E. Porter and Andrew W. Pitts assemble an international team of scholars whose work has focused on the Greek language of the earliest Christians. Each essay moves forward the current understanding of the context, history or development of the language of the New Testament. The first section of the volume focuses on the social contexts and registers that provide the environment for language use and selection. The second section deals with issues surrounding the history of the Greek language and how its development has impacted the Greek...
In The Language of the New Testament, Stanley E. Porter and Andrew W. Pitts assemble an international team of scholars whose work has focused o...
|
cena:
743,69 zł |
 |
Christian Origins and Hellenistic Judaism: Social and Literary Contexts for the New Testament
ISBN: 9789004234765 / Angielski / Twarda / 2012 / 632 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In Christian Origins and Hellenistic Judaism, Stanley E. Porter and Andrew W. Pitts assemble an international team of scholars whose work has focused on reconstructing the social matrix for earliest Christianity through reference to Hellenistic Judaism and its literary forms. Each essay moves forward the current understanding of how primitive Christianity situated itself in relation to evolving Greco-Roman Jewish culture. Some essays focus on configuring the social context for the origins of the Jesus movement and beyond, while others assess the literary relation between early...
In Christian Origins and Hellenistic Judaism, Stanley E. Porter and Andrew W. Pitts assemble an international team of scholars whose work has f...
|
cena:
1022,04 zł |
 |
Johannine Christology
ISBN: 9789004427365 / Angielski / Twarda / 2020 / 372 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
726,30 zł |
 |
Christian Origins and the Establishment of the Early Jesus Movement
ISBN: 9789004372696 / Angielski / Twarda / 2018 / 600 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
891,57 zł |
 |
Paul and the Greco-Roman Philosophical Tradition
ISBN: 9780567657916 / Angielski / Twarda / 2017 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Paul and the Greco-Roman Philosophical Tradition provides a fresh examination of the relationship of Greco-Roman philosophy to Pauline Christianity and an in-depth look at different approaches currently employed by scholars who draw upon philosophical settings in the ancient world to inform their understanding of Paul. The book is divided into two sections, one consisting of essays that situate Greco-Roman philosophy as a social setting for Pauline Christianity, and one consisting of exegetical studies dealing with various passages where motifs emerging from ancient philosophical... Paul and the Greco-Roman Philosophical Tradition provides a fresh examination of the relationship of Greco-Roman philosophy to Pauline Chris... |
cena:
623,64 zł |
 |
The Language and Literature of the New Testament: Essays in Honor of Stanley E. Porter's 60th Birthday
ISBN: 9789004334892 / Angielski / Twarda / 2016 / 848 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In The Language and Literature of the New Testament, a team of international scholars assembles to honour the academic career of New Testament scholar Stanley E. Porter. Over the years Porter has distinguished himself in a wide range of sub-disciplines within New Testament Studies. The contents of this book represent these diverse scholarly interests, ranging from canon and textual criticism to linguistics, other interpretive methodologies, Jesus and the Gospels, and Pauline studies.
In The Language and Literature of the New Testament, a team of international scholars assembles to honour the academic career of New Testament ...
|
cena:
1174,26 zł |
 |
Paul and the Greco-Roman Philosophical Tradition
ISBN: 9780567688071 / Angielski / Miękka / 2019 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
176,64 zł |
 |
Ancient Education and Early Christianity
ISBN: 9780567684981 / Angielski / Miękka / 2018 / 224 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
181,84 zł |
 |
Ancient Education and Early Christianity
ISBN: 9780567660275 / Angielski / Twarda / 2016 / 224 str. Termin realizacji zamówienia: ok. 22 dni roboczych. What was the relationship of ancient education to early Christianity? This volume provides an in-depth look at different approaches currently employed by scholars who draw upon educational settings in the ancient world to inform their historical research in Christian origins. The book is divided into two sections: one consisting of essays on education in the ancient world, and one consisting of exegetical studies dealing with various passages where motifs emerging from ancient educational culture provide illumination. The chapters summarize the state of the discussion on ancient... What was the relationship of ancient education to early Christianity? This volume provides an in-depth look at different approaches currently emplo... |
cena:
675,61 zł |
 |
Semantics and Logics of Computation
ISBN: 9780521118460 / Angielski / Miękka / 2009 / 376 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Summer school lecture courses on modern logic and computation are presented here.
Summer school lecture courses on modern logic and computation are presented here.
|
cena:
269,59 zł |
 |
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
ISBN: 9783540516620 / Angielski / Miękka / 1989 / 372 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program...
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in A...
|
cena:
182,85 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:
194,52 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
