ISBN: 9783540475071
For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual academic computerscience forum for the presentation o… Plus…
Springer.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
ISBN: 9783540475071
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract Devices; Programming Languages, C… Plus…
Springer.com Frais d'envoi EUR 0.00 Details... |
ISBN: 9783540475071
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract Devices; Programming Languages, C… Plus…
Springer.com Frais d'envoi EUR 0.00 Details... |
ISBN: 9783540475071
For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual academic computerscience forum for the presentation o… Plus…
Rudrapatna Shyamasundar:
Foundations of Software Technology and Theoretical Computer Science - nouveau livreISBN: 9783540475071
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract Devices; Programming Languages, C… Plus…
ISBN: 9783540475071
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract Devices; Programming Languages, C… Plus…
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540475071
Editeur: Springer Science+Business Media
Livre dans la base de données depuis 2017-01-15T10:01:53+01:00 (Zurich)
Page de détail modifiée en dernier sur 2021-09-10T18:54:35+02:00 (Zurich)
ISBN/EAN: 9783540475071
ISBN - Autres types d'écriture:
978-3-540-47507-1
Autres types d'écriture et termes associés:
Titre du livre: software, technology technology, foundations science
Données de l'éditeur
Auteur: Rudrapatna Shyamasundar
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
Editeur: Springer; Springer Berlin
409 Pages
Date de parution: 2005-07-14
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XV, 409 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algorithms; Computational Geometry; Computer-Geometrie; Formal Languages; Formale Sprachen; Grammars; Graph Theory; Network Operations; Netzwerk-Operationen; algorithm; logic; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Computer Science; Software Engineering; Compiler und Übersetzer; BC
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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.))
< pour archiver...