Da: Charles Berry, Bookseller, Lakeport, CA, U.S.A.
Hardcover. Condizione: Good. Library-discharged hardcover with typical library markings (lower spine, page edges, inside front and back covers, upper corners of the first few endpapers, copyright and preface pages). Absent these markings, this book would be excellent with slight handling. 447 pages, text entirely unmarked. [1.8 lbs]. Book.
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 59,86
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New. pp. 447 1st Edition, Reprint.
Condizione: New. pp. 460.
EUR 74,39
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 447.
EUR 69,57
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. 2011. Paperback. . . . . .
EUR 76,01
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 447.
Condizione: New. 2011. Paperback. . . . . . Books ship from the US and Ireland.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 102,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 102,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 100,14
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
EUR 59,97
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me I don't know 'what is supposed to come out' . . . . 1 -L. Wittgenstein A feasible computation uses small resources on an abstract computa tion device, such as a 'lUring machine or boolean circuit. Feasible math ematics concerns the study of feasible computations, using combinatorics and logic, as well as the study of feasibly presented mathematical structures such as groups, algebras, and so on. This volume contains contributions to feasible mathematics in three areas: computational complexity theory, proof theory and algebra, with substantial overlap between different fields. In computational complexity theory, the polynomial time hierarchy is characterized without the introduction of runtime bounds by the closure of certain initial functions under safe composition, predicative recursion on notation, and unbounded minimization (S. Bellantoni); an alternative way of looking at NP problems is introduced which focuses on which pa rameters of the problem are the cause of its computational complexity and completeness, density and separation/collapse results are given for a struc ture theory for parametrized problems (R. Downey and M. Fellows); new characterizations of PTIME and LINEAR SPACE are given using predicative recurrence over all finite tiers of certain stratified free algebras (D.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 99,71
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Condizione: New. pp. 304 Softcover reprint of the original 1st ed. 2015 edition NO-PA16APR2015-KAP.
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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.
Condizione: New. pp. 290.
EUR 29,90
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 856 | Sprache: Englisch | Produktart: Bücher | The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.
EUR 113,95
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: Revaluation Books, Exeter, Regno Unito
EUR 152,89
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 304 pages. 9.25x6.10x0.69 inches. In Stock.
Da: Revaluation Books, Exeter, Regno Unito
EUR 154,96
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 304 pages. French language. 9.25x6.25x0.75 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3319795104 ISBN 13: 9783319795102
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 106,99
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This monograph provides a self-contained introduction to symmetric functions and their use in enumerative combinatorics. It is the first book to explore many of the methods and results that the authors present. Numerous exercises are included throughout, along with full solutions, to illustrate concepts and also highlight many interesting mathematical ideas.The text begins by introducing fundamental combinatorial objects such as permutations and integer partitions, as well as generating functions. Symmetric functions are considered in the next chapter, with a unique emphasis on the combinatorics of the transition matrices between bases of symmetric functions. Chapter 3 uses this introductory material to describe how to find an assortment of generating functions for permutation statistics, and then these techniques are extended to find generating functions for a variety of objects in Chapter 4. The next two chapters present the Robinson-Schensted-Knuthalgorithm and a method for proving Pólya's enumeration theorem using symmetric functions. Chapters 7 and 8 are more specialized than the preceding ones, covering consecutive pattern matches in permutations, words, cycles, and alternating permutations and introducing the reciprocity method as a way to define ring homomorphisms with desirable properties.Counting with Symmetric Functions will appeal to graduate students and researchers in mathematics or related subjects who are interested in counting methods, generating functions, or symmetric functions. The unique approach taken and results and exercises explored by the authors make it an important contribution to the mathematical literature.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 162,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New. pp. 836.
Condizione: New. pp. xxiv + 32.
EUR 207,20
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 836 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
EUR 141,20
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logical Methods | In Honor of Anil Nerode's Sixtieth Birthday | John N. Crossley (u. a.) | Taschenbuch | Progress in Computer Science and Applied Logic | 2 Taschenbücher | Englisch | 2013 | Birkhäuser | EAN 9781461267089 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 202,58
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598. . 1994. Hardback. . . . .
EUR 178,14
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode s work. A conference on Logical Methods was held in honor of Nerode s sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, .
EUR 212,27
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 836.