Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - Taschenbuch
1990, ISBN: 3540534873
[EAN: 9783540534877], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. AUTOMAT; PROCESSING; ALGORITHM; ALGORITHMS; AUTOMATA; COMPLEXITY; COM… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
1990, ISBN: 3540534873
[EAN: 9783540534877], Neubuch, [PU: Springer Berlin Heidelberg Dez 1990], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. AUTOMAT; PROCESSING; ALGORITHM; ALGORITHMS; AUTOMATA; COMPLE… Mehr…
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540534877
This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer s… Mehr…
Springer.com Nr. 978-3-540-53487-7. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - neues Buch
1990, ISBN: 3540534873
1990 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, EDV / Theorie / Software-Entw. / Allgemeines, Computerprogrammierung und Softwareentwicklung, Software Engineering… 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 : tenth conference, Bangalore, India, December 17 - 19, 1990 ; proceedings / FST and TCS 10. K. V. Nori ; C. E. Veni Madhavan (ed.) / Lecture notes in computer science ; 472 - Taschenbuch
1990, ISBN: 3540534873
[EAN: 9783540534877], [PU: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona : Springer], INFORMATIK ; KONGRESS BANGALORE, X, 420 p. Unread book. Very good c… Mehr…
AbeBooks.de Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany [1047880] [Rating: 5 (von 5)] Versandkosten: EUR 2.50 Details... |
Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - Taschenbuch
1990, ISBN: 3540534873
[EAN: 9783540534877], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. AUTOMAT; PROCESSING; ALGORITHM; ALGORITHMS; AUTOMATA; COMPLEXITY; COM… Mehr…
C. E. Veni Madhavan:
Foundations of Software Technology and Theoretical Computer Science - Taschenbuch1990, ISBN: 3540534873
[EAN: 9783540534877], Neubuch, [PU: Springer Berlin Heidelberg Dez 1990], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. AUTOMAT; PROCESSING; ALGORITHM; ALGORITHMS; AUTOMATA; COMPLE… Mehr…
ISBN: 9783540534877
This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer s… Mehr…
Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - neues Buch
1990, ISBN: 3540534873
1990 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, EDV / Theorie / Software-Entw. / Allgemeines, Computerprogrammierung und Softwareentwicklung, Software Engineering… Mehr…
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17 - 19, 1990 ; proceedings / FST and TCS 10. K. V. Nori ; C. E. Veni Madhavan (ed.) / Lecture notes in computer science ; 472 - Taschenbuch
1990, ISBN: 3540534873
[EAN: 9783540534877], [PU: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona : Springer], INFORMATIK ; KONGRESS BANGALORE, X, 420 p. Unread book. Very good c… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540534877
ISBN (ISBN-10): 3540534873
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1990
Herausgeber: Springer Berlin
420 Seiten
Gewicht: 0,655 kg
Buch in der Datenbank seit 2007-05-04T23:35:35+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-13T15:43:23+01:00 (Zurich)
ISBN/EAN: 9783540534877
ISBN - alternative Schreibweisen:
3-540-53487-3, 978-3-540-53487-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: war 1990, bangalore, foundations software technology and theoretical computer science, foundation, proceedings all india
Daten vom Verlag:
Autor/in: Kesav V. Nori; C.E. Veni Madhavan
Titel: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Verlag: Springer; Springer Berlin
424 Seiten
Erscheinungsjahr: 1990-12-05
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 424 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; Processing; algorithm; algorithms; automata; complexity; complexity theory; computer; computer science; distributed computing; formal language; formal languages; logic; programming; semantics; algorithm analysis and problem complexity; Theory of Computation; Software Engineering; Programming Techniques; Algorithms; Computer Science Logic and Foundations of Programming; Software Engineering; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; EA
Reasoning about linear constraints using parametric queries.- Discriminant circumscription.- Complexity of algebraic specifications.- A new method for undecidability proofs of first order theories.- Generating plans in linear logic.- Automata-theoretic techniques for image generation and compression.- Recognizable infinite tree sets and their complexity.- The expressibility of nondeterministic auxiliary stack automata and its relation to treesize bounded alternating auxiliary pushdown automata.- Towards constructive program derivation in VDM.- A new method for proving termination of AC-rewrite systems.- Efficient parallel algorithms for optical computing with the DFT primitive.- The power of collision: Randomized parallel algorithms for chaining and integer sorting.- Fast parallel algorithms for cographs.- Optimally representing euclidean space discretely for analogically simulating physical phenomena.- Optimal parallel algorithms for testing isomorphism of trees and outerplanar graphs.- Randomized parallel selection.- A fast parallel algorithm for finding a maximal bipartite set.- On the parallel evaluation of classes of circuits.- Voronoi diagrams of moving points in the plane.- Efficient algorithms for identifying all maximal isothetic empty rectangles in VLSI layout design.- On some largest empty orthoconvex polygons in a point set.- Defining process fairness for non-interleaving concurrency.- Observational logics and concurrency models.- Distributed reset.- Refinement and composition of transition-based rely-guarantee specifications with auxiliary variables.- Efficient algorithms for crash recovery in distributed systems.- A non-standard inductive semantics.- Relating full abstraction results for different programming languages.- Towards a theory of commonsense visual reasoning.- Natural language processing, complexity theory and logic.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387138831 Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science) (Editor-Mathai Joseph)
- 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)
- 9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)
- 9780387575292 Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15-17, 1993 : Proceedings (R. K. Shyamasundar)
- FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science. 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. (Hariharan, Ramesh et al. (Eds.))
< zum Archiv...