From Semantics To Computer Science
Download From Semantics To Computer Science PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get From Semantics To Computer Science book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
From Semantics to Computer Science
Author: Gilles Kahn
language: en
Publisher: Cambridge University Press
Release Date: 2009-09-24
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.
From Semantics to Computer Science
Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
Author: Jan Leeuwen
language: en
Publisher: Springer Science & Business Media
Release Date: 2000-07-26
This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000. The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.