registrati

Registrati
Hai dimenticato la password?

Cronologia di ricerca
Promemoria
Collegamenti a it.eurobuch.ch
Impostazioni dei cookie

Soffiata di it.eurobuch.ch

Vendi un libro

Strumento di ricerca

Attuale

NEU: Endlose Ergebnisliste als Mitglied ein- oder ausschalten.

- 5 Risultati

prezzo più basso: € 53,74, prezzo più alto: € 106,99, prezzo medio: € 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 - edizione con copertina flessibile

1985, ISBN: 3540160426

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

[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. Costi di spedizione:Versandkostenfrei. (EUR 0.00)
Details...

(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

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 - edizione con copertina flessibile

1985, ISBN: 3540160426

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

[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. Costi di spedizione: EUR 8.81
Details...

(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

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 - edizione con copertina flessibile

1985, ISBN: 3540160426

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

[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. Costi di spedizione:Versandkostenfrei. (EUR 0.00)
Details...

(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

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

(*)

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

1985, ISBN: 3540160426

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

[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. Costi di spedizione:Versandkostenfrei. (EUR 0.00)
Details...

(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

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 - nuovo libro

1985, ISBN: 3540160426

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

Achtung-Buecher.de

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...

(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

1

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

Ordina
da AbeBooks.de

€ 53,74

Spedizione: € 0,00¹

Dettagli del offerente

Link sponsorizzato

S. N. Maheshwari:

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - edizione con copertina flessibile

1985, ISBN: 3540160426

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

[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. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Info su andamento dei prezzi

2

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

Ordina
da ZVAB.com

€ 59,51

Spedizione: € 8,81¹

Dettagli del offerente

Link sponsorizzato

S. N. Maheshwari:

Foundations of Software Technology and Theoretical Computer Science : Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - edizione con copertina flessibile

1985, ISBN: 3540160426

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

[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. Costi di spedizione: EUR 8.81 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Info su andamento dei prezzi

3

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

Ordina
da ZVAB.com

€ 59,11

Spedizione: € 0,00¹

Dettagli del offerente

Link sponsorizzato

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

1985

ISBN: 3540160426

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

[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. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Info su andamento dei prezzi

4

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

Ordina
da AbeBooks.de

€ 106,99

Spedizione: € 0,00¹

Dettagli del offerente

Link sponsorizzato

S. N. Maheshwari:
Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

1985, ISBN: 3540160426

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

[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. Costi di spedizione:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]

Info su andamento dei prezzi

5

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

Ordina
da Achtung-Buecher.de

€ 57,66

Spedizione: € 0,00¹

Dettagli del offerente

Link sponsorizzato

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

1985, ISBN: 3540160426

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

Info su andamento dei prezzi

¹Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro

Foundations of Software Technology and Theoretical Computer Science

Autore:	S. N. Maheshwari
Titolo:	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]

Informazioni dettagliate del libro - Foundations of Software Technology and Theoretical Computer Science

EAN (ISBN-13): 9783540160427
ISBN (ISBN-10): 3540160426
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1985
Editore: Springer Berlin
522 Pagine
Peso: 0,801 kg

Libro nella banca dati dal 2007-10-26T12:10:35+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-17T16:51:07+02:00 (Zurich)
ISBN/EAN: 9783540160427

ISBN - Stili di scrittura alternativi:
3-540-16042-6, 978-3-540-16042-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : maheshwari
Titolo del libro: 1985, theoretical computer science, new delhi, lecture notes computer science, software, science and technology, proceedings all india, foundations science

Dati dell'editore

Autore: S.N. Maheshwari
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
Editore: Springer; Springer Berlin
527 Pagine
Anno di pubblicazione: 1985-11-01
Berlin; Heidelberg; DE
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

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

Sviluppo dei prezzi...

< Per archiviare...