Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
paperback. Zustand: Very Good.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 28,44
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 400 Illus.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 36,41
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 35,01
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780306474002.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
ISBN 10: 0521635500 ISBN 13: 9780521635509
Anbieter: Books From California, Simi Valley, CA, USA
paperback. Zustand: Very Good.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: Cambridge, Cambridge University Press, 1999
ISBN 10: 0511565674 ISBN 13: 9780511565670
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 MOD 9780511565670 Sprache: Englisch Gewicht in Gramm: 550.
Sprache: Englisch
Verlag: Cambridge, Cambridge University Press, 1999
ISBN 10: 0511565674 ISBN 13: 9780511565670
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 MOD 9780511565670 Sprache: Englisch Gewicht in Gramm: 1150.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 1848824335 ISBN 13: 9781848824331
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 70,92
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 184 pages. 9.21x7.01x0.55 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,21
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 332 pages. 9.00x6.00x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer London, Springer London, 2009
ISBN 10: 1848824335 ISBN 13: 9781848824331
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics. An in-depth analysis of the basic concepts underlying each model of computation is provided.Divided into two parts, the first highlights the traditional computation models used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models.and the second part covers object-oriented and interaction-based models. There is also a chapter on concurrency, and a final chapter on emergent computation models inspired by quantum mechanics.At the end of each chapter there is a discussion on the use of computation models in the design of programming languages.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 107,28
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642218741 ISBN 13: 9783642218743
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%.The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 336 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 137,63
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 310 pages. 9.01x5.98x0.67 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 153,99
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 375 pages. 8.75x6.00x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
ISBN 10: 0521635500 ISBN 13: 9780521635509
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.
Anbieter: moluna, Greven, Deutschland
EUR 124,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Variety of articles, exploring models, and computability in a modern and classic senseContributors are internationally known experts in their fieldsEast meets west to discuss recursive model theoryScience involves descriptions .
Sprache: Englisch
Verlag: Springer US, Springer New York, 2012
ISBN 10: 1461352258 ISBN 13: 9781461352259
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Science involves descriptions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. The theme running through this collection of papers is that of the interaction between descriptions, in the form of formal theories, and the algorithmic content of what is described, namely of the modeLs of those theories. This appears most explicitly here in a number of valuable, and substantial, contributions to what has until recently been known as 'recursive model theory' - an area in which researchers from the former Soviet Union (in particular Novosibirsk) have been pre-eminent. There are also articles concerned with the computability of aspects of familiar mathematical structures, and - a return to the sort of basic underlying questions considered by Alan Turing in the early days of the subject - an article giving a new perspective on computability in the real world. And, of course, there are also articles concerned with the classical theory of computability, including the first widely available survey of work on quasi-reducibility. The contributors, all internationally recognised experts in their fields, have been associated with the three-year INTAS-RFBR Research Project 'Com putability and Models' (Project No. 972-139), and most have participated in one or more of the various international workshops (in Novosibirsk, Heidelberg and Almaty) and otherresearch activities of the network.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - Science involves descriptions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. The theme running through this collection of papers is that of the interaction between descriptions, in the form of formal theories, and the algorithmic content of what is described, namely of the modeLs of those theories. This appears most explicitly here in a number of valuable, and substantial, contributions to what has until recently been known as 'recursive model theory' - an area in which researchers from the former Soviet Union (in particular Novosibirsk) have been pre-eminent. There are also articles concerned with the computability of aspects of familiar mathematical structures, and - a return to the sort of basic underlying questions considered by Alan Turing in the early days of the subject - an article giving a new perspective on computability in the real world. And, of course, there are also articles concerned with the classical theory of computability, including the first widely available survey of work on quasi-reducibility. The contributors, all internationally recognised experts in their fields, have been associated with the three-year INTAS-RFBR Research Project 'Com putability and Models' (Project No. 972-139), and most have participated in one or more of the various international workshops (in Novosibirsk, Heidelberg and Almaty) and otherresearch activities of the network.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 267,89
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 295 pages. 9.50x6.50x0.50 inches. In Stock.