- 5 Résultats
prix le plus bas: € 11,00, prix le plus élevé: € 96,49, prix moyen: € 46,09
1
Foundations of Software Technology and Theoretical Computer Science
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé

Foundations of Software Technology and Theoretical Computer Science - nouveau livre

ISBN: 9783540505174

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-50517-4. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
2
Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. Lecture notes in computer science ; Vol. 338. - Nori, Kesav V. and Sanjeev Kumar,
Commander
sur AbeBooks.de
€ 11,00
Envoi: € 3,001
CommanderLien sponsorisé

Nori, Kesav V. and Sanjeev Kumar,:

Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. Lecture notes in computer science ; Vol. 338. - Livres de poche

1988, ISBN: 3540505172

[EAN: 9783540505174], [PU: Springer Berlin], ALGORITHMS,THEOREM PROVING,AUTOMATA,PROGRAMMING,FORMAL LANGUAGE,SEMANTICS,KNOWLEDGE BASE,VARIABLE,PROCESSING,COMPUTER,DISTRIBUTED COMPUTING,RE… Plus…

Frais d'envoi EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
3
Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings.  Lecture notes in computer science ; Vol. 338. - Nori, Kesav V. and Sanjeev Kumar,
Commander
sur Achtung-Buecher.de
€ 16,00
Envoi: € 0,001
CommanderLien sponsorisé
Nori, Kesav V. and Sanjeev Kumar,:
Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. Lecture notes in computer science ; Vol. 338. - livre d'occasion

1988

ISBN: 3540505172

528 pages Unbekannter Einband Ex-Library book in very good condition. 9783540505174 Algorithms,theorem proving,automata,programming,formal language,semantics,knowledge base,Variable,Proce… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
4
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori/ Sanjeev Kumar
Commander
sur Hugendubel.de
€ 96,49
Envoi: € 0,001
CommanderLien sponsorisé
Kesav V. Nori/ Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

ISBN: 9783540505174

Foundations of Software Technology and Theoretical Computer Science ab 96.49 € als Taschenbuch: Eighth Conference Pune India December 21-23 1988. Proceedings. Auflage 1988. Aus dem Bereic… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori/ Sanjeev Kumar
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 3,951
CommanderLien sponsorisé
Kesav V. Nori/ Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

ISBN: 9783540505174

*Foundations of Software Technology and Theoretical Computer Science* - Eighth Conference Pune India December 21-23 1988. Proceedings. Auflage 1988 / Taschenbuch für 53.49 € / Aus dem Ber… Plus…

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95)

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

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 internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.

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


EAN (ISBN-13): 9783540505174
ISBN (ISBN-10): 3540505172
Version reliée
Livre de poche
Date de parution: 1988
Editeur: Springer Berlin Heidelberg
520 Pages
Poids: 0,801 kg

Livre dans la base de données depuis 2007-05-16T03:21:47+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-01-18T14:06:02+01:00 (Zurich)
ISBN/EAN: 3540505172

ISBN - Autres types d'écriture:
3-540-50517-2, 978-3-540-50517-4
Autres types d'écriture et termes associés:
Auteur du livre: sanjeev kumar
Titre du livre: nori, 1988, lecture notes computer science, foundations software technology and theoretical computer science, foundation, the science and technology the, proceedings all india


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: 1988-11-17
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 1,640 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 528 p.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / 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; Computer System Implementation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering; Logics and Meanings of Programs; Software Engineering; Computer System Implementation; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Systemanalyse und -design; Theoretische Informatik; Algorithmen und Datenstrukturen; EA

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