ISBN: 9783540696599
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full … Altro …
| Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783540696599
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; … Altro …
| Springer.com Costi di spedizione: EUR 0.00 Details... |
ISBN: 9783540696599
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; … Altro …
| Springer.com Costi di spedizione: EUR 0.00 Details... |
ISBN: 9783540696599
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full … Altro …
S. Ramesh; G. Sivakumar:
Foundations of Software Technology and Theoretical Computer Science - nuovo libroISBN: 9783540696599
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; … Altro …
ISBN: 9783540696599
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; … Altro …
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540696599
Editore: Springer Science+Business Media
Libro nella banca dati dal 2017-01-15T10:01:53+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2020-01-29T00:00:11+01:00 (Zurich)
ISBN/EAN: 9783540696599
ISBN - Stili di scrittura alternativi:
978-3-540-69659-9
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: software, technology technology, foundations science
Dati dell'editore
Autore: S. Ramesh; G. Sivakumar
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
Editore: Springer; Springer Berlin
351 Pagine
Anno di pubblicazione: 2003-05-20
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 351 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algorithms; Automat; Bisimulation; Variable; algorithm; automata; coding theory; complexity; computer science; design; logic; petri net; semantics; simulation; verification; C; Theory of Computation; Software Engineering; Compilers and Interpreters; Discrete Mathematics in Computer Science; Programming Techniques; Artificial Intelligence; Computer Science; Software Engineering; Compiler und Übersetzer; Mathematik für Informatiker; Diskrete Mathematik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; BC
QSM: A general purpose shared-memory model for parallel computation.- Approximating geometric domains through topological triangulations.- Solving some discrepancy problems in NC.- Graph editing to bipartite interval graphs: Exact and asymptotic bounds.- Model checking.- Recursion versus iteration at higher-orders.- Compilation and equivalence of imperative objects.- On the expressive power of rewriting.- Mechanizing verification of arithmetic circuits: SRT division.- On the complexity of parallel implementation of logic programs.- An abductive semantics for disjunctive logic programs and its proof procedure.- Assumption-commitment in automata.- Compositional design of multitolerant repetitive byzantine agreement.- Algorithmic issues in coding theory.- Sharper results on the expressive power of generalized quantifiers.- Improved lowness results for solvable black-box group problems.- On resource-bounded measure and pseudorandomness.- Verification of open systems.- Hoare-Style compositional proof systems for reactive shared variable concurrency.- A simple characterization of stuttering bisimulation.- General refinement for high level petri nets.- Polynomial-Time Many-One reductions for Petri nets.- Computing reachability properties hidden in finite net unfoldings.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)
- 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.))
< Per archiviare...