- 5 Résultats
prix le plus bas: € 60,00, prix le plus élevé: € 99,00, prix moyen: € 82,57
1
Commander
sur ebooks.com
€ 60,00
Commander
Détails et expédition
Lien sponsorisé
50-99.99:

Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540466918

th This volume contains the proceedings of the 19 FST&TCS conference (Foundations of Software Technology and Theoretical Computer Science), - ganized under the auspices of the Indian Asso… Plus…

new in stock. Frais d'envoiplus shipping costs., Livraison non-comprise
fermer(X)
2
Commander
sur ebooks.com
€ 99,00
Commander
Détails et expédition
Lien sponsorisé

50-99.99:

Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540466918

th This volume contains the proceedings of the 19 FST&TCS conference (Foundations of Software Technology and Theoretical Computer Science), - ganized under the auspices of the Indian Asso… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
3
Foundations of Software Technology and Theoretical Computer Science
Commander
sur Hugendubel.de
€ 85,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540466918

Foundations of Software Technology and Theoretical Computer Science ab 85.49 € als pdf eBook: 19th Conference Chennai India December 13-15 1999 Proceedings. Aus dem Bereich: eBooks, Sacht… Plus…

Nr. 33589890. Frais d'envoi, , DE. (EUR 0.00)
fermer(X)
4
Commander
sur lehmanns.de
€ 82,87
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
V. Raman; R. Ramanujam; C. Pandu Rangan:
Foundations of Software Technology and Theoretical Computer Science - nouveau livre

2003, ISBN: 9783540466918

19th Conference, Chennai, India, December 13-15, 1999 Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003

Frais d'envoiDownload sofort lieferbar. (EUR 0.00)
fermer(X)
5
Foundations of Software Technology and Theoretical Computer Science
Commander
sur eBook.de
€ 85,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540466918

Foundations of Software Technology and Theoretical Computer Science - 19th Conference Chennai India December 13-15 1999 Proceedings: ab 85.49 € Medien > Bücher > E-books, [PU: Springer, B… Plus…

Nr. 33589890. Frais d'envoi, , DE. (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:

9783540466918

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


EAN (ISBN-13): 9783540466918
Date de parution: 2003
Editeur: Springer Berlin Heidelberg

Livre dans la base de données depuis 2017-06-04T22:39:59+02:00 (Zurich)
Page de détail modifiée en dernier sur 2022-02-15T00:40:14+01:00 (Zurich)
ISBN/EAN: 9783540466918

ISBN - Autres types d'écriture:
978-3-540-46691-8
Autres types d'écriture et termes associés:
Auteur du livre: ramanujam
Titre du livre: technology technology, foundations science

Données de l'éditeur

Auteur: C. Pandu Rangan; V. Raman; R. Ramanujam
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 19th Conference, Chennai, India, December 13-15, 1999 Proceedings
Editeur: Springer; Springer Berlin
460 Pages
Date de parution: 2003-06-26
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 460 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automata Theory Algorithms; Computing Theory; D programming language; Foundations of Computing; Mathematical Logic; Searching; Variable; algorithms; automata; calculus; complexity; computer science; logic; model checking; theoretical computer science; C; Theory of Computation; Software Engineering; Discrete Mathematics in Computer Science; Computer Science; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; BC

Invited Talk 1.- Recent Developments in the Theory of Arrangements of Surfaces.- Session 1(a).- Dynamic Compressed Hyperoctrees with Application to the N-body Problem.- Largest Empty Rectangle among a Point Set.- Session 1(b).- Renaming Is Necessary in Timed Regular Expressions.- Product Interval Automata: A Subclass of Timed Automata.- Session 2(a).- The Complexity of Rebalancing a Binary Search Tree.- Fast Allocation and Deallocation with an Improved Buddy System.- Session 2(b).- Optimal Bounds for Transformations of ?-Automata.- CTL+ Is Exponentially More Succinct than CTL.- Invited Talk 2.- A Top-Down Look at a Secure Message.- Session 3.- Explaining Updates by Minimal Sums.- A Foundation for Hybrid Knowledge Bases.- Session 4.- Hoare Logic for Mutual Recursion and Local Variables.- Invited Talk 3.- Explicit Substitutions and Programming Languages.- Session 5(a).- Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings.- A Randomized Algorithm for Flow Shop Scheduling.- Session 5(b).- Synthesizing Distributed Transition Systems from Global Specifications.- Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata.- Session 6.- Implicit Temporal Query Languages: Towards Completeness.- On the Undecidability of Some Sub-classical First-Order Logics.- Invited Talk 4.- How to Compute with DNA.- Session 7(a).- A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles.- Protecting Facets in Layered Manufacturing.- Session 7(b).- The Receptive Distributed ?-Calculus.- Series and Parallel Operations on Pomsets.- Session 8.- Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus.- Invited Talk 5.- Graph Isomorphism: Its Complexity and Algorithms.- Session9(a).- Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables.- Lower Bounds for Linear Transformed OBDDs and FBDDs.- Session 9(b).- A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems.- Graded Modalities and Resource Bisimulation.- Session 10(a).- The Non-recursive Power of Erroneous Computation.- Analysis of Quantum Functions.- Session 10(b).- On Sets Growing Continuously.- Model Checking Knowledge and Time in Systems with Perfect Recall.- FST&TCS — ISAAC Joint Session Talks.- The Engineering of Some Bipartite Matching Programs.
Includes supplementary material: sn.pub/extras

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...