1649248717  

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings / edited by Sanjiv Kapoor, Sanjiva Prasad

Englisch

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

Online-Ressource

Konferenzschrift (2000, Delhi)

Buchausg. u.d.T.: Kapoor, Sanjiv: FST TCS 2000: Foundations of software technology and theoretical computer science. - Berlin : Springer, 2000. - XIII, 532 S.

978-3-540-44450-3

Weitere Ausgaben: 978-3-540-41413-1 (Druckausgabe)

DOI: 10.1007/3-540-44450-5

*Theoretische Informatik

*Programmiersprache

*Algorithmische Geometrie

*Computer software ; Logic design ; Computers. ; Computer logic. ; Programming languages (Electronic computers). ; Mathematical logic. ; Computer science—Mathematics. ; Computer science ; Computer Science ; Algorithms. ; Machine theory. ; Compilers (Computer programs).

*Computer science / Congresses ; Software engineering / Congresses

Klassifikation der Library of Congress: QA76.9.L63 ; QA76.5913 ; QA76.63

Dewey Dezimal-Klassifikation: 005; ; 005.1015113; ; 004.0151;

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 68-06

Book Industry Communication: UY

bisacsh: COM014000

Book Industry Communication: UYA

This book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2000, held in New Delhi, India in December 2000. The 36 revised full papers presented were carefully reviewed and selected from a total of 141 submissions; also included are six invited papers. The volume provides broad coverage of the logical and mathematical foundations of computer science and spans the whole range of theoretical computer science

https://zbmath.org/?q=an:0952.00044 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

https://doi.org/10.1007/3-540-44450-5 [E-books (Springer)]