Advances in Computing and Information - ICCI '90
International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings
Series: Lecture Notes in Computer Science; 468;
- Publisher's listprice EUR 53.49
-
22 690 Ft (21 609 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 8% (cc. 1 815 Ft off)
- Discounted price 20 874 Ft (19 880 Ft + 5% VAT)
22 690 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1990
- Publisher Springer
- Date of Publication 12 February 1991
- Number of Volumes 1 pieces, Book
- ISBN 9783540535041
- Binding Paperback
- No. of pages438 pages
- Size 250x170 mm
- Weight 1390 g
- Language English
- Illustrations X, 438 p. 0
Categories
Short description:
This volume contains selected and invited papers presented at ICCI '90. Topics range over theory of comput- ing, algorithms and programming, data and software engineering, computer architecture, concurrency, parallelism, communication and networking.
MoreLong description:
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Springer Book Archives
Table of Contents:
Summaries of invited lectures.- The asymptotic evolution of data structures.- On the formal aspects of approximation algorithms.- Selected aspects of the calculus of self-modifiable algorithms theory.- Almost-everywhere complexity, bi-immunity and nondeterministic space.- Deriving deterministic prediction rules from reduction schemes.- Probabilistic analysis of set operations with constant-time set equality test.- Classification by minimum-message-length inference.- Fast left-linear semi-unification.- On the complexity of (off-line) 1-tape ATM's running in constant reversals.- A constant update time finger search tree.- Average case analysis of algorithms using matrix recurrences.- Finding two-tree-factor elements of tableau-defined monoids in time O(n 3).- Toward a general theory of computation and specification over abstract data types.- Using the hamiltonian path operator to capture NP.- Some remarks on polynomial time isomorphisms.- An axiomatization of wait-freedom and low-atomicity.- The Gamma model as a functional programming tool.- Computing the transitive closure of symmetric matrices.- An environment for information system prototyping: A system simulation approach.- A logic-free method for modular composition of specifications.- On real-time program specification description with a data model-based language.- DINAS: Computer-assisted system for multi-criteria transportation and location analyses.- Logic programming for software testing.- Block concatenated code word surrogate file for partial match retrieval.- Applications development toolkits for environmental modelling and monitoring.- A hypertext for literate programming.- Ethics and computers: Can universities set the standards?.- Alternatives to the B+- tree.- Minimal perfect hashing for large sets of data.- Architectural classification and transaction execution models of multidatabase systems.- Semantic query optimization in distributed databases.- An architecture for a multimedia database management system supporting content search.- Adaptive expert systems and analogical problem solving.- The behavior of database concurrency control mechanisms under bursty arrivals.- The core concurrency.- Concurrent data structures.- Asynchronous functional parallel programs.- Symbolic configuration for SuperNode multiprocessors.- A model of execution time estimating for RPC-oriented programs.- Parallel computation of Longest-Common-Subsequence.- Parallel Breadth-first and Breadth-depth traversals of general trees.- Parallelism via speculation in pure Prolog.- Synthesis of error-recoverable protocol specifications from service specifications.- A parallel algorithm for path-min queries in trees.- Efficient deterministic parallel algorithms for integer sorting.- A model of communication in Ada using shared data abstractions.- Communication complexity of computing a collection of rational functions.- Electing a leader in a synchronous recursively scalable network.- Analysis of self-reconfigurating process of fault-tolerant distributed computing systems.- Control of bottlenecks in a network database machine.- A hierarchical multirate method for circuit simulation on parallel computers.- I/O overhead and parallel VLSI architectures for lattice computations.- Optimality of gauge and degree-sensitive VLSI layouts of planar graphs.- An efficient VLSI network bridge architecture for local area networks.
More
