- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 78,64, Mittelwert: € 62,92
1
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Manindra Agrawal; Anil Seth
Bestellen
bei Springer.com
€ 64,19
Versand: € 0,001
Bestellengesponserter Link
Manindra Agrawal; Anil Seth:

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

2002, ISBN: 9783540362067

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…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
2
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Manindra Agrawal; Anil Seth
Bestellen
bei Springer.com
€ 63,06
Bestellengesponserter Link

Manindra Agrawal; Anil Seth:

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

2002, ISBN: 9783540362067

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…

  - new in stock. Versandkosten:zzgl. Versandkosten.
3
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Bestellen
bei Springer.com
€ 42,79
Bestellengesponserter Link
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - neues Buch

2002

ISBN: 9783540362067

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-36206-7. Versandkosten:Worldwide free shipping, , zzgl. Versandkosten.
4
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings - Ekkehart Schlicht
Bestellen
bei hive.co.uk
£ 57,79
(ca. € 65,91)
Bestellengesponserter Link
Ekkehart Schlicht:
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings - neues Buch

2002, ISBN: 9783540362067

; PDF; Computing > Computer programming / software development > Software Engineering, Springer Berlin Heidelberg

  - No. 9783540362067. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
5
Bestellen
bei lehmanns.de
€ 78,64
Versand: € 0,001
Bestellengesponserter Link
Manindra Agrawal; Anil Seth:
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - neues Buch

2003, ISBN: 9783540362067

22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2003

Versandkosten:Download sofort lieferbar. (EUR 0.00)

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

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


EAN (ISBN-13): 9783540362067
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-25T08:48:09+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-19T17:32:33+01:00 (Zurich)
ISBN/EAN: 9783540362067

ISBN - alternative Schreibweisen:
978-3-540-36206-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: anil seth, schlicht
Titel des Buches: technology technology, foundations science, computer science


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: 2003-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 368 p.

EA; E107; eBook; Nonbooks, PBS / 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; C; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Algorithms; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; BC

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