Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, Cie 2022, Swansea, Uk, July 11-15, 2022, Proceedings
ISBN: 9783031087394 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022.
The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was “Revolutions and revelations in computability”. This alludes to the revolutionary developments we have seen in computability theory, starting with Turing's and Gödel's discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational... This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022.
|
cena:
249,99 zł |
 |
Computational Logic
ISBN: 9783540645894 / Angielski / Twarda / 1999 / 448 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
576,96 zł |
 |
Computational Logic
ISBN: 9783642636707 / Angielski / Miękka / 2012 / 448 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
576,96 zł |
 |
The Future of Smart Production for SMEs: A Methodological and Practical Approach Towards Digitalization in SMEs
ISBN: 9783031154270 / Angielski / Twarda / 2022 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book explains and exemplifies how SMEs can embrace the Smart Production approach and technologies in order to gain a beneficiary outcome. The book describes the Smart Production vision for SMEs, as well as the method to get there. The concept behind the book is based on the long-term experience of the authors in researching and tackling problems of SMEs in the manufacturing sector. The book provides applied methods and obtained solutions in different branches and different sizes of SMEs, encompassing a broad survey of our markets and societies. The perspective is systemic/holistic and...
This book explains and exemplifies how SMEs can embrace the Smart Production approach and technologies in order to gain a beneficiary outcome. The boo...
|
cena:
538,49 zł |
 |
Iwanowski's Island - Reiseführer von Iwanowski, m. 1 Karte : Individualreiseführer mit Extra-Reisekarte und Karten-Download
ISBN: 9783861971931 / Niemiecki / Miękka / 2018 / 432 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
90,28 zł |
 |
DuMont Reise-Taschenbuch Reiseführer Eifel, Aachen, Trier
ISBN: 9783616020266 / Niemiecki / Miękka / 2020 / 300 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Auf 300 Seiten beschreiben Petra Juling und Ulrich Berger den Eifel- Ardennen-Raum im Dreiländereck Belgien, Luxemburg, Deutschland. Ihr Buch begleitet durch Kultur und Natur, Stadt und Land, an Seen, durch Täler und auf Berge. Sie führen mitten hinein in den Alltag und das Leben vor Ort. Mit 22 Touren, persönlichen Lieblingsorten, ausgewählten Adressen und besonderen Autorentipps. Das Magazin mit Interviews, Porträts, Reportagen und Fotos schafft eine spürbare Nähe zur Lebenswelt in der Eifel. 27 Citypläne und Tourenkarten sowie die große separate Reisekarte unterstützen die...
Auf 300 Seiten beschreiben Petra Juling und Ulrich Berger den Eifel- Ardennen-Raum im Dreiländereck Belgien, Luxemburg, Deutschland. Ihr Buch begleit...
|
cena:
85,75 zł |
 |
Logic, Construction, Computation
ISBN: 9783110324532 / Angielski / Twarda / 2012 / 542 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive... Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadil... |
cena:
1031,81 zł |
 |
Kartenzahlungen Im Euro-Zahlungsraum
ISBN: 9783790819076 / Niemiecki / Book / 2006 / 164 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite dieser Umgestaltung der europaischen Zahlungssysteme mit der Euro-Einfuhrung vergleichbar ist, besteht daruber ein gravierendes Informationsdefizit im offentlichen Diskurs. In diesem Buch findet sich eine kritische Analyse von SEPA aus wissenschaftlicher Perspektive. Im Mittelpunkt stehen Zahlungskartensysteme, da sie als zeitgemasse Zahlungsform in einer digitalisierten, globalisierten Welt von SEPA... Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Pay... |
cena:
298,35 zł |
 |
Bridging Cultural Barriers: How to Overcome Preconceptions in Cross-Cultural Relationships
ISBN: 9783030171322 / Angielski / Miękka / 2020 / 307 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
219,22 zł |
 |
Exercise, Energy Balance, and Cancer
ISBN: 9781461444923 / Angielski / Twarda / 2012 / 242 str. Termin realizacji zamówienia: ok. 20 dni roboczych. While it is well established that the worldwide pandemic of overweight and obesity has profound effects on promoting cancer, it is now recognized that an alternative aspect of energy balance, namely physical activity and exercise have significant beneficial effects on all aspects of cancer across the spectrum from prevention through treatment and extending through survivorship. Moreover, salutary effects of physical activity and exercise extend across the age span from youth to old age and occur at all stages of cancer extending into palliative care. While the effect of...
While it is well established that the worldwide pandemic of overweight and obesity has profound effects on promoting cancer, it is now ...
|
cena:
576,96 zł |
 |
Exercise, Energy Balance, and Cancer
ISBN: 9781489995568 / Angielski / Miękka / 2014 / 242 str. Termin realizacji zamówienia: ok. 20 dni roboczych. While it is well established that the worldwide pandemic of overweight and obesity has profound effects on promoting cancer, it is now recognized that an alternative aspect of energy balance, namely physical activity and exercise have significant beneficial effects on all aspects of cancer across the spectrum from prevention through treatment and extending through survivorship. Moreover, salutary effects of physical activity and exercise extend across the age span from youth to old age and occur at all stages of cancer extending into palliative care. While the effect of physical activity and...
While it is well established that the worldwide pandemic of overweight and obesity has profound effects on promoting cancer, it is now recognized that...
|
cena:
576,96 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
