- 5 Résultats
prix le plus bas: € 15,36, prix le plus élevé: € 53,49, prix moyen: € 45,66
1
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings - Anil Seth
Commander
sur ZVAB.com
€ 52,46
Envoi: € 0,001
CommanderLien sponsorisé
Anil Seth:

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings - Livres de poche

2002, ISBN: 3540002251

[EAN: 9783540002253], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. SOFTWARE ENGINEERING; ALGORITHMS; APPROXIMATION; IENCELOGI… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Anil Seth
Commander
sur booklooker.de
€ 53,49
Envoi: € 2,701
CommanderLien sponsorisé

Anil Seth:

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Livres de poche

2002, ISBN: 9783540002253

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and T… Plus…

Frais d'envoiVersand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
3
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - nouveau livre

2002

ISBN: 9783540002253

This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the … Plus…

Nr. 978-3-540-00225-3. Frais d'envoiWorldwide free shipping, , plus shipping costs. (EUR 0.00)
4
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 3,951
CommanderLien sponsorisé
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Livres de poche

2002, ISBN: 9783540002253

*FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science* - 22nd Conference Kanpur India December 12-14 2002 Proceedings. Auflage 2002 / Taschenbuch für 53.49 € … Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95)
5
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - 1st Edition (eBook Rental)
Commander
sur VitalSource.com
$ 16,50
(environ € 15,36)
CommanderLien sponsorisé
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - 1st Edition (eBook Rental) - nouveau livre

2002, ISBN: 9783540002253

1st Edition, by Manindra Agrawal; Anil Seth, PRINT ISBN: 9783540002253 E-TEXT ISBN: 9783540362067 Springer Nature eBook Other pricing structure might be available at vitalsource.com., Spr… Plus…

new in stock United States. Frais d'envoiplus shipping costs., Livraison non-comprise

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
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

This book constitutes the refereed proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2002, held in Kanpur, India in December 2002.The 26 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 108 submissions. A broad variety of topics from the theory of computing are addressed, from algorithmics and discrete mathematics as well as from logics and programming theory.

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


EAN (ISBN-13): 9783540002253
ISBN (ISBN-10): 3540002251
Version reliée
Livre de poche
Date de parution: 2003
Editeur: Springer Berlin Heidelberg
361 Pages
Poids: 0,573 kg

Livre dans la base de données depuis 2007-01-03T16:48:02+01:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-19T17:32:33+01:00 (Zurich)
ISBN/EAN: 9783540002253

ISBN - Autres types d'écriture:
3-540-00225-1, 978-3-540-00225-3
Autres types d'écriture et termes associés:
Auteur du livre: agrawal, manin, anil seth, anil aggrawal, mike miller
Titre du livre: tcs for ever, foundations software technology and theoretical computer science, lecture notes computer science, computer science 1st edition ebook


Données de l'éditeur

Auteur: Manindra Agrawal; Anil Seth
Titre: Lecture Notes in Computer Science; FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
Editeur: Springer; Springer Berlin
368 Pages
Date de parution: 2002-11-29
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 368 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Approximation; Computer Science Logic; Computing Theory; Formal Methods; Mathematical Logic; Optimization; Program Semantics; Programming Calculi; Programming Theory; Theoretical Computer Science; algorithmics; computer; computer science; programming; algorithm analysis and problem complexity; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Algorithms; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; EA

Invited Papers.- Primality Testing with Gaussian Periods.- From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple.- Encoding Generic Judgments.- Model Checking Algol-Like Languages Using Game Semantics.- Modeling Software: From Theory to Practice.- Contributed Papers.- Local Normal Forms for Logics over Traces.- On the Hardness of Constructing Minimal 2-Connected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality.- Communication Interference in Mobile Boxed Ambients.- The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.- Composing Strand Spaces.- Generalising Automaticity to Modal Properties of Finite Structures.- An Automata-Theoretic Approach to Constraint LTL.- Hardness Results for Multicast Cost Sharing.- How to Compose Presburger-Accelerations: Applications to Broadcast Protocols.- State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences.- Algorithmic Combinatorics Based on Slicing Posets.- Pattern Matching for Arc-Annotated Sequences.- Knowledge over Dense Flows of Time (from a Hybrid Point of View).- The Complexity of the Inertia.- The Quantum Communication Complexity of the Pointer Chasing Problem: The Bit Version.- The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures.- Deciding the First Level of the ?-Calculus Alternation Hierarchy.- Dynamic Message Sequence Charts.- The Complexity of Compositions of Deterministic Tree Transducers.- On the Hardness of Approximating Minimum Monopoly Problems.- Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems.- Lower Bounds for Embedding Graphs into Graphs of Smaller Characteristic.- Nearest Neighbors Search Using Point Location in Balls with Applications toApproximate Voronoi Decompositions.- Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases.- Decomposition in Asynchronous Circuit Design.- Queue Layouts, Tree-Width, and Three-Dimensional Graph Drawing.
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...