- 5 Résultats
prix le plus bas: € 2,49, prix le plus élevé: € 2,66, prix moyen: € 2,52
1
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Commander
sur ZVAB.com
€ 2,49
Envoi: € 3,501
Commander
Détails du fournisseur
Lien sponsorisé

Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - Livres de poche

1998, ISBN: 3540653848

[EAN: 9783540653844], Gebraucht, sehr guter Zustand, [SC: 3.5], [PU: Springer,], IT-AUSBILDUNG & -BERUFE / COMPUTER INTERNET NATURWISSENSCHAFTEN TECHNIK KATEGORIEN, 369 Seiten Gepflegtes … Plus…

NOT NEW BOOK. Frais d'envoi EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
fermer(X)
2
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Commander
sur ZVAB.com
€ 2,49
Envoi: € 3,501
Commander
Détails du fournisseur
Lien sponsorisé
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - Livres de poche

1998, ISBN: 3540653848

[EAN: 9783540653844], Gebraucht, sehr guter Zustand, [SC: 3.5], [PU: Springer], IT-AUSBILDUNG & -BERUFE / COMPUTER INTERNET NATURWISSENSCHAFTEN TECHNIK KATEGORIEN, 369 Seiten Gepflegtes e… Plus…

NOT NEW BOOK. Frais d'envoi EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
fermer(X)
3
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Commander
sur AbeBooks.de
€ 2,49
Envoi: € 3,501
Commander
Détails du fournisseur
Lien sponsorisé
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - Livres de poche

1998

ISBN: 3540653848

[EAN: 9783540653844], Gebraucht, sehr guter Zustand, [PU: Springer], IT-AUSBILDUNG & -BERUFE / COMPUTER INTERNET NATURWISSENSCHAFTEN TECHNIK KATEGORIEN, 369 Seiten Gepflegtes ehemaliges B… Plus…

NOT NEW BOOK. Frais d'envoi EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
fermer(X)
4
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Commander
sur buchfreund.de
€ 2,49
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - Livres de poche

1998, ISBN: 9783540653844

369 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstkle… Plus…

Frais d'envoiVersandkosten innerhalb der BRD. (EUR 3.00) getbooks GmbH, 65520 Idstein
fermer(X)
5
Commander
sur Biblio.co.uk
$ 3,00
(environ € 2,66)
Envoi: € 19,511
Commander
Détails du fournisseur
Lien sponsorisé
V. Arvind, R. Ramanujam:
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings (v. 1530) - Livres de poche

1998, ISBN: 9783540653844

Springer-Verlag Telos, 1999. 366 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for … Plus…

Frais d'envoi EUR 19.51 Zubal Books
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: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings: v. 1530 (Lecture Notes in Computer Science)
Auteur:
Titre:
ISBN:

9783540653844


This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998.The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.

Informations détaillées sur le livre - Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings: v. 1530 (Lecture Notes in Computer Science)


EAN (ISBN-13): 9783540653844
ISBN (ISBN-10): 3540653848
Livre de poche
Date de parution: 1998
Editeur: Springer,

Livre dans la base de données depuis 2008-04-26T00:06:40+02:00 (Zurich)
Page de détail modifiée en dernier sur 2022-10-07T19:29:45+02:00 (Zurich)
ISBN/EAN: 9783540653844

ISBN - Autres types d'écriture:
3-540-65384-8, 978-3-540-65384-4
Autres types d'écriture et termes associés:
Auteur du livre: dan appleman, chennai india, ramanujam
Titre du livre: foundations software technology and theoretical computer science, lecture notes computer science, foundation, conference proceedings, india

Données de l'éditeur

Auteur: V. Arvind; R. Ramanujam
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 18th Conference, Chennai, India, December 17-19, 1998, Proceedings
Editeur: Springer; Springer Berlin
369 Pages
Date de parution: 1998-11-25
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 0,500 kg
Langue: Anglais
85,59 € (DE)
87,99 € (AT)
106,60 CHF (CH)
Not available, publisher indicates OP

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Informatik; Verstehen; algorithms; software; semantics; Program Semantics; formal methods; computer science; software engineering; logic; Mathematica; mathematical logic; theoretical computer science; C; Theory of Computation; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; Theoretische Informatik; Software Engineering; Programmier- und Skriptsprachen, allgemein; Compiler und Übersetzer; Diskrete Mathematik; Mathematik für Informatiker; EA

Invited Talk 1.- Descriptive Complexity and Model Checking.- Session 1(a).- Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem.- A Hamiltonian Approach to the Assignment of Non-reusable Frequencies.- Session 1(b).- Deadlock Sensitive Types for Lambda Calculus with Resources.- On encoding p? in m?.- Session 2(a).- Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets.- Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling.- Session 2(b).- A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.- Testing Theories for Asynchronous Languages.- Invited Talk 2.- Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation.- Session 3.- Optimal Regular Tree Pattern Matching Using Pushdown Automata.- Locating Matches of Tree Patterns in Forests.- Session 4.- Benefits of Tree Transducers for Optimizing Functional Programs.- Implementable Failure Detectors in Asynchronous Systems.- Invited Talk 3.- BRICS and Quantum Information Processing.- Session 5(a).- Martingales and Locality in Distributed Computing.- Space Efficient Suffix Trees.- Session 5(b).- Formal Verification of an O.S. Submodule.- Infinite Probabilistic and Nonprobabilistic Testing.- Session 6(a).- On Generating Strong Elimination Orderings of Strongly Chordal Graphs.- A Parallel Approximation Algorithm for Minimum Weight Triangulation.- Session 6(b).- The Power of Reachability Testing for Timed Automata.- Recursive Mean-Value Calculus.- Invited Talk 4.- Efficient Formal Verification of Hierarchical Descriptions.- Invited Talk 5.- Proof Rules for Model Checking Systems with Data.- Session 7.- Partial Order Reductions for Bisimulation Checking.- First-Order-CTL Model Checking.- Session 8(a).- On the Complexity of Counting the Number of Vertices Moved by Graph Automorphisms.- Remarks on Graph Complexity.- Session 8(b).- On the Confluence of Trace Rewriting Systems.- A String-Rewriting Characterization of Muller and Schupp’s Context-Free Graphs.- Session 9.- Different Types of Monotonicity for Restarting Automata.- A Kleene Iteration for Parallelism.- Invited Talk 6.- Quantum Computation and Information.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)

< pour archiver...