Computer Science -- Theory and Applications

Langue : anglais

Edité par Springer, Springer Mai 2006, 2006

3540341668 / 9783540341666

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 23 janvier 2017

Livre broché

Etat: Neuf

EUR 106,99

EUR 60,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Non-black-box Techniques in Cryptography.- Complexity of Polynomial Multiplication over Finite Fields.- Synchronous Elastic Circuits.- Theory Track.- SZK Proofs for Black-Box Group Problems.- Canonical Decomposition of a Regular Factorial Language.- Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure.- Inductive Type Schemas as Functors.- Unfolding Synthesis of Asynchronous Automata.- Conjugacy and Equivalence of Weighted Automata and Functional Transducers.- Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees.- Tuples of Disjoint NP-Sets.- Constructive Equivalence Relations on Computable Probability Measures.- Planar Dimer Tilings.- The Complexity of Equality Constraint Languages.- Window Subsequence Problems for Compressed Texts.- Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties.- Relativisation Provides Natural Separations for Resolution-Based Proof Systems.- Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.- Isolation and Reducibility Properties and the Collapse Result.- Incremental Branching Programs.- Logic of Proofs for Bounded Arithmetic.- On a Maximal NFA Without Mergible States.- Expressiveness of Metric Modalities for Continuous Time.- Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction.- Weighted Logics for Traces.- On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone.- Unwinding a Non-effective Cut Elimination Proof.- Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover.- Shannon Entropy vs. Kolmogorov Complexity.- Language Equations with Symmetric Difference.- On Primitive Recursive Realizabilities.-Evidence Reconstruction of Epistemic Modal Logic S5.- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.- On the Frequency of Letters in Morphic Sequences.- Functional Equations in Shostak Theories.- All Semi-local Longest Common Subsequences in Subquadratic Time.- Non-approximability of the Randomness Deficiency Function.- Multi-agent Explicit Knowledge.- Applications and Technology Track.- Polarized Subtyping for Sized Types.- Neural-Network Based Physical Fields Modeling Techniques.- Approximate Methods for Constrained Total Variation Minimization.- Dynamic Isoline Extraction for Visualization of Streaming Data.- Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback.- Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM.- Evolutionary Multi-objective Optimisation by Diversity Control.- 3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach.- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity.- Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition.- A Shortest Path Algorithm Based on Limited Search Heuristics.- A New Hybrid Directory Scheme for Shared Memory Multi-processors.- Manipulator Path Planning in 3-Dimensional Space.- Least Likely to Use: A New Page Replacement Strategy for Improving Database Management System Response Time.- Nonlinear Visualization of Incomplete Data Sets.- A Review of Race Detection Mechanisms.- Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis.- Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.- Analytic Modeling of Channel Traffic in n-Cubes.- Capturing an Intruder in the Pyramid.-Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition.- Extended Resolution Proofs for Conjoining BDDs.- Optimal Difference Systems of Sets with Multipliers.- Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN.- Optimizing Personalized Retrieval System Based on Web Ranking.- Instruction Selection fo.…

N° de réf. du vendeur 9783540341666

Titre
Computer Science -- Theory and Applications
Auteur
Dima Grigoriev
Éditeur
Springer, Springer Mai 2006
Année de publication
2006
État de l'article
Neu
Reliure
Taschenbuch
Langue
anglais
ISBN à 10 chiffres
3540341668
ISBN à 13 chiffres
9783540341666
Poids de l'article
1 048 grammes
Dimensions
235x155x38 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 23 janvier 2017

Frais d'expédition de Allemagne vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 60,00EUR 75,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal

Description de la boutique

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

Spécialité

Modernes Antiquariat - Bücher von 1960 bis heute

Profil professionnel du vendeur

buchversandmimpf2000

Allemagne

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.