did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540426721

Theoretical Computer Science: Proceedings of the 7th Italian Conference, Ictcs 2001, Torino, Italy, October 4-6, 2001

by ; ; ; ; ;
  • ISBN13:

    9783540426721

  • ISBN10:

    3540426728

  • Format: Paperback
  • Copyright: 2001-12-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $119.00 Save up to $100.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

Was ist nochmal Trägerelektrophorese? Und was macht Synaptoporin? Und wie schreibt man Phosphoglycerinaldehydoxidation? - Liegt die Ausbildung eine Weile zurück oder ist die Biochemie nicht gerade das Lieblingsfach, dann können solche Fragen viel Zeit kosten. Mit dem Löffler/Schling hat man die Antworten nun schnell an der Hand. Übersichtlich und mit zahlreichen Farbbildern optimal illustriert definiert und beschreibt dieses Lexikon biochemische Prozesse, Substanzen und Moleküle einfach und knapp. Studierende der Medizin, der Pharmazie und der naturwissenschaftlichen Fächer, neugierige Wissenschaftler nicht biochemischer Fachbereiche und ihre verzweifelten Sekretärinnen ebenso wie technische AssistentInnen, Lehrer und interessierte Schüler finden hier schnelle Antworten auf ihre Fragen.

Table of Contents

A LTS Semantics of Ambients via Graph Synchronization with Mobilityp. 1
Filter Models and Easy Termsp. 17
Confluence of Untyped Lambda Calculus via Simple Typesp. 38
Incremental Inference of Partial Typesp. 50
Call-by-Value Separability and Computabilityp. 74
Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithmsp. 90
Job Shop Scheduling Problems with Controllable Processing Timesp. 107
Upper Bounds on the Size of One-Way Quantum Finite Automatap. 123
P Systems with Gemmation of Mobile Membranesp. 136
Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Set of Autonomous Mobile Robotsp. 154
Some Structural Properties of Associative Language Descriptionsp. 172
Block-Deterministic Regular Languagesp. 184
Constructing Finite Maximal Codes from Schutzenberger Conjecturep. 197
An Effective Translation of Fickle into Javap. 215
Subtyping and Matching for Mobile Objectsp. 235
On Synchronous and Asynchronous Communication Paradigmsp. 256
Complexity of Layered Binary Search Trees with Relaxed Balancep. 269
Distance Constrained Labeling of Precolored Treesp. 285
Exponentially Decreasing Number of Operations in Balanced Treesp. 293
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approachp. 312
Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Thresholdp. 328
Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutionsp. 339
On the Distribution of a Key Distribution Centerp. 357
Online Advertising: Secure E-couponsp. 370
A Calculus and Complexity Bound for Minimal Conditional Logicp. 384
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approachp. 405
E-unifiability via Narrowingp. 426
Author Indexp. 439
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program