- 5 Risultati
prezzo più basso: € 10,30, prezzo più alto: € 93,08, prezzo medio: € 53,24
1
Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - C. E. Veni Madhavan
Ordina
da AbeBooks.de
€ 53,74
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
C. E. Veni Madhavan:

Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - edizione con copertina flessibile

1990, ISBN: 3540534873

[EAN: 9783540534877], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. AUTOMAT; PROCESSING; ALGORITHM; ALGORITHMS; AUTOMATA; COMPLEXITY; COM… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
Foundations of Software Technology and Theoretical Computer Science - C. E. Veni Madhavan
Ordina
da AbeBooks.de
€ 93,08
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

C. E. Veni Madhavan:

Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

1990, ISBN: 3540534873

[EAN: 9783540534877], Neubuch, [PU: Springer Berlin Heidelberg Dez 1990], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. AUTOMAT; PROCESSING; ALGORITHM; ALGORITHMS; AUTOMATA; COMPLE… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
Chiudere (X)
3
Foundations of Software Technology and Theoretical Computer Science
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Foundations of Software Technology and Theoretical Computer Science - nuovo libro

ISBN: 9783540534877

This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer s… Altro …

Nr. 978-3-540-53487-7. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
4
Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - Veni Madhavan, C. E. (Herausgeber); Nori, Kesav V. (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Veni Madhavan, C. E. (Herausgeber); Nori, Kesav V. (Herausgeber):
Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings - nuovo libro

1990, ISBN: 3540534873

1990 Kartoniert / Broschiert EDV / Theorie / Informatik / Allgemeines, EDV / Theorie / Software-Entw. / Allgemeines, Computerprogrammierung und Softwareentwicklung, Software Engineering… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
5
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17 - 19, 1990 ; proceedings / FST and TCS 10. K. V. Nori ; C. E. Veni Madhavan (ed.) / Lecture notes in computer science ; 472 - Nori, Kesav V. und Veni Madhavan C.E.
Ordina
da AbeBooks.de
€ 10,30
Spedizione: € 2,501
Ordina
Dettagli del offerente
Link sponsorizzato
Nori, Kesav V. und Veni Madhavan C.E.:
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17 - 19, 1990 ; proceedings / FST and TCS 10. K. V. Nori ; C. E. Veni Madhavan (ed.) / Lecture notes in computer science ; 472 - edizione con copertina flessibile

1990, ISBN: 3540534873

[EAN: 9783540534877], [PU: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona : Springer], INFORMATIK ; KONGRESS BANGALORE, X, 420 p. Unread book. Very good c… Altro …

Costi di spedizione: EUR 2.50 Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany [1047880] [Rating: 5 (von 5)]
Chiudere (X)
1Poiché 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:
Titolo:
ISBN:

9783540534877


This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.

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


EAN (ISBN-13): 9783540534877
ISBN (ISBN-10): 3540534873
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1990
Editore: Springer Berlin
420 Pagine
Peso: 0,655 kg

Libro nella banca dati dal 2007-05-04T23:35:35+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-13T15:43:23+01:00 (Zurich)
ISBN/EAN: 9783540534877

ISBN - Stili di scrittura alternativi:
3-540-53487-3, 978-3-540-53487-7
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: war 1990, bangalore, foundations software technology and theoretical computer science, foundation, proceedings all india

Dati dell'editore

Autore: Kesav V. Nori; C.E. Veni Madhavan
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Editore: Springer; Springer Berlin
424 Pagine
Anno di pubblicazione: 1990-12-05
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 424 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; Processing; algorithm; algorithms; automata; complexity; complexity theory; computer; computer science; distributed computing; formal language; formal languages; logic; programming; semantics; algorithm analysis and problem complexity; Theory of Computation; Software Engineering; Programming Techniques; Algorithms; Computer Science Logic and Foundations of Programming; Software Engineering; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; EA

Reasoning about linear constraints using parametric queries.- Discriminant circumscription.- Complexity of algebraic specifications.- A new method for undecidability proofs of first order theories.- Generating plans in linear logic.- Automata-theoretic techniques for image generation and compression.- Recognizable infinite tree sets and their complexity.- The expressibility of nondeterministic auxiliary stack automata and its relation to treesize bounded alternating auxiliary pushdown automata.- Towards constructive program derivation in VDM.- A new method for proving termination of AC-rewrite systems.- Efficient parallel algorithms for optical computing with the DFT primitive.- The power of collision: Randomized parallel algorithms for chaining and integer sorting.- Fast parallel algorithms for cographs.- Optimally representing euclidean space discretely for analogically simulating physical phenomena.- Optimal parallel algorithms for testing isomorphism of trees and outerplanar graphs.- Randomized parallel selection.- A fast parallel algorithm for finding a maximal bipartite set.- On the parallel evaluation of classes of circuits.- Voronoi diagrams of moving points in the plane.- Efficient algorithms for identifying all maximal isothetic empty rectangles in VLSI layout design.- On some largest empty orthoconvex polygons in a point set.- Defining process fairness for non-interleaving concurrency.- Observational logics and concurrency models.- Distributed reset.- Refinement and composition of transition-based rely-guarantee specifications with auxiliary variables.- Efficient algorithms for crash recovery in distributed systems.- A non-standard inductive semantics.- Relating full abstraction results for different programming languages.- Towards a theory of commonsense visual reasoning.- Natural language processing, complexity theory and logic.

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)

< Per archiviare...