Theoretical Computer Science

7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings

By: Antonio Restivo (Editor), Simona Ronchi Della Rocca (Editor), Luca Roversi (Editor)

Write A Review

Paperback | 21 September 2001

At a Glance

Paperback
460 Pages

Dimensions(cm)
24.13 x 15.88 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.
The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Medicine Medicine in General Computing & I.T.Computer Science Computer Architecture & Logic Design Mathematical Theory of Computation Mathematics Mathematical Foundation Mathematical Logic Graphical & Digital Media Applications 3D Graphics & Modelling

Databases Data Capture & Analysis Computer Programming & Software Development Algorithms & Data Structures

A LTS Semantics of Ambients via Graph Synchronization with Mobility	p. 1
Filter Models and Easy Terms	p. 17
Confluence of Untyped Lambda Calculus via Simple Types	p. 38
Incremental Inference of Partial Types	p. 50
Call-by-Value Separability and Computability	p. 74
Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms	p. 90
Job Shop Scheduling Problems with Controllable Processing Times	p. 107
Upper Bounds on the Size of One-Way Quantum Finite Automata	p. 123
P Systems with Gemmation of Mobile Membranes	p. 136
Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Set of Autonomous Mobile Robots	p. 154
Some Structural Properties of Associative Language Descriptions	p. 172
Block-Deterministic Regular Languages	p. 184
Constructing Finite Maximal Codes from Schutzenberger Conjecture	p. 197
An Effective Translation of Fickle into Java	p. 215
Subtyping and Matching for Mobile Objects	p. 235
On Synchronous and Asynchronous Communication Paradigms	p. 256
Complexity of Layered Binary Search Trees with Relaxed Balance	p. 269
Distance Constrained Labeling of Precolored Trees	p. 285
Exponentially Decreasing Number of Operations in Balanced Trees	p. 293
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach	p. 312
Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold	p. 328
Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions	p. 339
On the Distribution of a Key Distribution Center	p. 357
Online Advertising: Secure E-coupons	p. 370
A Calculus and Complexity Bound for Minimal Conditional Logic	p. 384
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach	p. 405
E-unifiability via Narrowing	p. 426
Author Index	p. 439
Table of Contents provided by Blackwell. All Rights Reserved.

Theoretical Computer Science

7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Python All-in-One For Dummies

3rd Edition

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

AI for Business

A Guide to AI Adoption

Green Electronic and RF Technologies for Communications, IoT, and Medical Systems

GPT Meets Game Theory

Training and Optimizing Generative AI Models

Artificial Intelligence and Fuzzy Logic for Next-Generation Intelligent Transportation Systems

Intelligent Data-Driven Systems and Artificial Intelligence

Smart Technologies and Intelligent Computing

Cultural Intelligence in Aviation

Bridging Social Attitudes, Culture, and Safety in a Global Environment

Fluid Mechanics in the Digital Era

Advanced Concepts and Applications

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Agentic AI For Dummies

For Dummies (Computer/Tech)

This product is categorised by