000 05528nam a22004813i 4500
001 EBC477151
003 MiAaPQ
005 20191126105036.0
006 m o d |
007 cr cnu||||||||
008 191125s2009 xx o ||||0 eng d
020 _a9781848162914
_q(electronic bk.)
020 _z9781848162907
035 _a(MiAaPQ)EBC477151
035 _a(Au-PeEL)EBL477151
035 _a(CaPaEBR)ebr10361822
035 _a(CaONFJC)MIL244126
035 _a(OCoLC)613681652
040 _aMiAaPQ
_beng
_erda
_epn
_cMiAaPQ
_dMiAaPQ
050 4 _aQA76.17.F86 2009
082 0 _a004
100 1 _aGelenbe, Erol.
_961433
245 1 0 _aFundamental Concepts in Computer Science.
264 1 _aSingapore :
_bImperial College Press,
_c2009.
264 4 _c©2009.
300 _a1 online resource (172 pages)
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aAdvances in Computer Science and Engineering: Texts ;
_vv.3
505 0 _aCONTENTS -- Preface -- 1. B¨ohm's Theorem Stefano Guerrini, Adolfo Piperno and Mariangiola Dezani-Ciancaglini -- 1. Introduction -- 2. B¨ohm's Theoremfor Trees -- 3. B¨ohm's Theorem for λ-Calculus -- 4. Follow-Up to B¨ohm's Theorem. -- 4.1. B¨ohm's work on B¨ohm's theorem -- 4.2. Generalizations of B¨ohm's theorem -- 4.3. Theories and models of λ-calculus -- 4.4. B¨ohm trees and B¨ohm-out-technique -- 4.5. Observational equivalence -- References -- 2. Membrane Computing: History and Brief Introduction Gheorghe P˘aun -- 1. Personal Views on the History of Membrane Computing -- 1.1. The pre-history -- 1.2. The first years -- 1.3. The recent years -- 1.4. The next years -- 2. Elements of Membrane Computing -- 2.1. The three main classes of P systems -- 2.2. Cell-like P systems: An informal presentation -- 2.3. Basic ingredients of P systems -- 2.4. A large number of variants -- 2.5. Computational completeness -- 2.6. Computational efficiency -- 2.7. Applications -- References -- 3. Critique of Computational Reason in the Natural Sciences Giuseppe Longo -- 1. Fromthe Alphabet to theMachine -- 2. The Elementary and the Complex -- 3. Imitations and Models -- 3.1. Models, processes, and unpredictability -- 4. Calculus, Physics, and Living Phenomena -- 5. But. . . Natural ProcessesCompute? -- 6. Mnemonic Interlude -- 7. Conclusion: A Question of Principles -- References -- 4. Deterministic Computation with Random G-Networks Erol Gelenbe, Zhi-Hong Mao and Yanda Li -- 1. Introduction -- 2. The GNN and Its Extensions -- 2.1. Stationary or steady-state solution -- 2.2. The bipolar GNN or BGNN -- 3. Approximation of Functions of One Variable by the GNN with a Bounded Number of Layers -- 3.1. Technical premises -- 3.2. BGNN approximation of continuous functions of one variable -- 3.3. CGNN approximation of continuous functions of one variable.
505 8 _a4. Approximation of Continuous Functions of s Variables -- 5. Conclusions -- References -- 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 -- References -- 6. The Call To ARMs Steve Furber -- 1. Acorn Computer Ltd -- 2. The BBCMicro -- 3. Why Design aMicroprocessor?. -- 4. The ARMDesign Process -- 5. The Formation of ARM Ltd -- 6. A 20-year Perspective -- References -- 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. WhatWill the Future Bring? -- References -- 8. From Stochastic Modeling to Operational Analysis: The Journey Begins Je.rey 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 -- References -- 9. From Rocket Control to Virtual Design Olivier Pironneau -- 1. Computational Fluid Dynamics -- 2. Open Problems -- 3. Computational Fluid Dynamics and Computer Science -- References.
520 _aThis 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 aspects of computer science, going from the theory of computation, the theory of programming, and the theory of computer system performance, all the way to computer hardware and to major numerical applications of computers.
588 _aDescription based on publisher supplied metadata and other sources.
590 _aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650 0 _aComputer science.;Computer science -- History.
_961434
655 4 _aElectronic books.
_961435
700 1 _aKahane, Jean-Pierre.
_961436
776 0 8 _iPrint version:
_aGelenbe, Erol
_tFundamental Concepts in Computer Science
_dSingapore : Imperial College Press,c2009
_z9781848162907
797 2 _aProQuest (Firm)
830 0 _aAdvances in Computer Science and Engineering: Texts
_961437
856 4 0 _uhttps://ebookcentral.proquest.com/lib/thebc/detail.action?docID=477151
_zClick to View
887 _aEBK
942 _cEBK
999 _c78451
_d78451