- 5 Resultados
precio mínimo: € 11,00, precio máximo: € 96,49, precio promedio: € 46,09
1
Foundations of Software Technology and Theoretical Computer Science
Pedir
por Springer.com
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Foundations of Software Technology and Theoretical Computer Science - libro nuevo

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… Más…

Nr. 978-3-540-50517-4. Gastos de envío:Worldwide free shipping, , DE. (EUR 0.00)
cerrar (X)
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,
Pedir
por AbeBooks.de
€ 11,00
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado

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

1988, ISBN: 3540505172

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

Gastos de envío: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
cerrar (X)
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,
Pedir
por Achtung-Buecher.de
€ 16,00
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
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. - libro usado

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… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
cerrar (X)
4
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori/ Sanjeev Kumar
Pedir
por Hugendubel.de
€ 96,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Kesav V. Nori/ Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - Pasta blanda

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… Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
cerrar (X)
5
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori/ Sanjeev Kumar
Pedir
por Hugendubel.de
€ 53,49
Envío: € 3,951
Pedir
Detalles del proveedor
Enlace patrocinado
Kesav V. Nori/ Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - Pasta blanda

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… Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Foundations of Software Technology and Theoretical Computer Science
Autor:
Título:
ISBN:

3540505172


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.

Detalles del libro - Foundations of Software Technology and Theoretical Computer Science


EAN (ISBN-13): 9783540505174
ISBN (ISBN-10): 3540505172
Tapa dura
Tapa blanda
Año de publicación: 1988
Editorial: Springer Berlin Heidelberg
520 Páginas
Peso: 0,801 kg

Libro en la base de datos desde 2007-05-15T20:21:47-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-01-18T07:06:02-06:00 (Mexico City)
ISBN/EAN: 3540505172

ISBN - escritura alterna:
3-540-50517-2, 978-3-540-50517-4
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: sanjeev kumar
Título del libro: nori, 1988, lecture notes computer science, foundations software technology and theoretical computer science, foundation, the science and technology the, proceedings all india

Datos del la editorial

Autor: Kesav V. Nori; Sanjeev Kumar
Título: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
Editorial: Springer; Springer Berlin
528 Páginas
Año de publicación: 1988-11-17
Berlin; Heidelberg; DE
Idioma: Inglés
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.

Más, otros libros, que pueden ser muy parecidos a este:

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

< para archivar...