Order Total (1 Item Items):
Shipping Destination:
Vedova Gianluca (33 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (33)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (29)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (33)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (14)
- Not Print on Demand (22)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
-
Condition: As New. Unread book in perfect condition.
-
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.68
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, Cie 2020, Fisciano, Italy, June 29?july 3, 2020, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 55.92
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Beyond The Horizon Of Computability : 16
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
-
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, Cie 2020, Fisciano, Italy, June 29?july 3, 2020, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, Cie 2020, Fisciano, Italy, June 29july 3, 2020, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2020
ISBN 10: 303051465X ISBN 13: 9783030514655
Paperback. Condition: Brand New. 300 pages. 9.25x6.10x0.95 inches. In Stock.
-
Condition: New.
-
-
Unity of Logic and Computation
Language: English
Published by Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031369777 ISBN 13: 9783031369773
Condition: New.
-
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29¿July 3, 2020, Proceedings
Language: English
Published by Springer International Publishing, 2020
ISBN 10: 303051465X ISBN 13: 9783030514655
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic.The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-relatedscience, ranging over mathematics, computer science and applications invarious natural and engineering sciences, such as physics and biology, as wellas related fields, such as philosophy and history of computing. CiE 2020 had asits motto Beyond the Horizon of Computability, reflecting the interest of CiE inresearch transgressing the traditional boundaries of computability theory.
-
Taschenbuch. Condition: Neu. Beyond the Horizon of Computability | 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings | Marcella Anselmo (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxvii | Englisch | 2020 | Springer | EAN 9783030514655 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Unity of Logic and Computation: 19th Conference on Computability in Europe, Cie 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031369777 ISBN 13: 9783031369773
Paperback. Condition: Brand New. 348 pages. 9.25x6.10x0.73 inches. In Stock.
-
-
Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031369777 ISBN 13: 9783031369773
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Conference onUnity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023.The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Degree theory;Proof Theory;Computability;Algorithmic Randomness;Computational Complexity;Interactive proofs; andCombinatorial approaches.
-
Taschenbuch. Condition: Neu. Unity of Logic and Computation | 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings | Gianluca Della Vedova (u. a.) | Taschenbuch | Lecture Notes in Computer Science | li | Englisch | 2023 | Springer | EAN 9783031369773 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 352 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24¿28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: ¿Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.
-
Unity of Logic and Computation
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Seller rating 5 out of 5 stars
Softcover. Condition: gut. 2023. Unity of Logic and Computation In deutscher Sprache. pages.
-
Condition: new. Questo è un articolo print on demand.
-
Condition: new. Questo è un articolo print on demand.
-
Beyond the Horizon of Computability
Language: English
Published by Springer International Publishing Jun 2020, 2020
ISBN 10: 303051465X ISBN 13: 9783030514655
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic.The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-relatedscience, ranging over mathematics, computer science and applications invarious natural and engineering sciences, such as physics and biology, as wellas related fields, such as philosophy and history of computing. CiE 2020 had asits motto Beyond the Horizon of Computability, reflecting the interest of CiE inresearch transgressing the traditional boundaries of computability theory. 420 pp. Englisch.
-
-
-
Beyond the Horizon of Computability
Language: English
Published by Springer International Publishing, 2020
ISBN 10: 303051465X ISBN 13: 9783030514655
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pande.
-
Unity of Logic and Computation
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Jul 2023, 2023
ISBN 10: 3031369777 ISBN 13: 9783031369773
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 19th International Conference onUnity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023.The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Degree theory;Proof Theory;Computability;Algorithmic Randomness;Computational Complexity;Interactive proofs; andCombinatorial approaches. 352 pp. Englisch.
-
Beyond the Horizon of Computability
Language: English
Published by Springer, Springer Jun 2020, 2020
ISBN 10: 303051465X ISBN 13: 9783030514655
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A Note on Computable Embeddings for Ordinals and Their Reverses.- Clockability for Ordinal Turing Machines.- Some notes on spaces of ideals and computable topology.- Parallelizations in Weihrauch reducibility and constructive reverse mathematics.- Liouville Numbers and the Computational Complexity of Changing Bases.- On Interpretability between some weak essential undecidable theories.- On the Complexity of Conversion between Classic Real Number Representations.- Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power.- Computable analysis and classification problems.- Non-coding enumeration operators.- On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings.- An interactive proof system for Program extraction.- ASNP: a tame fragment of existential second-order logic.- Ackermannian Goodstein sequences of intermediate growth.- On the complexity of validity degrees in ¿ukasiewicz logic.- Degrees of non-computability of homeomorphism types of Polish spaces.- Time-aware uniformization of winning strategies.- Quantitative Representation Theory of Compact Metric Spaces.- Functions of Baire class one over a Bishop topology.- Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences.- The Computational Significance of Hausdorff's Maximal Chain Principle.- Prefix of trace languages: clique polynomials and dependency graphs.- Repetitions in Toeplitz words and the Thue threshold.- Simulation of automata networks.- Theoretical and Implementation Aspects of the Formal Language Server (LaSer).- Balancing Straight-Line Programs for Strings and Trees.- Two-dimensional codes.- Formal Languages in Graph Databases and Information Extraction.- On the perceptron's compression.- #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method.- Faster Online Computation of the Succinct Longest Previous Factor Array.- Recent advances in text-to-pattern distance algorithms.- Insertion-Deletion Systems With Substitutions: The Context-free Case.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.
