SOFSEM 2010: Theory and Practice of Computer Science

Lingua: inglese

Editore: Springer, Springer Jan 2010, 2010

364211265X / 9783642112652

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 106,99

EUR 60,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Forcing Monotonicity in Parameterized Verification: From Multisets to Words.- Research Issues in the Automated Testing of Ajax Applications.- Essential Performance Drivers in Native XML DBMSs.- Continuous Processing of Preference Queries in Data Streams.- Clock Synchronization: Open Problems in Theory and Practice.- Regret Minimization and Job Scheduling.- Lessons in Software Evolution Learned by Listening to Smalltalk.- The Web of Things: Extending the Web into the Real World.- Web Science: The Digital-Heritage Case.- Model-Driven Software Product Line Testing: An Integrated Approach.- Taming the Complexity of Inductive Logic Programming.- Regular Papers.- A Rule Format for Unit Elements.- Approximability of Edge Matching Puzzles.- A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks.- R-Programs: A Framework for Distributing XML Structural Joins across Function Calls.- Fast Arc-Annotated Subsequence Matching in Linear Space.- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.- A Kernel for Convex Recoloring of Weighted Forests.- Symbolic OBDD-Based Reachability Analysis Needs Exponential Space.- A Social Vision of Knowledge Representation and Reasoning.- Flavors of KWQL, a Keyword Query Language for a Semantic Wiki.- On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances.- On a Labeled Vehicle Routing Problem.- Improved Matrix Interpretation.- Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays.- Query Optimization through Cached Queries for Object-Oriented Query Language SBQL.- Perfect Matching for Biconnected Cubic Graphs in O(n log2 n) Time.- Destructive Rule-Based Properties and First-Order Logic.- Learning User Preferences for 2CP-Regression for a Recommender System.- Parallel Randomized Load Balancing: A Lower Bound for a More General Model.- Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem.- Linear Complementarity Algorithms for Infinite Games.- Mixing Coverability and Reachability to Analyze VASS with One Zero-Test.- Practically Applicable Formal Methods.- Fast and Compact Prefix Codes.- New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes.- Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations.- Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph.- On the Complexity of the Highway Pricing Problem.- Accelerating Smart Play-Out.- Optimum Broadcasting in Complete Weighted-Vertex Graphs.- On Contracting Graphs to Fixed Pattern Graphs.- Dynamic Edit Distance Table under a General Weighted Cost Function.- How to Complete an Interactive Configuration Process .- Design Patterns Instantiation Based on Semantics and Model Transformations.- A Complete Symbolic Bisimulation for Full Applied Pi Calculus.- OTwig: An Optimised Twig Pattern Matching Approach for XML Databases.- Picture Recognizability with Automata Based on Wang Tiles.- Unilateral Orientation of Mixed Graphs.- Maintaining XML Data Integrity in Programs.- Improving Classification Performance with Focus on the Complex Areas.- CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions.- Source Code Rejuvenation Is Not Refactoring.- Empirical Evaluation of Strategies to Detect Logical Change Dependencies.- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup.- An Amortized Search Tree Analysis for k-Leaf Spanning Tree.- Approximate Structural Consistency.- Comprehensive System for Systematic Case-Driven Software Reuse.- Comparison of Scoring and Order Approach in Description Logic .- Homophily of Neighborhood in Graph Relational Classifier.- Multilanguage Debugger Architecture.- Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining.- Finding and Certifying Loops.- Ver.…

Codice articolo 9783642112652

Titolo
SOFSEM 2010: Theory and Practice of Computer Science
Autore
Jan Van Leeuwen
Editore
Springer, Springer Jan 2010
Anno di pubblicazione
2010
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
364211265X
ISBN 13
9783642112652
Peso dell'articolo
1188 grammi
Dimensioni
235x155x43 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 60,00EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal

Descrizione dello Store

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

Specializzazione

Modernes Antiquariat - Bücher von 1960 bis heute

Informazioni sull’azienda del venditore

buchversandmimpf2000

Germania

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.