Theory and Applications of Models of Computation

Language: English

Published by Springer, Springer Mai 2007, 2007

3540725032 / 9783540725039

  • Signed
  • Softcover
  • New
See all details

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

5-star seller

AbeBooks seller since January 23, 2017

Softcover

Condition: New

£ 91.95

£ 50.06 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - Print on Demand Titel. Neuware -Plenary Lectures.- Detecting Sharp Drops in PageRank and a Simplified Local Partitioning Algorithm.- Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures.- Contributed Papers.- Approximation Algorithms for 3D Orthogonal Knapsack.- A Comparative Study of Efficient Algorithms for Partitioning a Sequence into Monotone Subsequences.- The Hardness of Selective Network Design for Bottleneck Routing Games.- A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns.- Elementary Differences Among Jump Hierarchies.- Working with the LR Degrees.- Computability on Subsets of Locally Compact Spaces.- A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs.- Finding a Duplicate and a Missing Item in a Stream.- Directed Searching Digraphs: Monotonicity and Complexity.- Protecting Against Key Escrow and Key Exposure in Identity-Based Cryptosystem.- Encapsulated Scalar Multiplications and Line Functions in the Computation of Tate Pairing.- A Provably Secure Blind Signature Scheme.- Construct Public Key Encryption Scheme Using Ergodic Matrices over GF(2).- New Left-to-Right Radix-r Signed-Digit Recoding Algorithm for Pairing-Based Cryptosystems.- The Strongest Nonsplitting Theorem.- There is an Sw-Cuppable Strongly c.e. Real.- On Computation Complexity of the Concurrently Enabled Transition Set Problem.- Synchronization of Some DFA.- On the Treewidth and Pathwidth of Biconvex Bipartite Graphs.- On Exact Complexity of Subgraph Homeomorphism.- Searching a Polygonal Region by Two Guards.- On the Internal Steiner Tree Problem.- Approximately Optimal Trees for Group Key Management with Batch Updates.- On Deciding Deep Holes of Reed-Solomon Codes.- Quantum Multiparty Communication Complexity andCircuit Lower Bounds.- Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions.- Improving the Average Delay of Sorting.- Approximating Capacitated Tree-Routings in Networks.- Feedback Arc Set Problem in Bipartite Tournaments.- Studying on Economic-Inspired Mechanisms for Routing and Forwarding in Wireless Ad Hoc Network.- Enhancing Simulation for Checking Language Containment.- QBF-Based Symbolic Model Checking for Knowledge and Time.- A Characterization of the Language Classes Learnable with Correction Queries.- Learnable Algorithm on the Continuum.- Online Deadline Scheduling with Bounded Energy Efficiency.- Efficient Algorithms for Airline Problem.- Efficient Exact Arithmetic over Constructive Reals.- Bounding Run-Times of Local Adiabatic Algorithms.- A Note on Universal Composable Zero Knowledge in Common Reference String Model.- A Note on the Feasibility of Generalized Universal Composability.- t-Private and Secure Auctions.- Secure Multiparty Computations Using a Dial Lock.- A Time Hierarchy Theorem for Nondeterministic Cellular Automata.- Decidability of Propositional Projection Temporal Logic with Infinite Models.- Separation of Data Via Concurrently Determined Discriminant Functions.- The Undecidability of the Generalized Collatz Problem.- Combinatorial and Spectral Aspects of Nearest Neighbor Graphs in Doubling Dimensional and Nearly-Euclidean Spaces.- Maximum Edge-Disjoint Paths Problem in Planar Graphs.- An Efficient Algorithm for Generating Colored Outerplanar Graphs.- Orthogonal Drawings for Plane Graphs with Specified Face Areas.- Absolutely Non-effective Predicates and Functions in Computable Analysis.- Linear-Size Log-Depth Negation-Limited Inverter for k-Tonic Binary Sequences.- The Existence of Unsatisfiable Formulas in k-LCNF fork 3.- Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model.- Phase Transition of Multivariate Polynomial Systems.- Approximation Algorithms for Maximum Edge Coloring Problem.- Two Improved Range-Efficient Algorithms for F 0 Estimation.- Approximation to the Minimum Rooted Star Cover Problem.- Approximability and Param.…

Seller Inventory # 9783540725039

Title
Theory and Applications of Models of Computation
Author
Jin-Yi Cai
Publisher
Springer, Springer Mai 2007
Publication year
2007
Condition
Neu
Signed
Signed by Author(s)
Binding
Taschenbuch
Language
English
ISBN 10
3540725032
ISBN 13
9783540725039
Item weight
1,177 grams
Dimensions
235x155x43 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germany

5-star seller

AbeBooks seller since January 23, 2017

Shipping rates from Germany to U.S.A.

Item60 to 60 business days60 to 60 business days
First item£ 50.06£ 62.58
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Check
  • Paypal

Store description

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Specialty

Modernes Antiquariat - Bücher von 1960 bis heute

Seller's business information

buchversandmimpf2000

Germany

Impressum

Gesetzliche Anbieterkennung:

Thorsten Retsch
Buchversand Mimpf2000
Oberölschnitz 16
95517 Emtmannsberg
Deutschland
Telefon: 092092023188
E-Mail: order@buchversandmimpf2000.de
USt-IdNr.: DE 235096871

Alternative Streitbeilegung:
Die Europäische Kommission stellt eine Plattform für die außergerichtliche Online-Streitbeilegung (OS-Plattform) bereit, aufrufbar unter http://ec.europa.eu/odr.