- 3 Résultats
prix le plus bas: € 67,82, prix le plus élevé: € 70,56, prix moyen: € 68,73
1
Foundations of Software Technology and Theoretical Computer Science - S. Ramesh; G. Sivakumar
Commander
sur Springer.com
€ 67,82
Commander
Détails et expédition
Lien sponsorisé
S. Ramesh; G. Sivakumar:

Foundations of Software Technology and Theoretical Computer Science - nouveau livre

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

  - new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
2
Commander
sur Springer.com
€ 67,82
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

S. Ramesh; G. Sivakumar:

Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540696599

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; … Plus…

  - Frais d'envoi EUR 0.00
fermer(X)
3
Foundations of Software Technology and Theoretical Computer Science - S. Ramesh; G. Sivakumar
Commander
sur Springer.com
$ 84,99
(environ € 70,56)
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
S. Ramesh; G. Sivakumar:
Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540696599

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; … Plus…

  - Frais d'envoi EUR 0.00
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Foundations of Software Technology and Theoretical Computer Science
Auteur:
Titre:
ISBN:

9783540696599

Informations détaillées sur le livre - Foundations of Software Technology and Theoretical Computer Science


EAN (ISBN-13): 9783540696599
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 2020-01-29T00:00:11+01:00 (Zurich)
ISBN/EAN: 9783540696599

ISBN - Autres types d'écriture:
978-3-540-69659-9
Autres types d'écriture et termes associés:
Titre du livre: software, technology technology, foundations science

Données de l'éditeur

Auteur: S. Ramesh; G. Sivakumar
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
Editeur: Springer; Springer Berlin
351 Pages
Date de parution: 2003-05-20
Berlin; Heidelberg; DE
Langue: Anglais
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.

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)

< pour archiver...