- 5 Risultati
prezzo più basso: € 11,00, prezzo più alto: € 96,49, prezzo medio: € 46,09
1
Foundations of Software Technology and Theoretical Computer Science
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato

Foundations of Software Technology and Theoretical Computer Science - nuovo libro

ISBN: 9783540505174

This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This intern… Altro …

Nr. 978-3-540-50517-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
2
Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. Lecture notes in computer science ; Vol. 338. - Nori, Kesav V. and Sanjeev Kumar,
Ordina
da AbeBooks.de
€ 11,00
Spedizione: € 3,001
OrdinaLink sponsorizzato

Nori, Kesav V. and Sanjeev Kumar,:

Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. Lecture notes in computer science ; Vol. 338. - edizione con copertina flessibile

1988, ISBN: 3540505172

[EAN: 9783540505174], [PU: Springer Berlin], ALGORITHMS,THEOREM PROVING,AUTOMATA,PROGRAMMING,FORMAL LANGUAGE,SEMANTICS,KNOWLEDGE BASE,VARIABLE,PROCESSING,COMPUTER,DISTRIBUTED COMPUTING,RE… Altro …

Costi di spedizione: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
3
Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings.  Lecture notes in computer science ; Vol. 338. - Nori, Kesav V. and Sanjeev Kumar,
Ordina
da Achtung-Buecher.de
€ 16,00
Spedizione: € 0,001
OrdinaLink sponsorizzato
Nori, Kesav V. and Sanjeev Kumar,:
Foundations of Software Technology and Theoretical Computer Science. Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. Lecture notes in computer science ; Vol. 338. - libri usati

1988

ISBN: 3540505172

528 pages Unbekannter Einband Ex-Library book in very good condition. 9783540505174 Algorithms,theorem proving,automata,programming,formal language,semantics,knowledge base,Variable,Proce… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
4
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori/ Sanjeev Kumar
Ordina
da Hugendubel.de
€ 96,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
Kesav V. Nori/ Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

ISBN: 9783540505174

Foundations of Software Technology and Theoretical Computer Science ab 96.49 € als Taschenbuch: Eighth Conference Pune India December 21-23 1988. Proceedings. Auflage 1988. Aus dem Bereic… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori/ Sanjeev Kumar
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 3,951
OrdinaLink sponsorizzato
Kesav V. Nori/ Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile

ISBN: 9783540505174

*Foundations of Software Technology and Theoretical Computer Science* - Eighth Conference Pune India December 21-23 1988. Proceedings. Auflage 1988 / Taschenbuch für 53.49 € / Aus dem Ber… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95)

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

This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.

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


EAN (ISBN-13): 9783540505174
ISBN (ISBN-10): 3540505172
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1988
Editore: Springer Berlin Heidelberg
520 Pagine
Peso: 0,801 kg

Libro nella banca dati dal 2007-05-16T03:21:47+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-18T14:06:02+01:00 (Zurich)
ISBN/EAN: 3540505172

ISBN - Stili di scrittura alternativi:
3-540-50517-2, 978-3-540-50517-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : sanjeev kumar
Titolo del libro: nori, 1988, lecture notes computer science, foundations software technology and theoretical computer science, foundation, the science and technology the, proceedings all india


Dati dell'editore

Autore: Kesav V. Nori; Sanjeev Kumar
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
Editore: Springer; Springer Berlin
528 Pagine
Anno di pubblicazione: 1988-11-17
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 1,640 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 528 p.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Automat; Processing; Resolution; Variable; automata; complexity; computer; distributed computing; formal language; knowledge base; programming; proving; semantics; theorem proving; algorithm analysis and problem complexity; Computer System Implementation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering; Logics and Meanings of Programs; Software Engineering; Computer System Implementation; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Systemanalyse und -design; Theoretische Informatik; Algorithmen und Datenstrukturen; EA

Planar point location revisited (A guided tour of a decade of research).- Computing a viewpoint of a set of points inside a polygon.- Analysis of preflow push algorithms for maximum network flow.- A new linear algorithm for the two path problem on chordal graphs.- Extending planar graph algorithms to K 3,3-free graphs.- Constant-space string-matching.- Inherent nonslicibility of rectangular duals in VLSI floorplanning.- Path planning with local information.- Linear broadcast routing.- Predicting deadlock in store-and-forward networks.- On parallel sorting and addition with concurrent writes.- An optimal parallel algorithm for sorting presorted files.- Superlinear speedup in parallel state-space search.- Circuit definitions of nondeterministic complexity classes.- Non-uniform proof systems: A new framework to describe non-uniform and probabilistic complexity classes.- Padding, commitment and self-reducibility.- The complexity of a counting finite-state automaton.- A hierarchy theorem for pram-based complexity classes.- A natural deduction treatment of operational semantics.- Uniformly applicative structures, a theory of computability and polyadic functions.- A proof technique for register atomicity.- Relation level semantics.- A constructive set theory for program development.- McCarthy's amb cannot implement fair merge.- GHC — A language for a new age of parallel programming.- Accumulators: New logic variable abstractions for functional languages.- A resolution rule for well-formed formulae.- Algebraic and operational semantics of positive/negative conditional algebraic specifications.- Semi-unification.- A method to check knowledge base consistency.- Knowledgebases as structured theories.- On functional independencies.- A generic algorithm for transaction processing during network partitioning.

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