FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005, held in Hyderabad, India, in December 2005.The 38 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 167 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory…
Mehr
CHF 150.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
L048:
Lieferbar in 48 Stunden
Produktdetails
Weitere Autoren: Sen, Sandeep (Hrsg.)
- ISBN: 978-3-540-30495-1
- EAN: 9783540304951
- Produktnummer: 31947403
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 566 S.
- Masse: 1 Ex.; H23.5 cm x B15.5 cm 1'800 g
- Abbildungen: Book
- Reihenbandnummer: 3821
- Gewicht: 1800
- Sonstiges: Research
5 weitere Werke von R. (Hrsg.) Ramanujam:
Logic and Its Applications
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Ebook (PDF Format)
CHF 93.50
Bewertungen
Anmelden