- 3 Ergebnisse
Kleinster Preis: € 71,39, größter Preis: € 73,89, Mittelwert: € 72,32
1
Foundations of Software Technology and Theoretical Computer Science - Somenath Biswas; Kesav V. Nori
Bestellen
bei Springer.com
€ 71,68
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Somenath Biswas; Kesav V. Nori:

Foundations of Software Technology and Theoretical Computer Science - neues Buch

ISBN: 9783540466123

This volume contains the proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science held in New Dehli, India December 17-19, 1991. Three… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
2
Foundations of Software Technology and Theoretical Computer Science - Somenath Biswas; Kesav V. Nori
Bestellen
bei Springer.com
€ 71,39
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Somenath Biswas; Kesav V. Nori:

Foundations of Software Technology and Theoretical Computer Science - neues Buch

ISBN: 9783540466123

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract Devices; Programming Languages, C… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Foundations of Software Technology and Theoretical Computer Science - Somenath Biswas; Kesav V. Nori
Bestellen
bei Springer.com
$ 89,00
(ca. € 73,89)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Somenath Biswas; Kesav V. Nori:
Foundations of Software Technology and Theoretical Computer Science - neues Buch

ISBN: 9783540466123

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Computation by Abstract Devices; Programming Languages, C… Mehr…

  - Versandkosten: EUR 0.00
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
Autor:
Titel:
ISBN-Nummer:

9783540466123

Detailangaben zum Buch - Foundations of Software Technology and Theoretical Computer Science


EAN (ISBN-13): 9783540466123
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-01-15T10:01:53+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-10-09T10:28:41+02:00 (Berlin)
ISBN/EAN: 9783540466123

ISBN - alternative Schreibweisen:
978-3-540-46612-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: software, technology technology, foundations science

Daten vom Verlag:

Autor/in: Somenath Biswas; Kesav V. Nori
Titel: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Verlag: Springer; Springer Berlin
425 Seiten
Erscheinungsjahr: 2005-07-13
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 425 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; algorithm; algorithms; automata; automata theory; complexity; complexity theory; computer; computer science; programming; semantics; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Computer Science; Software Engineering; Compiler und Übersetzer; BC

Program checking.- Randomizing reductions of search problems.- Time analysis, cost equivalence and program refinement.- AC-equation solving.- On the operational interpretation of complex types.- Tense logics for local reasoning in distributed systems.- Failures semantics for a simple process language with refinement.- Correctness of programs over poor signatures.- Complexity issues for vacillatory function identification.- A purely algebraic proof of McNaughton's theorem on infinite words.- The structure and complexity of minimal NFA's over a unary alphabet.- Relativised cellular automata and complexity classes.- Computing the order of a locally testable automaton.- On the structure and complexity of infinite sets with minimal perfect hash functions.- NP-hard sets and creativeness over constant time languages.- Complete problems involving boolean labelled structures and projection translations.- Is BP.? $$\\mathcal{P}$$ a probabilistic class?.- Fast stable in-place sorting with O(n) data moves.- A theorem on the approximation of set cover and vertex cover.- A fast algorithm for the principal partition of a graph.- Uniform circuits and exclusive read PRAMs.- Contracting planar graphs efficiently in parallel.- Fast deterministic selection on mesh-connected processor arrays.- Improved selection in totally monotone arrays.- Designing secure communication protocols from trust specifications.- Computing the shortest path tree in a weak visibility polygon.- Usefulness of angle-sweep over line-sweep.- Petri nets and transition systems (Abstract for an invited talk).

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)

< zum Archiv...