- 5 Résultats
prix le plus bas: € 80,95, prix le plus élevé: € 116,69, prix moyen: € 98,39
1
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Procee
Commander
sur Indigo.ca
C$ 167,95
(environ € 116,69)
CommanderLien sponsorisé

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Procee - nouveau livre

ISBN: 9783540186250

Algebraic operational semantics.- On ambiguity of DTOL systems.- The equivalence problem for n-tape finite automata with simple cycles.- Relating the degree of ambiguity of finite automat… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
2
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Procee
Commander
sur Indigo.ca
C$ 167,95
(environ € 113,89)
CommanderLien sponsorisé
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Procee - nouveau livre

ISBN: 9783540186250

Algebraic operational semantics.- On ambiguity of DTOL systems.- The equivalence problem for n-tape finite automata with simple cycles.- Relating the degree of ambiguity of finite automat… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Foundations of Software Technology and Theoretical Computer Science - Nori, Kesav V.
Commander
sur AbeBooks.de
€ 84,15
Envoi: € 0,001
CommanderLien sponsorisé
Nori, Kesav V.:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

1987

ISBN: 3540186255

[EAN: 9783540186250], Neubuch, [PU: Springer Berlin Heidelberg], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI MATHEMATIK ALGORITHMS AUTOMA… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
4
Foundations of Software Technology and Theoretical Computer Science - Nori, Kesav V.
Commander
sur booklooker.de
€ 80,95
Envoi: € 0,001
CommanderLien sponsorisé
Nori, Kesav V.:
Foundations of Software Technology and Theoretical Computer Science - Première édition

1987, ISBN: 9783540186250

Livres de poche

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algebraic operational sem… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori
Commander
sur lehmanns.de
€ 96,29
Envoi: € 0,001
CommanderLien sponsorisé
Kesav V. Nori:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

1987, ISBN: 9783540186250

Seventh Conference, Pune, India, December 17-19, 1987. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1987

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)

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

BContents:/B Automata and Formal Languages.- Graph Algorithms & Geometric Algorithms.- Distributed Computing.- Parallel Algorithms.- Database Theory.- Logic Programming.- Programming Methodology.- Theory of Algorithms.- Software Technology.- Index of Authors.

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


EAN (ISBN-13): 9783540186250
ISBN (ISBN-10): 3540186255
Version reliée
Livre de poche
Date de parution: 1987
Editeur: Springer Berlin
556 Pages
Poids: 0,830 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-04-17T00:51:36+02:00 (Zurich)
Page de détail modifiée en dernier sur 2022-05-18T11:33:15+02:00 (Zurich)
ISBN/EAN: 9783540186250

ISBN - Autres types d'écriture:
3-540-18625-5, 978-3-540-18625-0
Autres types d'écriture et termes associés:
Auteur du livre: goos
Titre du livre: lecture notes, war 1987, nori, 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
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
Editeur: Springer; Springer Berlin
541 Pages
Date de parution: 1987-11-25
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 1,700 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
IX, 541 p.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Automat; algorithm; automata; computer; distributed computing; formal language; logic; programming; algorithm analysis and problem complexity; Computer System Implementation; Software Engineering; Programming Techniques; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Software Engineering; Computer System Implementation; Programming Techniques; Algorithms; Theory of Computation; Systemanalyse und -design; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; Theoretische Informatik; EA

Algebraic operational semantics.- On ambiguity of DTOL systems.- The equivalence problem for n-tape finite automata with simple cycles.- Relating the degree of ambiguity of finite automata to the succinctness of their representation.- Automata, games, and positive monadic theories of trees.- An algorithm for colouring perfect planar graphs.- Efficient algorithms for domination and Hamilton circuit problems on permutation graphs.- Fast parallel algorithms for the subgraph homeomorphism and the subgraph isomorphism problem for classes of planar graphs.- Improved bounds for covering general polygons with rectangles.- Submodule construction as equation solving in CCS.- Computations in undistinguished networks.- A distributed algorithm to implement n-party rendezvous.- Merge and termination in process algebra.- Parallelism and programming: A perspective.- On optimal parallelization of sorting networks.- Parallel algorithms for approximate edge colouring of simple graphs.- An optimal randomized routing algorithm for the Mesh and a class of efficient Mesh-like routing networks.- An O(n2) algorithm for fan-out free query optimization.- Weak consistency of read-only transactions: A tool to improve concurrency in heterogeneous locking protocols.- Optimizing join queries in distributed databases.- Reasoning in systems of equations and inequations.- Specification=program+types.- Paraconsistent logic programming.- Semantics of distributed Horn clause programs.- The calculus of constructions : State of the art.- Modules for re-use.- Hierarchical refinement of A Z specification.- Lazy pattern matching in the ML language.- Program development using lambda abstraction.- Relativized Arthur-Merlin versus Merlin-Arthur games.- Probabilistic quantifiers vs. distrustful adversaries.- On certain bandwidth restricted versions of the satisfiability problem of propositional CNF formulas.- A look-ahead interpreter for sequential Prolog and its implementation.- Extension of weakest precondition formalism to a low level language.- Retrospection on the PQCC compiler structure.- Some recent applications of knowledge.

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