Lecture Notes in 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 $89.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 Artificial Intelligence

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.

Lecture Notes in 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 Databases

SPSS Survival Manual

7th Edition - A step by step guide to data analysis using IBM SPSS

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Proceedings of the 6th International Conference on Data Science, Machine Learning and Applications, Volume 2

ICDSMLA 2024, 13â"14 December, Tirupati, India

Digital Twin Parallels to Support the Blockchain in the Aec Sector

Bio-Based Materials for NZEB Buildings

ESG Investment, German Industrie 4.0, and Blockchain

Statistical Learning, Sustainability and Impact Evaluation

SIS 2023, Ancona, Italy, June 21â"23

Graphical Models and Causal Discovery with R

100 Exercises for Building Logic

Storytelling with Data

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

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Social Research Methods

4th Edition

Microsoft 365 Access For Dummies

Access for Dummies

Python for Data Analysis

Data Wrangling with Pandas, Numpy, and Jupyter

The Value of People Analytics

Using HR Data to Drive Business Results

Hands-On Machine Learning with Scikit-Learn, Keras, and Tensorflow

Concepts, Tools, and Techniques to Build Intelligent Systems

R for Data Science

Import, Tidy, Transform, Visualize, and Model Data

Microsoft Power Bi Data Analyst Associate Study Guide

Prepare for the Pl-300 Exam and Apply Best Practice Design

Python for Excel

A Modern Environment for Automation and Data Analysis

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Learning Data Science

Data Wrangling, Exploration, Visualization, and Modeling with Python

Data Analytics for Accounting ISE

3rd Edition

Database Systems 6ed

A Practical Approach to Design, Implementation, and Management, Global Edition

Building a Scalable Data Warehouse with Data Vault 2.0

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

This product is categorised by