Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Evolving Computability: 11th Conference on Computability in Europe, Cie 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
ISBN: 9783319200279 / Angielski / Miękka / 2015 / 363 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and Reverse Mathematics, were introduced for the first time in the conference series. In addition to this, new developments in areas frequently covered in the CiE conference series were addressed... This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/Jul... |
cena:
194,97 zł |
 |
Language, Life, Limits: 10th Conference on Computability in Europe, Cie 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
ISBN: 9783319080185 / Angielski / Miękka / 2014 / 410 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully reviewed and selected from 78 submissions and included together with 15 invited papers in this proceedings. The conference had six special sessions: computational linguistics, bio-inspired computation, history and philosophy of computing, computability theory, online algorithms and complexity in automata theory.
This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. T...
|
cena:
194,97 zł |
 |
Logic and Theory of Algorithms: 4th Conference on Computability in Europe, Cie 2008 Athens, Greece, June 15-20, 2008, Proceedings
ISBN: 9783540694052 / Angielski / Miękka / 2008 / 596 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in Ju...
|
cena:
389,98 zł |
 |
Pursuit of the Universal: 12th Conference on Computability in Europe, Cie 2016, Paris, France, June 27 - July 1, 2016, Proceedings
ISBN: 9783319401881 / Angielski / Miękka / 2016 / 375 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions - two sessions, cryptography and information theory and symbolic dynamics, are organized for the first time in the conference series. In addition to this new developments in areas frequently covered in the CiE conference series were addressed in the... This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 201... |
cena:
194,97 zł |
 |
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, Cie 2006, Swansea, Uk, June 30-July 5, 2006, Proceedings
ISBN: 9783540354666 / Angielski / Miękka / 2006 / 608 str. Termin realizacji zamówienia: ok. 20 dni roboczych. CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting...
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of ...
|
cena:
389,98 zł |
 |
Acts of the Progamme Sematics and Syntax
ISBN: 9781848900806 / Angielski / Miękka / 2013 / 338 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January - 6 July 2012, was one of the central activities of the Alan Turing Year 2012, the world-wide celebration of the life and work of the exceptional scientist Alan Mathison Turing (1912-1954). It had almost 200 visiting fellows and programme participants, as well as several hundred additional workshop participants, and was organised by Arnold Beckmann (Swansea), S. Barry Cooper (Leeds), Benedikt Lowe (Amsterdam & Hamburg), Elvira...
The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, U...
|
cena:
119,86 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
