LEADER 00856nam0-22002891i-450- 001 990000466930403321 005 20040220122047.0 035 $a000046693 035 $aFED01000046693 035 $a(Aleph)000046693FED01 035 $a000046693 100 $a20020821d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aInstrumentation for Engineering Measura ments.$fJ.W. Dally, W.F. Riley, K.G.Mc Con nell. - 210 $aN.Y.$cWiley - Sons$d1984 700 1$aDally,$bJames W.$019200 702 1$aMcConnell,$bKenneth G. 702 1$aRiley,$bW.F. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000466930403321 952 $a10 D I 154$b868 DEE$fDINEL 952 $a00 A2778$b5516$fDETEC 959 $aDINEL 996 $aInstrumentation for Engineering Measura ments$9331770 997 $aUNINA LEADER 07017nam 22007695 450 001 996465907003316 005 20230311074411.0 010 $a3-642-11266-8 024 7 $a10.1007/978-3-642-11266-9 035 $a(CKB)1000000000812697 035 $a(SSID)ssj0000355627 035 $a(PQKBManifestationID)11275414 035 $a(PQKBTitleCode)TC0000355627 035 $a(PQKBWorkID)10340825 035 $a(PQKB)10078559 035 $a(DE-He213)978-3-642-11266-9 035 $a(MiAaPQ)EBC3064916 035 $a(PPN)14905484X 035 $a(EXLCZ)991000000000812697 100 $a20100301d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSOFSEM 2010: Theory and Practice of Computer Science$b[electronic resource] $e36th Conference on Current Trends in Theory and Practice of Computer Science, ?pindleruv Mlın, Czech Republic, January 23-29, 2010. Proceedings /$fedited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XV, 780 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5901 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-11265-X 320 $aIncludes bibliographical references and index. 327 $aInvited 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 -- Vertex Ranking with Capacity. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5901 606 $aSoftware engineering 606 $aComputer programming 606 $aInformation retrieval 606 $aComputer architecture 606 $aArtificial intelligence?Data processing 606 $aDatabase management 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aData Storage Representation 606 $aData Science 606 $aDatabase Management 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aInformation retrieval. 615 0$aComputer architecture. 615 0$aArtificial intelligence?Data processing. 615 0$aDatabase management. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aData Storage Representation. 615 24$aData Science. 615 24$aDatabase Management. 676 $a005.1 702 $avan Leeuwen$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMuscholl$b Anca$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPeleg$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPokorny$b Jaroslav$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRumpe$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465907003316 996 $aSOFSEM 2010: Theory and Practice of Computer Science$92831621 997 $aUNISA