- 5 Risultati
prezzo più basso: € 15,36, prezzo più alto: € 53,49, prezzo medio: € 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
Ordina
da ZVAB.com
€ 52,46
Spedizione: € 0,001
OrdinaLink sponsorizzato
Anil Seth:

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

2002, ISBN: 3540002251

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

NEW BOOK. Costi di spedizione: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
Ordina
da booklooker.de
€ 53,49
Spedizione: € 2,701
OrdinaLink sponsorizzato

Anil Seth:

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

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

Costi di spedizione:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
3
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - nuovo libro

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

Nr. 978-3-540-00225-3. Costi di spedizione:Worldwide free shipping, , plus shipping costs. (EUR 0.00)
4
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 3,951
OrdinaLink sponsorizzato
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

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

Costi di spedizione: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)
Ordina
da VitalSource.com
$ 16,50
(indicativi € 15,36)
OrdinaLink sponsorizzato
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - 1st Edition (eBook Rental) - nuovo libro

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

new in stock United States. Costi di spedizione:plus shipping costs., Costi di spedizione aggiuntivi

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
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.

Informazioni dettagliate del libro - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science


EAN (ISBN-13): 9783540002253
ISBN (ISBN-10): 3540002251
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2003
Editore: Springer Berlin Heidelberg
361 Pagine
Peso: 0,573 kg

Libro nella banca dati dal 2007-01-03T16:48:02+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-19T17:32:33+01:00 (Zurich)
ISBN/EAN: 9783540002253

ISBN - Stili di scrittura alternativi:
3-540-00225-1, 978-3-540-00225-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : agrawal, manin, anil seth, anil aggrawal, mike miller
Titolo del libro: tcs for ever, foundations software technology and theoretical computer science, lecture notes computer science, computer science 1st edition ebook


Dati dell'editore

Autore: Manindra Agrawal; Anil Seth
Titolo: 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
Editore: Springer; Springer Berlin
368 Pagine
Anno di pubblicazione: 2002-11-29
Berlin; Heidelberg; DE
Lingua: Inglese
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

Altri libri che potrebbero essere simili a questo:

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


< Per archiviare...