- 5 Résultats
prix le plus bas: € 8,89, prix le plus élevé: € 93,08, prix moyen: € 52,69
1
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings Somenath Bis
Commander
sur BarnesandNoble.com
€ 54,99
Commander
Détails et expédition
Lien sponsorisé

Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings Somenath Bis - nouveau livre

ISBN: 9783540549673

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

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
2
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings (Lecture Notes in Computer Science) - V. Nori, Kesav and Somenath Biswas
Commander
sur AbeBooks.de
€ 8,89
Envoi: € 3,501
Commander
Détails du fournisseur
Lien sponsorisé

V. Nori, Kesav and Somenath Biswas:

Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings (Lecture Notes in Computer Science) - Livres de poche

2008, ISBN: 3540549676

[EAN: 9783540549673], Gebraucht, sehr guter Zustand, [PU: Springer], GRAFIK & MULTIMEDIA / IT-AUSBILDUNG -BERUFE COMPUTER INTERNET INFORMATIK NATURWISSENSCHAFTEN TECHNIK PROGRAMMIEREN SOF… Plus…

NOT NEW BOOK. Frais d'envoi EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 4 (von 5)]
fermer(X)
3
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings (Lecture Notes in Computer Science) - V. Nori, Kesav and Somenath Biswas
Commander
sur Achtung-Buecher.de
€ 13,39
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
V. Nori, Kesav and Somenath Biswas:
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings (Lecture Notes in Computer Science) - Livres de poche

2008

ISBN: 3540549676

Taschenbuch 436 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) getbooks GmbH, 65510 Idstein
fermer(X)
4
Foundations of Software Technology and Theoretical Computer Science - Somenath Biswas; Kesav V. Nori
Commander
sur Springer.com
€ 93,08
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Somenath Biswas; Kesav V. Nori:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

ISBN: 9783540549673

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

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
fermer(X)
5
Foundations of Software Technology and Theoretical Computer Science - Somenath Biswas; Kesav V. Nori
Commander
sur lehmanns.de
€ 93,08
Envoi: € 9,951
Commander
Détails du fournisseur
Lien sponsorisé
Somenath Biswas; Kesav V. Nori:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

1991, ISBN: 9783540549673

11th Conference, New Delhi, India, December 17-19, 1991. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1991

Frais d'envoiVersand in 10-14 Tagen. (EUR 9.95)
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: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings Somenath Bis
Auteur:
Titre:
ISBN:

9783540549673


This volume contains the proceedings of the EleventhConference on Foundations of Software Technology andTheoretical Computer Science held in New Dehli, IndiaDecember 17-19, 1991. Three invited papers and 25contributed papers selected from 78 submissions by authorsfrom many different countries reflect the current researchconcerns of the theoreticalcomputer science community. Thetopics covered include:-Algorithms (sequential, parallel and geometric)-Automata theory-Functional programming-Learning-Logic of programs-Semantics-Structural complexity theory-Type theory.

Informations détaillées sur le livre - Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings Somenath Bis


EAN (ISBN-13): 9783540549673
ISBN (ISBN-10): 3540549676
Version reliée
Livre de poche
Date de parution: 1991
Editeur: Springer Berlin Heidelberg Core >1 >T
420 Pages
Poids: 0,655 kg

Livre dans la base de données depuis 2007-06-04T19:37:40+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-04-04T04:33:27+02:00 (Zurich)
ISBN/EAN: 9783540549673

ISBN - Autres types d'écriture:
3-540-54967-6, 978-3-540-54967-3
Autres types d'écriture et termes associés:
Auteur du livre: lang
Titre du livre: 1991, new delhi, foundations software technology and theoretical computer science, foundation, lecture notes computer science, the science and technology the, proceedings all india

Données de l'éditeur

Auteur: Somenath Biswas; Kesav V. Nori
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Editeur: Springer; Springer Berlin
425 Pages
Date de parution: 1991-11-27
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 425 p.

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

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

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)

< pour archiver...