Opening book details…
Can I read Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings (Lecture Notes in Computer Science, 241) on EtoBox?
Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings (Lecture Notes in Computer Science, 241) by Dines Bjørner (auth.), Kesav V. Nori (eds.) is a computer science book available to read on EtoBox.
What is Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings (Lecture Notes in Computer Science, 241) about?
This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, -
Who reads Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings (Lecture Notes in Computer Science, 241)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Dines Bjørner (auth.), Kesav V. Nori (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1986
- Language
- EN
- ISBN
- 9780387171791
- Category
- computer science
- Subjects
- Mathematics, Engineering, Programming
- Updated
- 2026-03-25
More by Dines Bjørner (auth.), Kesav V. Nori (eds.)
Browse all works by Dines Bjørner (auth.), Kesav V. Nori (eds.)
Similar books
- Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings (Lecture Notes in Computer Science (1180)) — Eric Allender (auth.), V. Chandru, V. Vinay (1996)
- FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings — E. Allen Emerson (auth.), Sanjiv Kapoor, Sanjiva Prasad (2000)
- Foundations of Software Technology and Theoretical Computer Science: 15th Conference, Bangalore, India, December 18-20, 1995: Proceedings (Foundations ... Technology and Theoretical Computer Science) — Mike Paterson, Shlomit Tassa, Uri Zwick (auth.), P. S. Thiagarajan (1995)
- Fsttcs 2005: Foundations Of Software Technology And Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005 : Proceedings Foundations Of Software Technology And Theoretical Computer Science — Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (2005)
- FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings (Lecture Notes in Computer Science) — Gérard Boudol (auth.), S. Arun-Kumar, Naveen Garg (2006)
- FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science (2245)) — Eric Allender (auth.), Ramesh Hariharan, V. Vinay, Madhavan Mukund (2001)
