- 5 Ergebnisse
Kleinster Preis: € 24,46, größter Preis: € 88,97, Mittelwert: € 56,22
1
Foundations of Software Technology and Theoretical Computer Science : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - G. Sivakumar
Bestellen
bei ZVAB.com
€ 52,96
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
G. Sivakumar:

Foundations of Software Technology and Theoretical Computer Science : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Taschenbuch

1997, ISBN: 3540638768

[EAN: 9783540638766], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; ALGORIT… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Foundations of Software Technology and Theoretical Computer Science : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - G. Sivakumar
Bestellen
bei ZVAB.com
€ 59,11
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

G. Sivakumar:

Foundations of Software Technology and Theoretical Computer Science : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Taschenbuch

1997, ISBN: 3540638768

[EAN: 9783540638766], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; PROGRAMMIERSPRACHEN; ALGORIT… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
3
Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Sivakumar, G. (Herausgeber); Ramesh, S. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sivakumar, G. (Herausgeber); Ramesh, S. (Herausgeber):
Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - neues Buch

1997

ISBN: 3540638768

1997 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Diskrete Mathematik, Co… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Sivakumar, G. (Herausgeber); Ramesh, S. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 88,97
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sivakumar, G. (Herausgeber); Ramesh, S. (Herausgeber):
Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - neues Buch

1997, ISBN: 3540638768

1997 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprachen, Diskrete Mathematik, Co… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings (Lecture Notes in Computer Science) - Sivakumar, G. and S. Ramesh
Bestellen
bei Achtung-Buecher.de
€ 24,46
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sivakumar, G. and S. Ramesh:
Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 3540638768

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) getbooks GmbH, 65510 Idstein
zuklappen (X)
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
Foundations of Software Technology and Theoretical Computer Science by S. Ramesh Paperback | Indigo Chapters
Autor:
Titel:
ISBN-Nummer:

9783540638766


This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

Detailangaben zum Buch - Foundations of Software Technology and Theoretical Computer Science by S. Ramesh Paperback | Indigo Chapters


EAN (ISBN-13): 9783540638766
ISBN (ISBN-10): 3540638768
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: S. Ramesh
364 Seiten
Gewicht: 0,550 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-03-26T01:16:44+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-13T18:11:31+01:00 (Vienna)
ISBN/EAN: 9783540638766

ISBN - alternative Schreibweisen:
3-540-63876-8, 978-3-540-63876-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ramachandran, sivak, ramesh
Titel des Buches: foundation, foundations software technology and theoretical computer science, lecture notes computer science, the wonder that was india, proceedings all india, 1346 1410, 1997

Daten vom Verlag:

Autor/in: S. Ramesh; G. Sivakumar
Titel: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
Verlag: Springer; Springer Berlin
351 Seiten
Erscheinungsjahr: 1997-11-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 351 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algorithms; Automat; Bisimulation; Variable; algorithm; automata; coding theory; complexity; computer science; design; logic; petri net; semantics; simulation; verification; Theory of Computation; Software Engineering; Compilers and Interpreters; Discrete Mathematics in Computer Science; Programming Techniques; Artificial Intelligence; Software Engineering; Compiler und Übersetzer; Mathematik für Informatiker; Diskrete Mathematik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA

QSM: A general purpose shared-memory model for parallel computation.- Approximating geometric domains through topological triangulations.- Solving some discrepancy problems in NC.- Graph editing to bipartite interval graphs: Exact and asymptotic bounds.- Model checking.- Recursion versus iteration at higher-orders.- Compilation and equivalence of imperative objects.- On the expressive power of rewriting.- Mechanizing verification of arithmetic circuits: SRT division.- On the complexity of parallel implementation of logic programs.- An abductive semantics for disjunctive logic programs and its proof procedure.- Assumption-commitment in automata.- Compositional design of multitolerant repetitive byzantine agreement.- Algorithmic issues in coding theory.- Sharper results on the expressive power of generalized quantifiers.- Improved lowness results for solvable black-box group problems.- On resource-bounded measure and pseudorandomness.- Verification of open systems.- Hoare-Style compositional proof systems for reactive shared variable concurrency.- A simple characterization of stuttering bisimulation.- General refinement for high level petri nets.- Polynomial-Time Many-One reductions for Petri nets.- Computing reachability properties hidden in finite net unfoldings.
< zum Archiv...