- 4 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 82,19, Mittelwert: € 67,35
1
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Bestellen
bei Springer.com
CHF 74,89
(ca. € 69,45)
Bestellen
Details und Versand
gesponserter Link
Kesav V. Nori; Sanjeev Kumar:

Foundations of Software Technology and Theoretical Computer Science - neues Buch

ISBN: 9783540460305

This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This intern… Mehr…

new in stock CH:::0.00 EUR. Versandkosten:spese di spedizione aggiuntive., zzgl. Versandkosten
zuklappen (X)
2
Foundations of Software Technology and Theoretical Computer Science
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Technology and Theoretical Computer Science - neues Buch

ISBN: 9783540460305

This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This intern… Mehr…

Nr. 978-3-540-46030-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (X)
3
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Bestellen
bei Springer.com
€ 74,96
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Kesav V. Nori; Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - neues Buch

ISBN: 9783540460305

Computer Science; Software Engineering/Programming and Operating Systems; Computer System Implementation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Softw… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
4
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Bestellen
bei Springer.com
$ 99,00
(ca. € 82,19)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Kesav V. Nori; Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - neues Buch

ISBN: 9783540460305

Computer Science; Software Engineering/Programming and Operating Systems; Computer System Implementation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Softw… 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:

9783540460305

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


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

Buch in der Datenbank seit 2017-01-15T10:01:52+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-31T10:32:34+02:00 (Zurich)
ISBN/EAN: 9783540460305

ISBN - alternative Schreibweisen:
978-3-540-46030-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sanjeev kumar
Titel des Buches: software, technology technology, foundations science

Daten vom Verlag:

Autor/in: Kesav V. Nori; Sanjeev Kumar
Titel: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
Verlag: Springer; Springer Berlin
528 Seiten
Erscheinungsjahr: 2005-06-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 528 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Automat; Processing; Resolution; Variable; automata; complexity; computer; distributed computing; formal language; knowledge base; programming; proving; semantics; theorem proving; algorithm analysis and problem complexity; C; Software Engineering; Computer System Implementation; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Computer Science; Systemanalyse und -design; Theoretische Informatik; Algorithmen und Datenstrukturen; BC

Planar point location revisited (A guided tour of a decade of research).- Computing a viewpoint of a set of points inside a polygon.- Analysis of preflow push algorithms for maximum network flow.- A new linear algorithm for the two path problem on chordal graphs.- Extending planar graph algorithms to K 3,3-free graphs.- Constant-space string-matching.- Inherent nonslicibility of rectangular duals in VLSI floorplanning.- Path planning with local information.- Linear broadcast routing.- Predicting deadlock in store-and-forward networks.- On parallel sorting and addition with concurrent writes.- An optimal parallel algorithm for sorting presorted files.- Superlinear speedup in parallel state-space search.- Circuit definitions of nondeterministic complexity classes.- Non-uniform proof systems: A new framework to describe non-uniform and probabilistic complexity classes.- Padding, commitment and self-reducibility.- The complexity of a counting finite-state automaton.- A hierarchy theorem for pram-based complexity classes.- A natural deduction treatment of operational semantics.- Uniformly applicative structures, a theory of computability and polyadic functions.- A proof technique for register atomicity.- Relation level semantics.- A constructive set theory for program development.- McCarthy's amb cannot implement fair merge.- GHC — A language for a new age of parallel programming.- Accumulators: New logic variable abstractions for functional languages.- A resolution rule for well-formed formulae.- Algebraic and operational semantics of positive/negative conditional algebraic specifications.- Semi-unification.- A method to check knowledge base consistency.- Knowledgebases as structured theories.- On functional independencies.- A generic algorithm for transaction processingduring network partitioning.

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...