Sanjiva Prasad - Böcker
Visar alla böcker från författaren Sanjiva Prasad. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 9581 - Lecture Notes in Computer Science
Distributed Computing and Internet Technology
12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
Häftad, Engelska, 2015
530 kr
Skickas inom 10-15 vardagar
This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, inJanuary 2016. The 6 fullpapers, 7 short papers and 11 poster papers presented in this volume werecarefully reviewed and selected from 129 submissions.
FST TCS 2000: Foundations of Software Technology and Theoretical Science
20th Conference, New Delhi, India, December13-15, 2000 Proceedings
Häftad, Engelska, 2000
551 kr
Skickas inom 10-15 vardagar
The Foundations of SoftwareTechnology and Theoretical Computer Science c- ference (FST TCS) is a well-established annual event in the theoretical computer science community. The conference provides a forum for researchers to present interesting new results in several areas of theoretical computer science. The c- ference is now in its twentieth year and has continued to attract high-quality submissions and reputed invited speakers. This year'sconference attracted 141 submissions(of which 5 werewithdrawn) from over 25 countries. Each submission was reviewed by at least three referees, with most receiving more than four reviews. The Program Committee met in New Delhi on 5 and 6 August 2000, with many members participating electr- ically over the Internet. The discussions continued over the Internet for several days and we ?nally selected 36 papers for presentation at the conference and inclusion in the proceedings. We thank the Program Committee for their - perlative e?orts in ?nding top quality reviewers and working extremely hard to ensure the quality of the conference. We also thank all our reviewers for prov- ing detailed and informative feedback about the papers.Rich Gerber's START program greatly simpli?ed managing the submissions and the PC work. Wearegratefulto oursixinvited speakers,PeterBuneman,BernardChazelle, Allen Emerson, Martin Gr. otschel, Jos' e Meseguer, and Philip Wadler for agr- ing to speak at the conference and for providing written contributions that are included in the proceedings. With the main conference this year, there are two satellite workshops - on RecentAdvancesinProgrammingLanguages and onComputationalGeometry.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
Häftad, Engelska, 2007
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with five invited papers were carefully reviewed. They provide original research results in fundamental aspects of computer science and reports from the frontline of software technology and theoretical computer science.
Logic and Its Applications
7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Häftad, Engelska, 2016
551 kr
Skickas inom 10-15 vardagar
Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge.