Titolo: SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec . Computer Science and General Issues)
Editore: Springer
Data di pubblicazione: 2015
Lingua: Inglese
ISBN 10: 3662460777
ISBN 13: 9783662460771
Rilegatura: Brossura
Condizione: New

Descrizione articolo

Riassunto

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

Contenuti

Keynote Talk.- What is Computation: An Epistemic Approach.- Foundations of Computer Science.- Progress (and Lack Thereof) for Graph Coloring Approximation Problems.- Recent Results in Scalable Multi-Party Computation.- Online Bipartite Matching in Offline Time (Abstract).- Software & Web Engineering.- Quo Vadis Explicit-State Model Checking.- The Dos and Dont’s of Crowdsourcing Software Development.- Data, Information and Knowledge Engineering.- Adaptively Approximate Techniques in Distributed Architectures.- Back to the Future – Should SQL Surrender to SPARQL?.- Foundations of Computer Science.- Balancing Energy Consumption for the Establishment of Multi-interface Networks.- The Maximum k-Differential Coloring Problem.- Exact Algorithms for 2-clustering with Size Constraints in the Euclidean Plane.- Local Routing in Convex Subdivisions.- Nondeterministic Modal Interfaces.- Group Search on the Line.- Online Makespan Scheduling with Sublinear Advice.- Deterministic Rendezvous in Restricted Graphs.- Fastest, Average and Quantile Schedule.- Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP.- Maximally Permissive Controlled System Synthesis for Modal Logic.- Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem.- Finding Highly Connected Subgraphs.- Fixing Improper Colorings of Graphs.- Efficient Online Strategies for Renting Servers in the Cloud.- Palk is Linear Recognizable Online.- Two Grammatical Equivalents of Flip-Pushdown Automata.- On the Hierarchy Classes of Finite Ultrametric Automata.- Nash-Williams-type and Chvat�al-type Conditions in One-Conflict Graphs. -Optimal State Reductions of Automata with Partially Specified Behaviors. -Quantum Pushdown Automata with a Garbage Tape.- Towards a Characterization of Leaf Powers by Clique Arrangements.- Filling Logarithmic Gaps in Distributed Complexity for Global Problems.- On Visibly Pushdown Trace Languages.- Dominating an s-t-Cut in a Network.- Lower Bounds for Linear Decision Trees with Bounded Weights.- Software & Web Engineering.- A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs.- Function Based Requirements Engineering and Design – Towards Efficient and Transparent Plant Engineering.- Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies.- Discovering Motifs in Real-World Social Networks.- Data, Information, and Knowledge Engineering.- Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities.- Efficient Similarity Search by Combining Indexing and Caching Strategies.- Retrieving Documents Related to Database Queries.- Advantages of Dependency Parsing for Free Word Order Natural Languages.- Detecting Identical Entities in the Semantic Web Data.- Conducting a Web Browsing Behaviour Study – An Educational Scenario.- A Uniform Programmning Language for Implementing XML Standards.- OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms.- Cryptography, Security, and Verification.- Attribute-Based Encryption Optimized for Cloud Computing.- Trustworthy Virtualization of the ARMv7 Memory Subsystem.- True Random Number Generators Secure in a Changing Environment: Improved Security Bounds.- Java Loops Are Mainly Polynomial.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Hello! Ria Christie Collections is an online venture that was initially set up in 2012 to sell books. We do not have a physical high street store. We are professional online booksellers. We only sell brand new books in perfect condition that we source from various suppliers and the publishers. Primarily, our aim is to provide an excellent service to all our customers. We always work as a team to achieve this. Our other objectives are to: 1. Ensure that all our products reach their destination quickly in a safe and secure manner 2. Answer to all our customer queries within 24 hours 3. Ensure that our customers are happy with their purchases 4. Provide all the items at a competitive price 5. Always listen to our customers Ria Christie Collections is not a registered company. It is a Sole Trader venture. Other key information is shown below: Contact Person Name: Rakesh Luchmun (Mr) Storefront Name: Ria Christie Collections Place of Establishment Address: Suite B; ARUN House; ARUN Building Arundel Road Uxbridge UB8 2RR United Kingdom E-Mail Address: riachristie@hotmail.co.uk VAT Number: GB 160 5650 25 We always work hard and aim to comply with all of Abebooks Policies. If you have any issues, please do not hesitate to write to us whether before or after a purchase. We promise to reply to you promptly and, in any case, within 24 hours. Thank you kindly! Yours sincerely Mr Rakesh Luchmun (Founder) and the Ria Christie Collections Team

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Ryefield Investments Limited
175 Pield Heath Road, Uxbridge, UB8 3NL, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

All Returns and Refund are as per Abebooks policies.

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Thank you!

Tariffe di spedizione da Regno Unito a Italia

Tariffe di spedizione da Regno Unito a Italia
Quantit� dell?ordine	Da 5 a 10 giorni lavorativi	Da 5 a 9 giorni lavorativi
Primo articolo	EUR 10.35	EUR 10.35

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.