KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Foundations of Information Technology in the Era of Network and Mobile Computing
Band 96 - 13%

Foundations of Information Technology in the Era of Network and Mobile Computing IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada

Aus der Reihe IFIP Advances in Information and Communication Technology
13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2013

Abbildungen

XIV, 614 p.

Herausgeber

Ricardo Baeza-Yates + weitere

Verlag

Springer Us

Seitenzahl

614

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

943 g

Auflage

Softcover Reprint of the Original 1st 2002 edition

Sprache

Englisch

ISBN

978-1-4757-5275-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2013

Abbildungen

XIV, 614 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

614

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

943 g

Auflage

Softcover Reprint of the Original 1st 2002 edition

Sprache

Englisch

ISBN

978-1-4757-5275-5

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Foundations of Information Technology in the Era of Network and Mobile Computing
  • Power of Quantum Entanglement.- Information Networks, Link Analysis, and Temporal Dynamics.- Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs.- Bin-Packing with Fragile Objects.- Lower and Upper Bounds for Tracking Mobile Users.- On the Enumerability of the Determinant and the Rank.- On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks.- Parity Graph, driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication.- Computability of Linear Equations.- Hierarchy Among Automata on Linear Orderings.- Symmetric Connectivity with Minimum Power Consumption in Radio Networks.- A Modified Recursive Triangular Factorization for Cauchy-like Systems.- Algorithmic Complexity of Protein Identification: Searching in Weighted Strings.- An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.- Randomized Dining Philosophers without Fairness Assumption.- Guarding Galleries and Terrains.- Gossiping with Unit Messages in Known Radio Networks.- Memoryless Search Algorithms in a Network with Faulty Advice.- Lower Bounds and the Hardness of Counting Properties.- Framework for Analyzing Garbage Collection.- One-Way Permutations and Self-Witnessing Languages.- Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function.- On Randomness and Infinity.- Server Placements, Roman Domination and other Dominating Set Variants.- A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees.- Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections.- Quantum NP and Quantum Hierarchy.- Probabilistically Checkable Proofs the Easy Way.- XML Web Services: The Global Computer?.- Micro Mobile Programs.- Checking Polynomial TimeComplexity with Types.- Boundary Inference for Enforcing Security Policies in Mobile Ambients.- Decidability and Tractability of Problems in Object-Based Graph Grammars.- Coverage of Implementations by Simulating Specifications.- TQL Algebra and its Implementation.- Model Checking Birth and Death.- Phantom Types and Subtyping.- On the Weakest Failure Detector for Non-Blocking Atomic Commit.- Combining Computational Effects: commutativity & sum.- Optimal-Reachability and Control for Acyclic Weighted Timed Automata.- Substructural Verification and Computational Feasibility.- An Improved System of Intersection Types for Explicit Substitutions.- About Compositional Analysis of Pi-Calculus Processes.- A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice.- On Reduction Semantics for the Push and Pull Ambient Calculus.- Safe Dynamic Binding in the Join Calculus.- Vectorial Languages and Linear Temporal Logic.- A Bound on Attacks on Authentication Protocols.- Responsive Bisimulation.- Author Index.