Fundamental Concepts in Computer Science. (Record no. 78451)

MARC details
000 -LEADER
fixed length control field 05528nam a22004813i 4500
001 - CONTROL NUMBER
control field EBC477151
003 - CONTROL NUMBER IDENTIFIER
control field MiAaPQ
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20191126105036.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 191125s2009 xx o ||||0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781848162914
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781848162907
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC477151
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL477151
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10361822
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL244126
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)613681652
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.17.F86 2009
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Gelenbe, Erol.
9 (RLIN) 61433
245 10 - TITLE STATEMENT
Title Fundamental Concepts in Computer Science.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Singapore :
Name of producer, publisher, distributor, manufacturer Imperial College Press,
Date of production, publication, distribution, manufacture, or copyright notice 2009.
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©2009.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (172 pages)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Advances in Computer Science and Engineering: Texts ;
Volume/sequential designation v.3
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note CONTENTS -- 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# - FORMATTED CONTENTS NOTE
Formatted contents note 4. 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 ## - SUMMARY, ETC.
Summary, etc. 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 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 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on publisher supplied metadata and other sources.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic 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 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science.;Computer science -- History.
9 (RLIN) 61434
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 61435
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kahane, Jean-Pierre.
9 (RLIN) 61436
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Gelenbe, Erol
Title Fundamental Concepts in Computer Science
Place, publisher, and date of publication Singapore : Imperial College Press,c2009
International Standard Book Number 9781848162907
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Advances in Computer Science and Engineering: Texts
9 (RLIN) 61437
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/thebc/detail.action?docID=477151">https://ebookcentral.proquest.com/lib/thebc/detail.action?docID=477151</a>
Public note Click to View
887 ## - NON-MARC INFORMATION FIELD
Content of non-MARC field EBK
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Ebrary
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Barcode Date last seen Price effective from Koha item type
        Afghanistan Afghanistan 26/11/2019   EBKAF00035836 26/11/2019 26/11/2019 Ebrary
        Algeria Algeria           Ebrary
        Cyprus Cyprus           Ebrary
        Egypt Egypt           Ebrary
        Libya Libya           Ebrary
        Morocco Morocco           Ebrary
        Nepal Nepal 26/11/2019   EBKNP00035836 26/11/2019 26/11/2019 Ebrary
        Sudan Sudan           Ebrary
        Tunisia Tunisia           Ebrary