Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - Taschenbuch
1992, ISBN: 3540562877
[EAN: 9783540562870], Neubuch, [PU: Springer Berlin Heidelberg], GRAFIK (EDV); KOMBINATORIK; PROGRAMMIERSPRACHEN; ALGORITHMS; COMPUTATIONALGEOMETRY; COMPUTER-GEOMETRIE; FORMALLANGUAGES; F… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
1992, ISBN: 9783540562870
Kartoniert, 424 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing a… Mehr…
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540562870
For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of … Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - neues Buch
1992, ISBN: 3540562877
1992 Kartoniert / Broschiert Grafik (EDV), Kombinatorik, Programmiersprachen, Software Engineering, Theoretische Informatik, algorithms; computationalgeometry; Computer-Geometrie; forma… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1992, ISBN: 9783540562870
12th Conference, New Delhi, India, December 18-20, 1992. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1992
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - Taschenbuch
1992, ISBN: 3540562877
[EAN: 9783540562870], Neubuch, [PU: Springer Berlin Heidelberg], GRAFIK (EDV); KOMBINATORIK; PROGRAMMIERSPRACHEN; ALGORITHMS; COMPUTATIONALGEOMETRY; COMPUTER-GEOMETRIE; FORMALLANGUAGES; F… Mehr…
1992, ISBN: 9783540562870
Kartoniert, 424 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing a… Mehr…
ISBN: 9783540562870
For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of … Mehr…
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - neues Buch
1992, ISBN: 3540562877
1992 Kartoniert / Broschiert Grafik (EDV), Kombinatorik, Programmiersprachen, Software Engineering, Theoretische Informatik, algorithms; computationalgeometry; Computer-Geometrie; forma… Mehr…
1992, ISBN: 9783540562870
12th Conference, New Delhi, India, December 18-20, 1992. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1992
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540562870
ISBN (ISBN-10): 3540562877
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin
405 Seiten
Gewicht: 0,637 kg
Buch in der Datenbank seit 2007-05-20T10:49:56+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-18T15:11:35+01:00 (Zurich)
ISBN/EAN: 3540562877
ISBN - alternative Schreibweisen:
3-540-56287-7, 978-3-540-56287-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: shyam, abramsky
Titel des Buches: 1992, new delhi, foundations software technology and theoretical computer science, lecture notes computer science, the science and technology the, proceedings all india
Daten vom Verlag:
Autor/in: Rudrapatna Shyamasundar
Titel: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
Verlag: Springer; Springer Berlin
409 Seiten
Erscheinungsjahr: 1992-11-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 409 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algorithms; Computational Geometry; Computer-Geometrie; Formal Languages; Formale Sprachen; Grammars; Graph Theory; Network Operations; Netzwerk-Operationen; algorithm; logic; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Software Engineering; Compiler und Übersetzer; EA
System specification and refinement in temporal logic.- Fixed points of Büchi automata.- An automata-theoretic decision procedure for Future Interval Logic.- Improving the results of static analyses of programs by local decreasing iterations.- Implicit point location in arrangements of line segments, with an application to motion planning.- An optimal algorithm for the intersection radius of a set of convex polygons.- C-sensitive triangulations approximate the minmax length triangulation.- Superpolynomial circuits, almost sparse oracles and the exponential hierarchy.- Structural average case complexity.- On bounded truth-table, conjunctive, and randomized reductions to sparse sets.- One-way functions and isomorphism conjecture.- Solving the Lagrangian dual when the number of constraints is fixed.- Superfiniteness of query answers in deductive databases: An automata-theoretic approach.- Proving polynomials positive.- An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs.- Polymorphic typing by abstract interpretation.- The Gallina specification language: A case study.- Verification of large software systems.- Detection of unstable predicates in distributed programs.- Fast sequential and randomised parallel algorithms for rigidity and approximate min k-cut.- Approximation through local optimality: Designing networks with small degree.- Games and full Completeness for multiplicative Linear Logic.- Real-time calculi and expansion theorems.- Branching bisimulation for context-free processes.- CCS, locations and asynchronous transition systems.- Reasoning about safety and liveness properties for probabilistic processes.- String matching under a general matching relation.- On the complexity of Certified Write All Algorithms.-Selection from read-only memory and sorting with optimum data movement.- Some observations on 2-way probabilistic finite automata.- Recent developments in algorithms for the maximum-flow problem.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...