9783540340218 - theory and applications of models of computation: third international conference, tamc 2006, beijing, china, may 15-20, 2006, proceedings: 3959 (10 risultati)
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 116,32
EUR 13,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 156,01
EUR 3,48 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 820.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 66,06 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary…talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed.
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 99,89
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Altre immagini
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together… with 7 plenary talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed. 816 pp. Englisch.
- Altre immagini
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,27
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006Presents 75 revised full papers together with 7 plenary talksOrganized in topical sections on a…lgorithm, computational .
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 158,86
EUR 7,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 820 Illus.
- Altre immagini
- Brossura
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,70
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Theory and Applications of Models of Computation | Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings | Jin-Yi Cai (u. a.) | Taschenbuch | xvi | Englisch | 2006 | Springer | EAN 9783540340218 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenst…r. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Altre immagini
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Plenary Lectures.- On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairvoyance.- Similarity of Objects and the Meaning of Words.- Totally Computably Enumerable and m-topped Degrees.- Mitosis in Computational Co…mplexity.- Models of Intuitionistic Set Theories over Partial Combinatory Algebras.- Width Versus Size in Resolution Proofs.- Recent Progress in Quantum Computational Complexity.- Algorithm.- On Several Scheduling Problems with Rejection or Discretely Compressible Processing Times.- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing.- A Bounded Item Bin Packing Problem over Discrete Distribution.- Scheduling Jobs on a Flexible Batching Machine: Model, Complexity and Algorithms.- Faster Algorithms for Sorting by Transpositions and Sorting by Block-Interchanges.- An ACO-Based Approach for Task Assignment and Scheduling of Multiprocessor Control Systems.- Adversary Immune Size Approximation of Single-Hop Radio Networks.- On Load-Balanced Semi-matchings for Weighted Bipartite Graphs.- Analyzing Chain Programs over Difference Constraints.- Linear-Time 2-Approximation Algorithm for the Watchman Route Problem.- Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks.- Real Time Critical Edge of the Shortest Path in Transportation Networks.- Finding Min-Sum Disjoint Shortest Paths from a Single Source to All Pairs of Destinations.- A New Approximation Algorithm for the k-Facility Location Problem.- Computational Complexity.- Alternative Measures of Computational Complexity with Applications to Agnostic Learning.- Disjoint NP-Pairs from Propositional Proof Systems.- Valiant's Holant Theorem and Matchgate Tensors.- Variable Minimal Unsatisfiability.- A New Lower Bound of CriticalFunction for (k,s)-SAT.- Cluster Computing and the Power of Edge Recognition.- Quadratic Lower Bounds on Matrix Rigidity.- Non-reducible Descriptions for Conditional Kolmogorov Complexity.- Generalized Counters and Reversal Complexity.- Multisource Algorithmic Information Theory.- Block Sensitivity of Weakly Symmetric Functions.- Optimization Problems in the Polynomial-Time Hierarchy.- #3-Regular Bipartite Planar Vertex Cover is #P-Complete.- Group Theory Based Synthesis of Binary Reversible Circuits.- On Some Complexity Issues of NC Analytic Functions.- Learning Theory.- Learning Juntas in the Presence of Noise.- Grey Reinforcement Learning for Incomplete Information Processing.- On the Foundations of Universal Sequence Prediction.- Some Recent Results in U-Shaped Learning.- Learning Overcomplete Representations with a Generalized Gaussian Prior.- On PAC Learning Algorithms for Rich Boolean Function Classes.- On-Line Regression Competitive with Reproducing Kernel Hilbert Spaces.- Inductive Inference and Language Learning.- Time Series Predictions Using Multi-scale Support Vector Regressions.- Bioinformatics.- Identification and Comparison of Motifs in Brain-Specific and Muscle-Specific Alternative Splicing.- On Probe Permutation Graphs.- Automatic Classification of Protein Structures Based on Convex Hull Representation by Integrated Neural Network.- Protein Structure Comparison Based on a Measure of Information Discrepancy.- Succinct Text Indexes on Large Alphabet.- Security.- Identity-Based Threshold Proxy Signature Scheme with Known Signers.- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions.- Formal Method.- Towards Practical Computable Functions on Context-Free Languages.- The Extended Probabilistic Powerdomain Monad over Stably CompactSpaces.- Analysis of Properties of Petri Synthesis Net.- A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.- Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.- Improved SAT Based Bounded Model Checking.- Models of Computation.- Encodings and Arithmetic Op.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 162,44
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 820.
