Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - Livro de bolso
1992, ISBN: 3540562877
[EAN: 9783540562870], Neubuch, [PU: Springer Berlin Heidelberg], GRAFIK (EDV); KOMBINATORIK; PROGRAMMIERSPRACHEN; ALGORITHMS; COMPUTATIONALGEOMETRY; COMPUTER-GEOMETRIE; FORMALLANGUAGES; F… mais…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio: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… mais…
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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 … mais…
Indigo.ca new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - nuovo livro
1992, ISBN: 3540562877
1992 Kartoniert / Broschiert Grafik (EDV), Kombinatorik, Programmiersprachen, Software Engineering, Theoretische Informatik, algorithms; computationalgeometry; Computer-Geometrie; forma… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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 Custos de envio: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 - Livro de bolso
1992, ISBN: 3540562877
[EAN: 9783540562870], Neubuch, [PU: Springer Berlin Heidelberg], GRAFIK (EDV); KOMBINATORIK; PROGRAMMIERSPRACHEN; ALGORITHMS; COMPUTATIONALGEOMETRY; COMPUTER-GEOMETRIE; FORMALLANGUAGES; F… mais…
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… mais…
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 … mais…
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - nuovo livro
1992, ISBN: 3540562877
1992 Kartoniert / Broschiert Grafik (EDV), Kombinatorik, Programmiersprachen, Software Engineering, Theoretische Informatik, algorithms; computationalgeometry; Computer-Geometrie; forma… mais…
1992, ISBN: 9783540562870
12th Conference, New Delhi, India, December 18-20, 1992. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1992
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540562870
ISBN (ISBN-10): 3540562877
Livro de capa dura
Livro de bolso
Ano de publicação: 1992
Editor/Editora: Springer Berlin
405 Páginas
Peso: 0,637 kg
Livro na base de dados desde 2007-05-20T05:49:56-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-03-18T11:11:35-03:00 (Sao Paulo)
Número ISBN/EAN: 3540562877
Número ISBN - Ortografia alternativa:
3-540-56287-7, 978-3-540-56287-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: shyam, abramsky
Título do livro: 1992, new delhi, foundations software technology and theoretical computer science, lecture notes computer science, the science and technology the, proceedings all india
Dados da editora
Autor: Rudrapatna Shyamasundar
Título: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
Editora: Springer; Springer Berlin
409 Páginas
Ano de publicação: 1992-11-26
Berlin; Heidelberg; DE
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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.))
< Para arquivar...