Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - pocketboek
1992, ISBN: 3540562877
[EAN: 9783540562870], Neubuch, [PU: Springer Berlin Heidelberg], GRAFIK (EDV); KOMBINATORIK; PROGRAMMIERSPRACHEN; ALGORITHMS; COMPUTATIONALGEOMETRY; COMPUTER-GEOMETRIE; FORMALLANGUAGES; F… Meer...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: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… Meer...
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten: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 … Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - nieuw boek
1992, ISBN: 3540562877
1992 Kartoniert / Broschiert Grafik (EDV), Kombinatorik, Programmiersprachen, Software Engineering, Theoretische Informatik, algorithms; computationalgeometry; Computer-Geometrie; forma… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten: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 Verzendingskosten: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 - pocketboek
1992, ISBN: 3540562877
[EAN: 9783540562870], Neubuch, [PU: Springer Berlin Heidelberg], GRAFIK (EDV); KOMBINATORIK; PROGRAMMIERSPRACHEN; ALGORITHMS; COMPUTATIONALGEOMETRY; COMPUTER-GEOMETRIE; FORMALLANGUAGES; F… Meer...
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… Meer...
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 … Meer...
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - nieuw boek
1992, ISBN: 3540562877
1992 Kartoniert / Broschiert Grafik (EDV), Kombinatorik, Programmiersprachen, Software Engineering, Theoretische Informatik, algorithms; computationalgeometry; Computer-Geometrie; forma… Meer...
1992, ISBN: 9783540562870
12th Conference, New Delhi, India, December 18-20, 1992. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1992
Bibliografische gegevens van het best passende boek
Gedetalleerde informatie over het boek. - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540562870
ISBN (ISBN-10): 3540562877
Gebonden uitgave
pocket book
Verschijningsjaar: 1992
Uitgever: Springer Berlin
405 Bladzijden
Gewicht: 0,637 kg
Boek bevindt zich in het datenbestand sinds 2007-05-20T10:49:56+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-18T15:11:35+01:00 (Amsterdam)
ISBN/EAN: 3540562877
ISBN - alternatieve schrijfwijzen:
3-540-56287-7, 978-3-540-56287-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: shyam, abramsky
Titel van het boek: 1992, new delhi, foundations software technology and theoretical computer science, lecture notes computer science, the science and technology the, proceedings all india
Gegevens van de uitgever
Auteur: 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
Uitgeverij: Springer; Springer Berlin
409 Bladzijden
Verschijningsjaar: 1992-11-26
Berlin; Heidelberg; DE
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
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.))
< naar Archief...