- 5 Ergebnisse
Kleinster Preis: € 15,36, größter Preis: € 53,49, Mittelwert: € 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
Bestellen
bei ZVAB.com
€ 52,46
Versand: € 0,001
Bestellengesponserter Link
Anil Seth:

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

2002, ISBN: 3540002251

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

NEW BOOK. Versandkosten:Versandkostenfrei. (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
Bestellen
bei booklooker.de
€ 53,49
Versand: € 2,701
Bestellengesponserter Link

Anil Seth:

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Taschenbuch

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

Versandkosten:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
3
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - neues Buch

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

Nr. 978-3-540-00225-3. Versandkosten:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
4
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 3,951
Bestellengesponserter Link
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Taschenbuch

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 € … Mehr…

Versandkosten:Shipping 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)
Bestellen
bei VitalSource.com
$ 16,50
(ca. € 15,36)
Bestellengesponserter Link
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - 1st Edition (eBook Rental) - neues Buch

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

new in stock United States. Versandkosten:plus shipping costs., zzgl. Versandkosten

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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.

Detailangaben zum Buch - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science


EAN (ISBN-13): 9783540002253
ISBN (ISBN-10): 3540002251
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
361 Seiten
Gewicht: 0,573 kg

Buch in der Datenbank seit 2007-01-03T16:48:02+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-19T17:32:33+01:00 (Zurich)
ISBN/EAN: 9783540002253

ISBN - alternative Schreibweisen:
3-540-00225-1, 978-3-540-00225-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: agrawal, manin, anil seth, anil aggrawal, mike miller
Titel des Buches: tcs for ever, foundations software technology and theoretical computer science, lecture notes computer science, computer science 1st edition ebook


Daten vom Verlag:

Autor/in: Manindra Agrawal; Anil Seth
Titel: 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
Verlag: Springer; Springer Berlin
368 Seiten
Erscheinungsjahr: 2002-11-29
Berlin; Heidelberg; DE
Sprache: Englisch
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

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)


< zum Archiv...