Sofsem 2010 Theory Practice (9 results)
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 84.23
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 96.88
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 83.84
£ 59.82 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. SOFSEM 2010: Theory and Practice of Computer Science | 36th Conference on Current Trends in Theory and Practice of Computer Science, ¿pindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings | Jan Van Leeuwen (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2010 | Springer | EA…N 9783642112652 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 94.17
£ 56.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23 29,2010 in the Hotel Bed richov, Spindler uv Mlyn, of…the Krkono se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch,and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects,suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) Principles of Software Construction (Chair: Bernhard Rumpe) Data, Knowledge, and Intelligent Systems (Chair: Jaroslav Pokorn y) Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma ria Bielikov a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti c results and on their work in progress.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 134.03
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 780 pages. 9.00x6.00x1.00 inches. In Stock.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 74.37
£ 89.73 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 800 | Sprache: Englisch | Produktart: Bücher | This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23¿29,2010 in the Hotel Bed? richov, ? Spin…dler? uv Mlyn, ¿ of the Krkono? se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch,and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects,suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: ¿ Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) ¿ Principles of Software Construction (Chair: Bernhard Rumpe) ¿ Data, Knowledge, and Intelligent Systems (Chair: Jaroslav Pokorn¿ y) ¿ Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di?erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma ¿ria Bielikov¿ a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti?c results and on their work in progress.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 94.17
£ 19.66 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23 29,2010 in the Hotel Bed richov, Spind…ler uv Mlyn, of the Krkono se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch,and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects,suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) Principles of Software Construction (Chair: Bernhard Rumpe) Data, Knowledge, and Intelligent Systems (Chair: Jaroslav Pokorn y) Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma ria Bielikov a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti c results and on their work in progress. 800 pp. Englisch.
SOFSEM 2010: Theory and Practice of Computer Science
Leeuwen, Jan van|Muscholl, Anca|Peleg, David|Pokorny, Jaroslav|Rumpe, Bernhard
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 81.22
£ 41.87 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Forcing Monotonicity in Parameterized Verification: From Multisets to Words.- Research Issues in the Automated Testing of Ajax Applications.- Essential Performance Drivers in N…ative XML DBMSs.- Continuous Processing of Preference Queries in .
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 94.17
£ 51.27 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. 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 P…reference 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.- Vertex Ranking with Capacity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 800 pp. Englisch.
