- 5 Risultati
prezzo più basso: € 55,60, prezzo più alto: € 107,88, prezzo medio: € 74,88
1
Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - Rudrapatna Shyamasundar
Ordina
da AbeBooks.de
€ 59,11
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Rudrapatna Shyamasundar:

Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - edizione con copertina flessibile

1992, ISBN: 3540562877

[EAN: 9783540562870], Neubuch, [PU: Springer Berlin Heidelberg], GRAFIK (EDV); KOMBINATORIK; PROGRAMMIERSPRACHEN; ALGORITHMS; COMPUTATIONALGEOMETRY; COMPUTER-GEOMETRIE; FORMALLANGUAGES; F… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
Ordina
da buchfreund.de
€ 58,71
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - nuovo libro

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… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
3
Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proc
Ordina
da Indigo.ca
C$ 154,95
(indicativi € 107,88)
Ordina
Dettagli & spedizione
Link sponsorizzato
Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proc - nuovo libro

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 … Altro …

new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
4
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - Shyamasundar, Rudrapatna (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Shyamasundar, Rudrapatna (Herausgeber):
Foundations of Software Technology and Theoretical Computer Science 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings - nuovo libro

1992, ISBN: 3540562877

1992 Kartoniert / Broschiert Grafik (EDV), Kombinatorik, Programmiersprachen, Software Engineering, Theoretische Informatik, algorithms; computationalgeometry; Computer-Geometrie; forma… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
5
Foundations of Software Technology and Theoretical Computer Science - Rudrapatna Shyamasundar
Ordina
da lehmanns.de
€ 93,08
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Rudrapatna Shyamasundar:
Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

1992, ISBN: 9783540562870

12th Conference, New Delhi, India, December 18-20, 1992. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1992

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Foundations of Software Technology and Theoretical Computer Science
Autore:
Titolo:
ISBN:

3540562877


For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of new results in the topics of currentresearch in India and abroad. This year, there was a totalof 125 papers from 14 countries. Each paper was reviewed byat least three reviewers; based on these reviews, theprogramme committee selected 28 papers at a meeting held inJuly 1992 at the Tata Institute of Fundamental Research,Bombay.The selected papers are included in this volume, togetherwith three invited papers: "Games and full completeness formultiplicative linear logic" by S. Abramsky, "Recentdevelopments inalgorithms for the maximum-flow problem" byK. Melhorn, and "System specification and refinement intemporal logic" by A. Pnueli.

Informazioni dettagliate del libro - Foundations of Software Technology and Theoretical Computer Science


EAN (ISBN-13): 9783540562870
ISBN (ISBN-10): 3540562877
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1992
Editore: Springer Berlin
405 Pagine
Peso: 0,637 kg

Libro nella banca dati dal 2007-05-20T10:49:56+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-03-18T15:11:35+01:00 (Rome)
ISBN/EAN: 3540562877

ISBN - Stili di scrittura alternativi:
3-540-56287-7, 978-3-540-56287-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : shyam, abramsky
Titolo del libro: 1992, new delhi, foundations software technology and theoretical computer science, lecture notes computer science, the science and technology the, proceedings all india

Dati dell'editore

Autore: Rudrapatna Shyamasundar
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
Editore: Springer; Springer Berlin
409 Pagine
Anno di pubblicazione: 1992-11-26
Berlin; Heidelberg; DE
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)

< Per archiviare...