- 5 Risultati
prezzo più basso: € 48,40, prezzo più alto: € 379,55, prezzo medio: € 127,11
1
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science - Kamal Lodaya
Ordina
da BookDepository.com
€ 100,02
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Kamal Lodaya:

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

2004, ISBN: 9783540240587

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is t… Altro …

Costi di spedizione:Versandkostenfrei. (EUR 0.00)
Chiudere (X)
2
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328)
Ordina
da amazon.co.uk
£ 324,66
(indicativi € 379,55)
Spedizione: € 5,611
Ordina
Dettagli del offerente
Link sponsorizzato
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328) - edizione con copertina flessibile

2004, ISBN: 9783540240587

Editor: Lodaya, Kamal, Editor: Mahajan, Meena, Springer, Paperback, Auflage: 2005, 548 Seiten, Publiziert: 2004-12-02T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, port. … Altro …

MC - MonacoCosti di spedizione:Usually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) BookColor
Chiudere (X)
3
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328)
Ordina
da amazon.co.uk
£ 41,40
(indicativi € 48,40)
Spedizione: € 5,611
Ordina
Dettagli del offerente
Link sponsorizzato
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328) - edizione con copertina flessibile

2004

ISBN: 9783540240587

Editor: Lodaya, Kamal, Editor: Mahajan, Meena, Springer, Paperback, Auflage: 2005, 548 Seiten, Publiziert: 2004-12-02T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, port. … Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61)
Chiudere (X)
4
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... Notes in Computer Science, 3328, Band 3328) - Mahajan, Meena, Lodaya, Kamal
Ordina
da amazon.de
€ 51,98
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Mahajan, Meena, Lodaya, Kamal:
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... Notes in Computer Science, 3328, Band 3328) - edizione con copertina flessibile

2008, ISBN: 9783540240587

Springer, Taschenbuch, Auflage: 2005, 556 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, port. 1.7 kg, Informatik, IT-Ausbildung & -Berufe, … Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Chiudere (X)
5
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings - Mahajan, Meena (Herausgeber); Lodaya, Kamal (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Mahajan, Meena (Herausgeber); Lodaya, Kamal (Herausgeber):
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings - nuovo libro

2004, ISBN: 3540240586

2005 Kartoniert / Broschiert Informatik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automat; automata; automatatheory; complexity; complexitytheory; compute… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
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
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328)
Autore:
Titolo:
ISBN:

9783540240587


This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, held in Chennai, India, in December 2004.The 35 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 176 submissions. The papers address a broad variety of current issues in software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, automata theory, and theoretical computer science in general.

Informazioni dettagliate del libro - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328)


EAN (ISBN-13): 9783540240587
ISBN (ISBN-10): 3540240586
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2004
Editore: Springer
556 Pagine
Peso: 0,830 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-10-18T12:20:37+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-26T14:33:37+01:00 (Zurich)
ISBN/EAN: 9783540240587

ISBN - Stili di scrittura alternativi:
3-540-24058-6, 978-3-540-24058-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : kamal, mahajan, john reynolds
Titolo del libro: international conference computer science, foundations software technology and theoretical computer science

Dati dell'editore

Autore: Kamal Lodaya; Meena Mahajan
Titolo: Lecture Notes in Computer Science; FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science - 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
Editore: Springer; Springer Berlin
532 Pagine
Anno di pubblicazione: 2004-12-02
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 532 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Automat; automata; automata theory; complexity; complexity theory; computer; computer science; design; formal method; logic; mathematical logic; programming; algorithm analysis and problem complexity; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Algorithms; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; EA

Invited Papers.- Genome Halving Problem Revisited.- Verifying Probabilistic Procedural Programs.- Streaming Algorithms for Geometric Problems.- Toward a Grainless Semantics for Shared-Variable Concurrency.- Regular Languages, Unambiguous Concatenation and Computational Complexity.- Contributed Papers.- Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets.- On the Urgency Expressiveness.- Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages.- A Decidable Fragment of Separation Logic.- Approximate Range Searching Using Binary Space Partitions.- Representable Disjoint NP-Pairs.- Symbolic Reachability Analysis of Higher-Order Context-Free Processes.- Optimal Strategies in Priced Timed Game Automata.- A Calculus for Trust Management.- Short-Cuts on Star, Source and Planar Unfoldings.- Subdividing Alpha Complex.- Real-Counter Automata and Their Decision Problems.- Adjunct Elimination Through Games in Static Ambient Logic.- On the Bisimulation Invariant Fragment of Monadic ?1 in the Finite.- On the Complexity of Hilbert’s 17th Problem.- Who is Pointing When to Whom?.- An Almost Linear Time Approximation Algorithm for the Permanent of a Random (0-1) Matrix.- Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems.- Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS.- Minimum Weight Pseudo-Triangulations.- Join Algorithms for the Theory of Uninterpreted Functions.- No, Coreset, No Cry.- Hardness Hypotheses, Derandomization, and Circuit Complexity.- Improved Approximation Algorithms for Maximum Graph Partitioning Problems Extended Abstract.- Learning Languages from Positive Data and a Finite Number of Queries.- The Complexity of the Local Hamiltonian Problem.-Quantum and Classical Communication-Space Tradeoffs from Rectangle Bounds.- Adaptive Stabilization of Reactive Protocols.- Visibly Pushdown Games.- Refinement and Separation Contexts.- Decidability of MSO Theories of Tree Structures.- Distributed Algorithms for Coloring and Domination in Wireless Ad Hoc Networks.- Monotone Multilinear Boolean Circuits for Bipartite Perfect Matching Require Exponential Size.- Testing Geometric Convexity.- Complexity of Linear Connectivity Problems in Directed Hypergraphs.- Actively Learning to Verify Safety for FIFO Automata.- Reasoning About Game Equilibria Using Temporal Logic.- Alternation in Equational Tree Automata Modulo XOR.
< Per archiviare...