LEADER 03151nam 2200637Ia 450 001 9910780818503321 005 20200520144314.0 010 $a1-282-44126-4 010 $a9786612441264 010 $a1-84816-291-X 035 $a(CKB)2550000000000762 035 $a(EBL)477151 035 $a(OCoLC)613681652 035 $a(SSID)ssj0000337959 035 $a(PQKBManifestationID)11254805 035 $a(PQKBTitleCode)TC0000337959 035 $a(PQKBWorkID)10294805 035 $a(PQKB)11689903 035 $a(MiAaPQ)EBC477151 035 $a(WSP)00001712 035 $a(Au-PeEL)EBL477151 035 $a(CaPaEBR)ebr10361822 035 $a(CaONFJC)MIL244126 035 $a(PPN)192638823 035 $a(EXLCZ)992550000000000762 100 $a20090424d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aFundamental concepts in computer science$b[electronic resource] /$feditors: Erol Gelenbe, Jean-Pierre Kahane 210 $aLondon $cImperial College Press ;$aSingapore ;$aHackensack, NJ $cDistributed by World Scientific$dc2009 215 $a1 online resource (172 p.) 225 1 $aAdvances in computer science and engineering: texts ;$vvol. 3 300 $aDescription based upon print version of record. 311 $a1-84816-290-1 320 $aIncludes bibliographical references. 327 $aPreface; CONTENTS; 1. B ?ohm's Theorem Stefano Guerrini, Adolfo Piperno and Mariangiola Dezani-Ciancaglini; 2. Membrane Computing: History and Brief Introduction Gheorghe P?aun; 3. Critique of Computational Reason in the Natural Sciences Giuseppe Longo; 4. Deterministic Computation with Random G-Networks Erol Gelenbe, Zhi-Hong Mao and Yanda Li; 5. Assertions: A Personal Perspective Tony Hoare; 6. The Call To ARMs Steve Furber; 7. Carl Adam Petri and "Petri Nets" Wilfried Brauer and Wolfgang Reisig; 8. From Stochastic Modeling to Operational Analysis: The Journey Begins Je.rey P. Buzen 327 $a9. From Rocket Control to Virtual Design Olivier Pironneau 330 $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. 410 0$aAdvances in computer science and engineering.$pTexts ;$vvol. 3. 606 $aComputer science 606 $aComputer science$xHistory 615 0$aComputer science. 615 0$aComputer science$xHistory. 676 $a004 701 $aGelenbe$b E.$f1945-$025267 701 $aKahane$b Jean-Pierre$012018 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910780818503321 996 $aFundamental concepts in computer science$93825692 997 $aUNINA