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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Achtung-Buecher.de |
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…
G. Sivakumar:
Foundations of Software Technology and Theoretical Computer Science : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Taschenbuch1997, 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…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Zurich)
Detailseite zuletzt geändert am 2023-12-13T18:11:31+01:00 (Zurich)
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387160429 Foundations of Software Technology and Theoretical Computer Science (Maheshwari, S. N.)
- 9780387160429 Foundations of Software Technology and Theoretical Computer Science (Maheshwari, S. N.)
- 9780387138831 Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science) (Editor-Mathai Joseph)
- 9783540620341 Foundations of Software Technology and Theoretical Computer Science (Vijay Chandru; V. Vinay)
- 9780387534879 Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings (Lecture Notes in Computer Science) (Kesav V. Nori)
- 9780387549675 Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (S. Biswas; Editor-Kesav V. Nori)
< zum Archiv...