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 …
Springer.com Nr. 978-3-540-50517-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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], [SC: 5.0], [PU: Springer Berlin], ALGORITHMS,THEOREM PROVING,AUTOMATA,PROGRAMMING,FORMAL LANGUAGE,SEMANTICS,KNOWLEDGE BASE,VARIABLE,PROCESSING,COMPUTER,DISTRIBUTED C… Altro …
ZVAB.com Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)] Costi di spedizione: EUR 5.00 Details... |
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 …
AbeBooks.de Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)] Costi di spedizione: EUR 3.00 Details... |
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 …
Achtung-Buecher.de Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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 …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95) Details... |
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 …
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 flessibile1988, ISBN: 3540505172
[EAN: 9783540505174], [SC: 5.0], [PU: Springer Berlin], ALGORITHMS,THEOREM PROVING,AUTOMATA,PROGRAMMING,FORMAL LANGUAGE,SEMANTICS,KNOWLEDGE BASE,VARIABLE,PROCESSING,COMPUTER,DISTRIBUTED C… Altro …
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 …
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 …
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 …
Dati bibliografici del miglior libro corrispondente
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-03-31T10:32:30+02: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
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 528 p.
BC; 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; 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 processingduring 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)
- 9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387138831 Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science) (Editor-Mathai Joseph)
- 9780387534879 Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings (Lecture Notes in Computer Science) (Kesav V. Nori)
- 9780387549675 Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (S. Biswas; Editor-Kesav V. Nori)
- 9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)
- 9780387575292 Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15-17, 1993 : Proceedings (R. K. Shyamasundar)
- FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science. 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. (Hariharan, Ramesh et al. (Eds.))
< Per archiviare...