s even (13 Ergebnisse)

Hardcover. Zustand: Good. No Jacket. Former library book; Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. Editor(s): Lange, Even; Theien, Iselin. Num Pages: 104 pages, Illustrations. BIC Classification: JFFT. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 219 x 141 x 7. Weight in Grams: 168. . 2004. Paperback. . . . . Books ship from the US and Ireland.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover No D. Zustand: used: good. Prompt Shipment, shipped in Boxes, Tracking PROVIDEDMathematical Theory Of Computation; good hardcover no dust jacket, tips bumped, PROMPT SHIPPING WITH TRACKING.

Broschiert. Zustand: Gut. 550 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 950.

Zustand: 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. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:0273084674.

Zustand: New. In.

Paperback. Zustand: Brand New. revised edition. 353 pages. 9.80x6.20x0.90 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Refined analysis and improvements on some factoring algorithms.- Absolute primality of polynomials is decidable in random polynomial time in the number of variables.- Area-time optimal VLSI networks for computing integer multiplication and Discrete Dourier Transform.- Cost tradeoffs in graph embeddings, with applications.- Minimum s-t cut of a planar undirected network in o(n log2(n)) time.- On the density of color-families.- The implication problem for data dependencies.- Characterizing data base Dependencies.- Data flow analysis of applicative programs.- Flow analysis of lambda expressions.- Algorithmic specifications of abstract data types.- Nondeterminism in abstract data types.- A view of directions in relational database theory.- A new characterization of the regular languages.- Langages Reconnaissables et Codage Prefixe Pur.- Passes, sweeps and visits.- On LALR(k) testing.- On size bounds for deterministic parsers.- A decision procedure for the equivalence of two dpdas one of which is linear.- The deducibility problem in Propositional Dynamic Logic.- Finite models for deterministic propositional dynamic logic.- Impartiality, justice and fairness: The ethics of concurrent termination.- Computing a perfect strategy for n¿ chess requires time exponential in n.- On the complexity of simple arithmetic expressions.- Proving lower bounds for linear decision trees.- Parikh-bounded languages.- Generalized Parikh mappings and homomorphisms.- Chomsky-Schotzenberger representations for families of languages and grammatical types.- Algebraically specified programming systems and Hoare's logic.- Automatic construction of verification condition generators from hoare logics.- Circular expressions: Elimination of static environments.- An axiomatic approach to the Korenjak - Hopcroft algorithms.- On the (generalized) post correspondence problem with lists of length 2.- A sparse table implementation of priority queues.- Comparing and putting together recursive path ordering, simplification orderings and Non-Ascending Property for termination proofs of term rewriting systems.- Termination of linear rewriting systems.- Realizing an equational specification.- A cook's tour of countable nondeterminism.- The complexity of decision problems for finite-turn multicounter machines.- Alternating multihead finite automata.- The solution for the branching factor of the alpha-beta pruning algorithm.- Uniform complexity and digital signatures.- On the generation of cryptographically strong pseudo-random sequences.- Measuring the expressive power of dynamic logics: An application of abstract model theory.

Zustand: New. Editor(s): Cottrell, Philip L. BIC Classification: KFFK. Category: (G) General (US: Trade). . . 2016. Paperback. . . . . Books ship from the US and Ireland.

Hardcover. Zustand: Brand New. 208 pages. 8.75x5.75x0.75 inches. In Stock.

Zustand: New. This anthology aims to explain why some Nordic shipping companies became world leaders while others failed to respond effectively to the challenges and opportunities of globalization. The authors analyse political and institutional patterns alongside the various corporate responses to the many upheavals of global shipping. Editor(s): Tenold, Stig; Iversen, Martin Jes; Lange, Even. Num Pages: 251 pages, biography. BIC Classification: 1DN; 3JJP; 3JM; KNGS. Category: (P) Professional & Vocational. Dimension: 216 x 148 x 20. Weight in Grams: 428. . 2011. Hardback. . . . . Books ship from the US and Ireland.

Zustand: New. Expert researchers explore this developing field and provide techniques which can be reproduced in most cell biology labs. This new edition contains cutting-edge methods that are worth publicizing in the field and may encourage collaboration with expert labs. Editor(s): Even-Ram, Sharona. Series: Methods in Molecular Biology. Num Pages: 324 pages, 50 black & white illustrations, 9 colour illustrations, 1 black & white tables, biography. BIC Classification: MFCC. Category: (P) Professional & Vocational. Dimension: 260 x 193 x 23. Weight in Grams: 930. . 2009. 2nd ed. 2009. Hardback. . . . . Books ship from the US and Ireland.