- 4 Résultats
prix le plus bas: € 42,79, prix le plus élevé: € 82,19, prix moyen: € 67,35
1
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Commander
sur Springer.com
CHF 74,89
(environ € 69,45)
Commander
Détails et expédition
Lien sponsorisé
Kesav V. Nori; Sanjeev Kumar:

Foundations of Software Technology and Theoretical Computer Science - nouveau livre

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… Plus…

new in stock CH:::0.00 EUR. Frais d'envoispese di spedizione aggiuntive., Livraison non-comprise
fermer(X)
2
Foundations of Software Technology and Theoretical Computer Science
Commander
sur Springer.com
€ 42,79
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Foundations of Software Technology and Theoretical Computer Science - nouveau livre

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… Plus…

Nr. 978-3-540-46030-5. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
fermer(X)
3
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Commander
sur Springer.com
€ 74,96
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Kesav V. Nori; Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540460305

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

  - Frais d'envoi EUR 0.00
fermer(X)
4
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Commander
sur Springer.com
$ 99,00
(environ € 82,19)
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Kesav V. Nori; Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540460305

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

  - Frais d'envoi EUR 0.00
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Foundations of Software Technology and Theoretical Computer Science
Auteur:
Titre:
ISBN:

9783540460305

Informations détaillées sur le livre - Foundations of Software Technology and Theoretical Computer Science


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

Livre dans la base de données depuis 2017-01-15T10:01:52+01:00 (Zurich)
Page de détail modifiée en dernier sur 2024-03-31T10:32:34+02:00 (Zurich)
ISBN/EAN: 9783540460305

ISBN - Autres types d'écriture:
978-3-540-46030-5
Autres types d'écriture et termes associés:
Auteur du livre: sanjeev kumar
Titre du livre: software, technology technology, foundations science

Données de l'éditeur

Auteur: Kesav V. Nori; Sanjeev Kumar
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
Editeur: Springer; Springer Berlin
528 Pages
Date de parution: 2005-06-30
Berlin; Heidelberg; DE
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)

< pour archiver...