Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di
ISBN: 9781475752687 / Angielski / Miękka / 2013 / 284 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
|
cena:
374,81 zł |
 |
Origins of a Creole: The History of Papiamentu and Its African Ties
ISBN: 9781614511427 / Angielski / Twarda / 2012 / 401 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This study embarks on the intriguing quest for the origins of the Caribbean creole language Papiamentu. In the literature on the issue, widely diverging hypotheses have been advanced, but scholars have not come close to a consensus. The present study casts new and long-lasting light on the issue, putting forward compelling interdisciplinary evidence that Papiamentu is genetically related to the Portuguese-based creoles of the Cape Verde Islands, Guinea-Bissau, and Casamance (Senegal). Following the trans-Atlantic transfer of native speakers to Curacao in the latter half of the 17th... This study embarks on the intriguing quest for the origins of the Caribbean creole language Papiamentu. In the literature on the issue, widely dive... |
cena:
712,01 zł |
 |
Foundations of Software Science and Computation Structures: 19th International Conference, Fossacs 2016, Held as Part of the European Joint Conference
ISBN: 9783662496299 / Angielski / Miękka / 2016 / 550 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems;... This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2... |
cena:
187,38 zł |
 |
Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di
ISBN: 9780792376835 / Angielski / Twarda / 2002 / 284 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
|
cena:
374,81 zł |
 |
Introduction to Coalgebra: Towards Mathematics of States and Observation
ISBN: 9781107177895 / Angielski / Twarda / 2016 / 494 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata,...
The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combi...
|
cena:
679,19 zł |
 |
Middle High German Legends in English Translation
ISBN: 9789087283728 / Angielski / Twarda / 2021 / 260 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
503,74 zł |
 |
Christianity in Late Antiquity, 300-450 C.E.: A Reader
ISBN: 9780195154610 / Angielski / Miękka / 2003 / 528 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Christianity in Late Antiquity, 300-450 C.E.: A Reader collects primary sources of the early Christian world, from the last "Great Persecution" under the Emperor Diocletian to the Council of Chalcedon in the mid-fifth century. During this period Christianity rose to prominence in the Roman Empire, developed new notions of sanctity and heresy, and spread beyond the Mediterranean world. This reader incorporates standard texts--from authors such as Athanasius, Augustine, and Eusebius--in the most recent translations and also includes less familiar texts, some of which appear in English...
Christianity in Late Antiquity, 300-450 C.E.: A Reader collects primary sources of the early Christian world, from the last "Great Persecutio...
|
cena:
611,88 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
