Fundamental concepts in computer science /
This book presents fundamental contributions to computer science as written and recounted by those who made the contributions themselves. As such, it is a highly original approach to a "living history" of the field of computer science. The scope of the book is broad in that it covers all a...
| Автор-организации: | World Scientific (Firm) |
|---|---|
| Други автори: | Gelenbe, Erol, 1945-, Kahane, Jean-Pierre. |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
London : Singapore :
Imperial College Press ; Distributed by World Scientific Pub. Co.,
℗♭2009.
|
| Серия: |
Advances in computer science and engineering. Texts ;
v. 3. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=305143 |
Съдържание:
- 1. Bohm's theorem / Stefano Guerrini, Adolfo Piperno and Mariangiola Dezani-Ciancaglini. 1. Introduction. 2. Bohm's theorem for trees. 3. Bohm's theorem for [symbol]-calculus. 4. Follow-up to Bohm's theorem
- 2. Membrane computing : history and brief introduction / Gheorghe Paun. 1. Personal views on the history of membrane computing. 2. Elements of membrane computing
- 3. Critique of computational reason in the natural sciences / Giuseppe Longo. 1. From the alphabet to the machine. 2. The elementary and the complex. 3. Imitations and models. 4. Calculus, physics, and living phenomena. 5. But ... natural processes compute? 6. Mnemonic interlude. 7. Conclusion : a question of principles
- 4. Deterministic computation with random G-networks / Erol Gelenbe, Zhi-Hong Mao and Yanda Li. 1. Introduction. 2. The GNN and its extensions. 3. Approximation of functions of one variable by the GNN with a bounded number of layers. 4. Approximation of continuous functions of s variables. 5. Conclusions
- 5. Assertions : a personal perspective / Tony Hoare. 1. Experience in industry, 1960-1968. 2. Research in Belfast, 1968-1977. 3. Move to Oxford, 1977-1999. 4. Back in industry, 1999
- 6. The call to ARMs / Steve Furber. 1. Acorn Computer Ltd. 2. The BBC micro. 3. Why design a microprocessor? 4. The ARM design process. 5. The formation of ARM Ltd. 6. A 20-year perspective
- 7. Carl Adam Petri and "Petri Nets" / Wilfried Brauer and Wolfgang Reisig. 1. Introduction. 2. The dissertation. 3. Carl Adam Petri, the man. 4. The years until 1980. 5. The years since 1980. 6. Honors. 7. What will the future bring?
- 8. From stochastic modeling to operational analysis : the journey begins / Jeffrey P. Buzen. 1. Stochastic processes and the central server model. 2. Early concerns about stochastic modeling. 3. Impact of empirical success. 4. Lectures at Serre Chevalier and Bologna. 5. Emergence of operational analysis
- 9. From rocket control to virtual design / Olivier Pironneau. 1. Computational fluid dynamics. 2. Open problems. 3. Computational fluid dynamics and computer science.