ISBN: 9783540468721
The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysi… Altro …
Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783540468721
Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Computer Graphics; Data Structures… Altro …
Springer.com Costi di spedizione: EUR 0.00 Details... |
ISBN: 9783540468721
Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Computer Graphics; Data Structures… Altro …
Springer.com Costi di spedizione: EUR 0.00 Details... |
ISBN: 9783540468721
Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Computer Graphics; Data Structures… Altro …
Springer.com Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783540468721
The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysi… Altro …
Conjeevaram E. Veni Madhavan:
Foundations of Software Technology and Theoretical Computer Science - nuovo libroISBN: 9783540468721
Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Computer Graphics; Data Structures… Altro …
ISBN: 9783540468721
Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Computer Graphics; Data Structures… Altro …
ISBN: 9783540468721
Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Computer Graphics; Data Structures… Altro …
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540468721
Editore: Springer Science+Business Media
Libro nella banca dati dal 2017-01-15T10:01:52+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2021-09-16T14:42:13+02:00 (Zurich)
ISBN/EAN: 9783540468721
ISBN - Stili di scrittura alternativi:
978-3-540-46872-1
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: software, technology technology, foundations science
Dati dell'editore
Autore: Conjeevaram E. Veni Madhavan
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
Editore: Springer; Springer Berlin
341 Pagine
Anno di pubblicazione: 2005-06-30
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 341 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; algorithm; algorithms; complexity; complexity theory; data structure; data structures; logic; programming; semantics; C; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Computer Graphics; Data Structures; Software Engineering; Programming Techniques; Computer Science Logic and Foundations of Programming; Computer Graphics; Data Science; Computer Science; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Grafikprogrammierung; Datenbanken; BC
A linear-time recognition algorithm for P 4-reducible graphs.- Fast parallel approximations of the maximum weighted cut problem through derandomization.- A new class of separators and planarity of chordal graphs.- Optimal parallel algorithms on circular-arc graphs.- Algebraic properties of the space of multivalued and paraconsistent logic programs.- An autoepistemic logical view of knowledge base.- A natural semantics for logic programs with negation.- A transformation system for deductive database modules with perfect model semantics.- An efficient distributed algorithm for finding articulation points, Bridges, and biconnected components in asynchronous networks.- Impossibility results in the presence of multiple faulty processes.- An adaptive regulator approach for the design of load sharing algorithms.- An algebraic compositional semantics of an object oriented notation with concurrency.- An axiomatization of event structures.- Deducing causal relationships in CCS.- Annotated program transformations.- Algebraic software development concepts for module and configuration families.- On the limitations of locally robust positive reductions.- Query evaluation with null values: How complex is completeness?.- Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases.- The frobenius problem.- An efficient implicit data structure for path testing and searching in rooted trees and forests.- Robust decompositions of polyhedra.- Gate matrix layout revisited: Algorithmic performance and probabilistic analysis.- Parallel parsing on a one-way linear array of finite-state machines.- Energy-time trade-offs in VLSI computations.- Time and real-time in programs.- A proof system for communicating processes with value-passing (extended abstract).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...