- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 58,80, Mittelwert: € 55,03
1
Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings - Kesav V. Nori
Bestellen
bei AbeBooks.de
€ 53,74
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Kesav V. Nori:

Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings - Taschenbuch

1986, ISBN: 3540171797

[EAN: 9783540171799], Neubuch, [PU: Springer Berlin Heidelberg], ARITHMETIK; EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; APPROXIMATION; BAN; CODE; DEBUGGING; ALGORITHMS; COMMUNICAT… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings - Kesav V. Nori
Bestellen
bei AbeBooks.de
€ 58,80
Versand: € 2,901
Bestellen
Details beim Anbieter
gesponserter Link

Kesav V. Nori:

Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings - Taschenbuch

1986, ISBN: 3540171797

[EAN: 9783540171799], Neubuch, [PU: Springer Berlin Heidelberg], ARITHMETIK; EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; APPROXIMATION; BAN; CODE; DEBUGGING; ALGORITHMS; COMMUNICAT… Mehr…

NEW BOOK. Versandkosten: EUR 2.90 AHA-Books, Einbeck, Germany [86569176] [Rating: 3 (von 5)]
zuklappen (X)
3
Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings - Kesav V. Nori
Bestellen
bei ZVAB.com
€ 54,13
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Kesav V. Nori:
Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings - Taschenbuch

1986

ISBN: 3540171797

[EAN: 9783540171799], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ARITHMETIK; EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; APPROXIMATION; BAN; CODE; DEBUGGING; MATCHING; A… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
4
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori
Bestellen
bei booklooker.de
€ 53,49
Versand: € 2,701
Bestellen
Details beim Anbieter
gesponserter Link
Kesav V. Nori:
Foundations of Software Technology and Theoretical Computer Science - Taschenbuch

2001, ISBN: 9783540171799

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Sci… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
zuklappen (X)
5
Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings Kesav V. No
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings Kesav V. No - neues Buch

ISBN: 9783540171799

This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer s… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings Kesav V. No
Autor:
Titel:
ISBN-Nummer:

9783540171799


This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.

Detailangaben zum Buch - Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings Kesav V. No


EAN (ISBN-13): 9783540171799
ISBN (ISBN-10): 3540171797
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1986
Herausgeber: Springer Berlin Heidelberg Core >1 >T
536 Seiten
Gewicht: 0,801 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-04-26T00:06:33+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-13T15:43:25+01:00 (Zurich)
ISBN/EAN: 9783540171799

ISBN - alternative Schreibweisen:
3-540-17179-7, 978-3-540-17179-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: real
Titel des Buches: theoretical computer science, new delhi, war 1986, software, science and technology, proceedings all india, foundations science, 241

Daten vom Verlag:

Autor/in: Kesav V. Nori
Titel: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings
Verlag: Springer; Springer Berlin
518 Seiten
Erscheinungsjahr: 1986-11-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 518 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Approximation; Ban; Code; Debugging; Matching; algorithms; communication; complexity; logic; theoretical computer science; Software Engineering; Programming Techniques; Theory of Computation; Arithmetic and Logic Structures; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Computerhardware; EA

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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)

< zum Archiv...