s'inscrire

S'inscrire
Mot de passe oublié?

Historique de recherche
Liste pense-bête
Liens vers fr.eurobuch.ch
Paramètres des cookies

Conseils d'fr.eurobuch.ch

Acheter un livre

Outils de recherche

Actualités

NEU: Endlose Ergebnisliste als Mitglied ein- oder ausschalten.

Vous avez désactivé JavaScript des réglages de votre navigateur. Afin d'optimiser l'efficacité de la recherche de livres, nous vous conseillons d'activer JavaScript pour fr.eurobuch.ch

- 5 Résultats

prix le plus bas: € 53,74, prix le plus élevé: € 106,99, prix moyen: € 67,40

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - S. N. Maheshwari

(*)

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Livres de poche

1985, ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC;… Plus…

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, Druck auf Anfrage Neuware - Printed after ordering - The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices. 536 pp. Englisch, Books<

AbeBooks.de

AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - S. N. Maheshwari

(*)

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Livres de poche

1985, ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPU… Plus…

[EAN: 9783540160427], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, Druck auf Anfrage Neuware - Printed after ordering - The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices., Books<

ZVAB.com

AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK. Frais d'envoi EUR 8.81
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - S. N. Maheshwari

(*)

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Livres de poche

1985, ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUT… Plus…

[EAN: 9783540160427], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, Druck auf Anfrage Neuware - Printed after ordering - The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices., Books<

ZVAB.com

AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Foundations of Software Technology and Theoretical Computer Science - S. N. Maheshwari

(*)

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

1985, ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg Nov 1985], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTIN… Plus…

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg Nov 1985], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, This item is printed on demand - it takes 3-4 days longer - Neuware -The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices. 536 pp. Englisch, Books<

AbeBooks.de

BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Foundations of Software Technology and Theoretical Computer Science Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Maheshwari, S. N. (Herausgeber)

(*)

Maheshwari, S. N. (Herausgeber):
Foundations of Software Technology and Theoretical Computer Science Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - nouveau livre

1985, ISBN: 3540160426

1985 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Theoretische Informatik, Resolution; algorithm; algorithms; Design; distributedcomputing; logic; obje… Plus…

Achtung-Buecher.de

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...

(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

1

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - S. N. Maheshwari

Commander
sur AbeBooks.de

€ 53,74

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

S. N. Maheshwari:

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Livres de poche

1985, ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC;… Plus…

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, Druck auf Anfrage Neuware - Printed after ordering - The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices. 536 pp. Englisch, Books<

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Informations sur tendance des prix

2

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - S. N. Maheshwari

Commander
sur ZVAB.com

€ 59,51

Envoi: € 8,81¹

Détails du fournisseur

Lien sponsorisé

S. N. Maheshwari:

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Livres de poche

1985, ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPU… Plus…

[EAN: 9783540160427], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, Druck auf Anfrage Neuware - Printed after ordering - The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices., Books<

NEW BOOK. Frais d'envoi EUR 8.81 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Informations sur tendance des prix

3

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - S. N. Maheshwari

Commander
sur ZVAB.com

€ 59,11

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Livres de poche

1985

ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUT… Plus…

[EAN: 9783540160427], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, Druck auf Anfrage Neuware - Printed after ordering - The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices., Books<

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Informations sur tendance des prix

4

Foundations of Software Technology and Theoretical Computer Science - S. N. Maheshwari

Commander
sur AbeBooks.de

€ 106,99

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science - Livres de poche

1985, ISBN: 3540160426

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg Nov 1985], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTIN… Plus…

[EAN: 9783540160427], Neubuch, [PU: Springer Berlin Heidelberg Nov 1985], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; RESOLUTION; ALGORITHM; ALGORITHMS; DESIGN; DISTRIBUTEDCOMPUTING; LOGIC; OBJECT; OPTIMIZATION; PROGRAMMING; SEMANTICS; TESTING; THEOREMPROVING; THEORETICALCOMPUTERSCIENCE, This item is printed on demand - it takes 3-4 days longer - Neuware -The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[ , ¿, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices. 536 pp. Englisch, Books<

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]

Informations sur tendance des prix

5

Foundations of Software Technology and Theoretical Computer Science Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Maheshwari, S. N. (Herausgeber)

Commander
sur Achtung-Buecher.de

€ 57,66

Envoi: € 0,00¹

Détails du fournisseur

Lien sponsorisé

Maheshwari, S. N. (Herausgeber):
Foundations of Software Technology and Theoretical Computer Science Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - nouveau livre

1985, ISBN: 3540160426

1985 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Theoretische Informatik, Resolution; algorithm; algorithms; Design; distributedcomputing; logic; obje… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

Informations sur tendance des prix

¹Comme 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:	S. N. Maheshwari
Titre:	Foundations of Software Technology and Theoretical Computer Science
ISBN:	9783540160427

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings (Lecture Notes in Computer Science) [paperback] Maheshwari, S.N. [Nov 22, 1985]

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

EAN (ISBN-13): 9783540160427
ISBN (ISBN-10): 3540160426
Version reliée
Livre de poche
Date de parution: 1985
Editeur: Springer Berlin
522 Pages
Poids: 0,801 kg

Livre dans la base de données depuis 2007-10-26T12:10:35+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-04-17T16:51:07+02:00 (Zurich)
ISBN/EAN: 9783540160427

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

Données de l'éditeur

Auteur: S.N. Maheshwari
Titre: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
Editeur: Springer; Springer Berlin
527 Pages
Date de parution: 1985-11-01
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 527 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Computer; Resolution; Software; algorithm; algorithms; design; distributed computing; logic; object; optimization; programming; semantics; testing; theorem proving; theoretical computer science; Software Engineering; Computer Science Logic and Foundations of Programming; Theoretische Informatik; EA

The mathematics of programming.- Concurrent programming using actors: Exploiting large-scale parallelism.- A new class of high level programs for distributed computing systems.- A class of termination detection algorithms for distributed computations.- New protocols for the election of a leader in a ring.- Program simplification via symbolic interpretation.- PROLOG-based inductive theorem proving.- On the calling behaviour of procedures.- Approximation algorithms for planar matching.- Geometric optimization and the polynomial hierarchy.- Deriving object octree from images.- Deduction with relation matching.- Recursively defined domains and their induction principles.- Large database specifications from small views.- A decision method for temporal logic based on resolution.- A generalization of the Parikh vector for finite and infinite words.- The implication problem for functional and multivalued dependencies : An algebraic approach.- A simple characterization of database serializability.- Who needs to verify programs if you can test them.- Partial correctness semantics for CP[?, ¦, &].- A proof technique for rely/guarantee properties.- A complete proof system for SCCS with modal assertions.- Demand-driven evaluation on dataflow machine.- Design and implementation of a procedural VLSI layout system.- VLSI systems for matrix multiplication.- Parallel algorithms for solving certain classes of linear recurrences.- O(1) parallel time incremental graph algorithms.- NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching.- Fast and efficient parallel algorithms for the exact inversion of integer matrices.

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)

Évolution du prix...

< pour archiver...