Foundations of Software Technology and Theoretical Computer Science
Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings
561 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
- Utgivningsdatum:1986-11-01
- Mått:155 x 235 x 29 mm
- Vikt:803 g
- Format:Häftad
- Språk:Engelska
- Serie:Lecture Notes in Computer Science
- Antal sidor:518
- Upplaga:1986
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783540171799
Utforska kategorier
Innehållsförteckning
- Software Development Graphs a unifying concept for software development?.- Concurrent runtime checking of annotated Ada programs.- Recovery of noncurrent variables in source-level debugging of optimized code.- Automatic retargetable code generation: A new technique.- An implementation of OBJ2: An object-oriented language for abstract program specification.- Explicit representation of terms defined by counter examples.- A framework for intelligent backtracking in logic programs.- A generalization of Backus' FP.- Shortest-path motion.- Via assignment in single row routing.- Average-case analysis of the Modified Harmonic algorithm.- Covering minima and lattice point free convex bodies.- Binary decompositions and acyclic schemes.- Thin homogeneous sets of factors.- Irreducible polynomials over finite fields.- Basis reduction and evidence for transcendence of certain numbers.- A characterization of asynchronous message-passing.- Modular synthesis of deadlock-free control structures.- Distributed resource sharing in computer networks.- On proving communication closedness of distributed layers.- A distributed algorithm for edge-disjoint path problem.- Scheduling of hard real-time systems.- A polynomial approximation scheme for machine scheduling on uniform processors: Using the dual approximation approach.- Connectivity algorithms using rubber bands.- On simple and creative sets in NP.- Complexity of sufficient-completeness.- Sampling a population with a semi-random source.- An optimal parallel algorithm for dynamic expression evaluation and its applications.- Extension of the parallel nested dissection algorithm to path algebra problems.- On synthesizing systolic arrays from Recurrence Equations with Linear Dependencies.- An efficient parallel algorithm for term matching.
Mer från samma författare
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, Sanjeev Kumar
Häftad, 1988
561 kr
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, C.E. Veni Madhavan
Häftad, 1990
561 kr
Foundations of Software Technology and Theoretical Computer Science
Somenath Biswas, Kesav V. Nori
Häftad, 1991
561 kr
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
544 kr
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
907 kr
Advanced Information Systems Engineering
Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff
Häftad, 2014
561 kr
Wired/Wireless Internet Communications
Evgeny Osipov, Andreas J. Kassler, Thomas Michael Bohnert, Xavier Masip-Bruin
Häftad, 2010
561 kr
Modeling and Using Context
Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke
Häftad, 2011
544 kr
Advanced Parallel Processing Technologies
Pen-Chung Yew, Per Stenström, Junjie Wu, Xiaoli Gong, Tao Li
Häftad, 2019
561 kr
Trustworthy AI - Integrating Learning, Optimization and Reasoning
Fredrik Heintz, Michela Milano, Barry O'Sullivan
Häftad, 2021
529 kr
Du kanske också är intresserad av
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, C.E. Veni Madhavan
Häftad, 1990
561 kr
Foundations of Software Technology and Theoretical Computer Science
Somenath Biswas, Kesav V. Nori
Häftad, 1991
561 kr
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, Sanjeev Kumar
Häftad, 1988
561 kr
- -19%
- Signerad!
- Nyhet
- 4 för 3
- 4 för 3
En flicka som kallas Alice
Kristin Hannah
Pocket, 2025
99 kr
- 4 för 3
Brevbäraren i Lizzanello
Francesca Giannone
Pocket, 2026
99 kr