- 5 Risultati
prezzo più basso: € 2,49, prezzo più alto: € 2,66, prezzo medio: € 2,52
1
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Ordina
da ZVAB.com
€ 2,49
Spedizione: € 3,501
Ordina
Dettagli del offerente
Link sponsorizzato

Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile

1998, ISBN: 3540653848

[EAN: 9783540653844], Gebraucht, sehr guter Zustand, [SC: 3.5], [PU: Springer,], IT-AUSBILDUNG & -BERUFE / COMPUTER INTERNET NATURWISSENSCHAFTEN TECHNIK KATEGORIEN, 369 Seiten Gepflegtes … Altro …

NOT NEW BOOK. Costi di spedizione: EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
Chiudere (X)
2
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Ordina
da ZVAB.com
€ 2,49
Spedizione: € 3,501
Ordina
Dettagli del offerente
Link sponsorizzato
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile

1998, ISBN: 3540653848

[EAN: 9783540653844], Gebraucht, sehr guter Zustand, [SC: 3.5], [PU: Springer], IT-AUSBILDUNG & -BERUFE / COMPUTER INTERNET NATURWISSENSCHAFTEN TECHNIK KATEGORIEN, 369 Seiten Gepflegtes e… Altro …

NOT NEW BOOK. Costi di spedizione: EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
Chiudere (X)
3
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Ordina
da AbeBooks.de
€ 2,49
Spedizione: € 3,501
Ordina
Dettagli del offerente
Link sponsorizzato
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile

1998

ISBN: 3540653848

[EAN: 9783540653844], Gebraucht, sehr guter Zustand, [PU: Springer], IT-AUSBILDUNG & -BERUFE / COMPUTER INTERNET NATURWISSENSCHAFTEN TECHNIK KATEGORIEN, 369 Seiten Gepflegtes ehemaliges B… Altro …

NOT NEW BOOK. Costi di spedizione: EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
Chiudere (X)
4
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science)
Ordina
da buchfreund.de
€ 2,49
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile

1998, ISBN: 9783540653844

369 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstkle… Altro …

Costi di spedizione:Versandkosten innerhalb der BRD. (EUR 3.00) getbooks GmbH, 65520 Idstein
Chiudere (X)
5
Ordina
da Biblio.co.uk
$ 3,00
(indicativi € 2,66)
Spedizione: € 19,511
Ordina
Dettagli del offerente
Link sponsorizzato
V. Arvind, R. Ramanujam:
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings (v. 1530) - edizione con copertina flessibile

1998, ISBN: 9783540653844

Springer-Verlag Telos, 1999. 366 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for … Altro …

Costi di spedizione: EUR 19.51 Zubal Books
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
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings: v. 1530 (Lecture Notes in Computer Science)
Autore:
Titolo:
ISBN:

9783540653844


This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998.The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.

Informazioni dettagliate del libro - Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings: v. 1530 (Lecture Notes in Computer Science)


EAN (ISBN-13): 9783540653844
ISBN (ISBN-10): 3540653848
Copertina flessibile
Anno di pubblicazione: 1998
Editore: Springer,

Libro nella banca dati dal 2008-04-26T00:06:40+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2022-10-07T19:29:45+02:00 (Zurich)
ISBN/EAN: 9783540653844

ISBN - Stili di scrittura alternativi:
3-540-65384-8, 978-3-540-65384-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : dan appleman, chennai india, ramanujam
Titolo del libro: foundations software technology and theoretical computer science, lecture notes computer science, foundation, conference proceedings, india

Dati dell'editore

Autore: V. Arvind; R. Ramanujam
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 18th Conference, Chennai, India, December 17-19, 1998, Proceedings
Editore: Springer; Springer Berlin
369 Pagine
Anno di pubblicazione: 1998-11-25
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 0,500 kg
Lingua: Inglese
85,59 € (DE)
87,99 € (AT)
106,60 CHF (CH)
Not available, publisher indicates OP

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Informatik; Verstehen; algorithms; software; semantics; Program Semantics; formal methods; computer science; software engineering; logic; Mathematica; mathematical logic; theoretical computer science; C; Theory of Computation; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Discrete Mathematics in Computer Science; Theoretische Informatik; Software Engineering; Programmier- und Skriptsprachen, allgemein; Compiler und Übersetzer; Diskrete Mathematik; Mathematik für Informatiker; EA

Invited Talk 1.- Descriptive Complexity and Model Checking.- Session 1(a).- Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem.- A Hamiltonian Approach to the Assignment of Non-reusable Frequencies.- Session 1(b).- Deadlock Sensitive Types for Lambda Calculus with Resources.- On encoding p? in m?.- Session 2(a).- Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets.- Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling.- Session 2(b).- A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.- Testing Theories for Asynchronous Languages.- Invited Talk 2.- Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation.- Session 3.- Optimal Regular Tree Pattern Matching Using Pushdown Automata.- Locating Matches of Tree Patterns in Forests.- Session 4.- Benefits of Tree Transducers for Optimizing Functional Programs.- Implementable Failure Detectors in Asynchronous Systems.- Invited Talk 3.- BRICS and Quantum Information Processing.- Session 5(a).- Martingales and Locality in Distributed Computing.- Space Efficient Suffix Trees.- Session 5(b).- Formal Verification of an O.S. Submodule.- Infinite Probabilistic and Nonprobabilistic Testing.- Session 6(a).- On Generating Strong Elimination Orderings of Strongly Chordal Graphs.- A Parallel Approximation Algorithm for Minimum Weight Triangulation.- Session 6(b).- The Power of Reachability Testing for Timed Automata.- Recursive Mean-Value Calculus.- Invited Talk 4.- Efficient Formal Verification of Hierarchical Descriptions.- Invited Talk 5.- Proof Rules for Model Checking Systems with Data.- Session 7.- Partial Order Reductions for Bisimulation Checking.- First-Order-CTL Model Checking.- Session 8(a).- On the Complexity of Counting the Number of Vertices Moved by Graph Automorphisms.- Remarks on Graph Complexity.- Session 8(b).- On the Confluence of Trace Rewriting Systems.- A String-Rewriting Characterization of Muller and Schupp’s Context-Free Graphs.- Session 9.- Different Types of Monotonicity for Restarting Automata.- A Kleene Iteration for Parallelism.- Invited Talk 6.- Quantum Computation and Information.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)

< Per archiviare...