1994, ISBN: 9783540587156
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India… Mehr…
| Orellfuessli.ch Nr. 1880959. Versandkosten:Nenhum envio para o seu destino., zzgl. Versandkosten Details... |
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings (Lecture Notes in Computer Science (880), Band 880) - Taschenbuch
2008, ISBN: 9783540587156
Springer, Taschenbuch, Auflage: 1994, 472 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 6927183, Verkaufsrang: 9275589, Grafik & Multimedia, Computer & In… Mehr…
| Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
ISBN: 9783540587156
*Foundations of Software Technology and Theoretical Computer Science* - 14th Conference Madras India December 15 - 17 1994. Proceedings. Auflage 1994 / Taschenbuch für 53.49 € / Aus dem B… Mehr…
| Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 3540587152
Gebundene Ausgabe
Foundations of Software Technology and Theoretical Computer Science ab 96.49 € als Taschenbuch: 14th Conference Madras India December 15 - 17 1994. Proceedings. Auflage 1994. Aus dem Bere… Mehr…
| Hugendubel.de Nr. 6927183. Versandkosten:, , DE. (EUR 0.00) Details... |
1994, ISBN: 9783540587156
14th Conference, Madras, India, December 15 - 17, 1994. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1994
| lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
1994, ISBN: 9783540587156
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India… Mehr…
Thiagarajan, P.S.:
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings (Lecture Notes in Computer Science (880), Band 880) - Taschenbuch2008, ISBN: 9783540587156
Springer, Taschenbuch, Auflage: 1994, 472 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 6927183, Verkaufsrang: 9275589, Grafik & Multimedia, Computer & In… Mehr…
ISBN: 9783540587156
*Foundations of Software Technology and Theoretical Computer Science* - 14th Conference Madras India December 15 - 17 1994. Proceedings. Auflage 1994 / Taschenbuch für 53.49 € / Aus dem B… Mehr…
ISBN: 3540587152
Gebundene Ausgabe
Foundations of Software Technology and Theoretical Computer Science ab 96.49 € als Taschenbuch: 14th Conference Madras India December 15 - 17 1994. Proceedings. Auflage 1994. Aus dem Bere… Mehr…
1994, ISBN: 9783540587156
14th Conference, Madras, India, December 15 - 17, 1994. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1994
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540587156
ISBN (ISBN-10): 3540587152
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1994
Herausgeber: Springer Berlin Heidelberg
451 Seiten
Gewicht: 0,707 kg
Buch in der Datenbank seit 2007-04-28T22:40:24+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-17T12:56:14+01:00 (Vienna)
ISBN/EAN: 9783540587156
ISBN - alternative Schreibweisen:
3-540-58715-2, 978-3-540-58715-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: thiagarajan
Titel des Buches: foundations, theoretical computer science, december, madra, foundation, software, science and technology, lecture notes computer science, proceedings all india, madras, 1994
Daten vom Verlag:
Autor/in: P.S. Thiagarajan
Titel: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
Verlag: Springer; Springer Berlin
460 Seiten
Erscheinungsjahr: 1994-11-23
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 460 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; algorithm; algorithms; complexity; computational geometry; computer; computer science; formal logic; logic; semantics; verification; algorithm analysis and problem complexity; combinatorics; Theory of Computation; Software Engineering; Algorithms; Computer Science Logic and Foundations of Programming; Discrete Mathematics; Computer Graphics; Software Engineering; Algorithmen und Datenstrukturen; Diskrete Mathematik; Grafikprogrammierung; EA
Efficient resolution of singularities of plane curves.- On the interactive complexity of graph reliability.- Matching upper and lower bounds for simulations of several tapes on one multidimensional tape.- The complexity of computing over quasigroups.- Non-commutative computation, depth reduction, and skew circuits (extended abstract).- Inductive definitions and type theory an introduction (preliminary version).- Interpreter verification for a functional language.- An epistemic foundation for logic programming with uncertainty.- On typed calculi with a merge operator.- Incremental algorithms for the single-source shortest path problem.- An O(n) algorithm for realizing degree sequences.- Coloring semi-random graphs in polynomial expected time.- Finite-state strategies in regular infinite games.- Location of the largest empty rectangle among arbitrary obstacles.- Efficient parallel and linear time sequential split decomposition (extended abstract).- Algorithms for convex visibility problems.- Lower bounds for parallel algebraic decision trees, complexity of convex hulls and related problems.- Localities and failures (extended summary).- Priority and abstraction in process algebra.- On the computational power of operators in ICSP with fairness.- Decidability of timed language-inclusion for networks of real-time communicating sequential processes.- My favorite ten complexity theorems of the past decade.- Solving a unification problem under constrained substitutions using tree automata.- Automata-driven efficient subterm unification.- Randomized approximation algorithms in combinatorial optimization.- A limited-backtrack greedy schema for approximation algorithms.- On approximation scheme preserving reductibility and its applications.- Approximation schemes using L-reductions.- An explanation of splaying.- Proving non-reachability by modulo-place-invariants.- Soundness and completeness of UNITY logic.- Efficient algorithms for the transformation between different types of binary decision diagrams.- Extending the limits of sequentially phased reasoning.- Foundations for faster external sorting.- Branching rules for satisfiability.- Using linear arithmetic procedure for generating induction schemes.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387138831 Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science) (Editor-Mathai Joseph)
- 9780387534879 Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings (Lecture Notes in Computer Science) (Kesav V. Nori)
- 9780387549675 Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (S. Biswas; Editor-Kesav V. Nori)
- 9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)
- 9780387575292 Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15-17, 1993 : Proceedings (R. K. Shyamasundar)
- FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science. 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. (Hariharan, Ramesh et al. (Eds.))
< zum Archiv...