- 4 Risultati
prezzo più basso: € 42,79, prezzo più alto: € 82,19, prezzo medio: € 67,35
1
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Ordina
da Springer.com
CHF 74,89
(indicativi € 69,45)
Ordina
Dettagli & spedizione
Link sponsorizzato
Kesav V. Nori; Sanjeev Kumar:

Foundations of Software Technology and Theoretical Computer Science - nuovo libro

ISBN: 9783540460305

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 …

new in stock CH:::0.00 EUR. Costi di spedizione:spese di spedizione aggiuntive., Costi di spedizione aggiuntivi
Chiudere (X)
2
Foundations of Software Technology and Theoretical Computer Science
Ordina
da Springer.com
€ 42,79
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Foundations of Software Technology and Theoretical Computer Science - nuovo libro

ISBN: 9783540460305

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-46030-5. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
3
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Ordina
da Springer.com
€ 74,96
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Kesav V. Nori; Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - nuovo libro

ISBN: 9783540460305

Computer Science; Software Engineering/Programming and Operating Systems; Computer System Implementation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Softw… Altro …

  - Costi di spedizione: EUR 0.00
Chiudere (X)
4
Foundations of Software Technology and Theoretical Computer Science - Kesav V. Nori; Sanjeev Kumar
Ordina
da Springer.com
$ 99,00
(indicativi € 82,19)
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Kesav V. Nori; Sanjeev Kumar:
Foundations of Software Technology and Theoretical Computer Science - nuovo libro

ISBN: 9783540460305

Computer Science; Software Engineering/Programming and Operating Systems; Computer System Implementation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Softw… Altro …

  - Costi di spedizione: EUR 0.00
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:

9783540460305

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


EAN (ISBN-13): 9783540460305
Editore: Springer Science+Business Media

Libro nella banca dati dal 2017-01-15T10:01:52+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-31T10:32:34+02:00 (Zurich)
ISBN/EAN: 9783540460305

ISBN - Stili di scrittura alternativi:
978-3-540-46030-5
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : sanjeev kumar
Titolo del libro: software, technology technology, foundations science

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: 2005-06-30
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 528 p.

EA; E107; eBook; Nonbooks, PBS / 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; C; Software Engineering; Computer System Implementation; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Computer Science; Systemanalyse und -design; Theoretische Informatik; Algorithmen und Datenstrukturen; BC

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)

< Per archiviare...