Fundamental concepts in computer science
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Imperial College Press
2009
|
| Schriftenreihe: | Advances in computer science and engineering: texts
3 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035644624 | ||
| 003 | DE-604 | ||
| 005 | 20090903 | ||
| 007 | t| | ||
| 008 | 090724s2009 xx a||| |||| 00||| eng d | ||
| 020 | |a 1848162901 |c hardcover |9 1-84816-290-1 | ||
| 020 | |a 9781848162907 |c hardcover |9 978-1-84816-290-7 | ||
| 035 | |a (OCoLC)311230262 | ||
| 035 | |a (DE-599)OBVAC07555061 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-11 | ||
| 050 | 0 | |a QA76.17 | |
| 082 | 0 | |a 004 |2 22 | |
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 245 | 1 | 0 | |a Fundamental concepts in computer science |c ed. Erol Gelenbe ... |
| 264 | 1 | |a London [u.a.] |b Imperial College Press |c 2009 | |
| 300 | |a XI, 159 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Advances in computer science and engineering: texts |v 3 | |
| 500 | |a Literaturangaben | ||
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer science |x History | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Geschichte |A z |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gelenbe, Erol |e Sonstige |4 oth | |
| 830 | 0 | |a Advances in computer science and engineering: texts |v 3 |w (DE-604)BV022194444 |9 3 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017699356&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017699356 | |
Datensatz im Suchindex
| DE-473_call_number | 61/ST 120 WX 53463 |
|---|---|
| DE-473_location | 6 |
| DE-BY-UBG_katkey | 2640522 |
| DE-BY-UBG_media_number | 013107222258 |
| _version_ | 1824052459052466176 |
| adam_text | CONTENTS
Preface
v
1. Böhm s Theorem 1
Stefano Guerrini,
Adolfo
Píperno
and
Mariangiola
Dezani-Ciancagliní
1.
Introduction
......................... 1
2. Böhm s
Theorem for Trees
................. 4
3. Böhm s
Theorem for A-Calculus
.............. 8
4.
Follow-Up to
Böhm s
Theorem
............... 10
4.1. Böhm s
work on
Böhm s
theorem
......... 10
4.2.
Generalizations of
Böhm s
theorem
........ 10
4.3.
Theories and models of A-calculus
......... 11
4.4. Böhm
trees and
Böhm-out-technique....... 11
4.5.
Observational equivalence
............. 12
2.
Membrane Computing: History and Brief Introduction
17
Gheorghe
Păun
1.
Personal Views on the History of Membrane Computing
18
1.1.
The pre-history
................... 18
1.2.
The first years
.................... 21
1.3.
The recent years
................... 24
1.4.
The next, years
................... 27
2.
Elements of Membrane Computing
............ 28
2.1.
The three main classes of
Ρ
systems
........ 28
2.2.
CclHike
Ρ
systems: An informal presentation
. . 29
2.3.
Basic ingredients of
Ρ
systems
.......... . 31
x
Contents
2.4.
A large number of variants
............. 34
2.5.
Computational completeness
............ 36
2.6.
Computational efficiency
.............. 37
2.7.
Applications
..................... 39
3.
Critique of Computational Reason in the Natural
Sciences
43
Giuseppe
Longo
1.
From the Alphabet to the Machine
............ 43
2.
The Elementary and the Complex
............. 46
3.
Imitations and Models
................... 48
3.1.
Models, processes, and unpredictability
...... 53
4.
Calculus, Physics, and Living Phenomena
........ 58
5.
But.
..
Natural Processes Compute?
............ 61
6.
Mnemonic Interlude
..................... 65
7.
Conclusion: A Question of Principles
........... 67
4.
Deterministic Computation with Random G-Networks
71
Eroi
Gelenbe, Zhi-Hong Mao and Yanda Li
1.
Introduction
......................... 71
2.
The GNN and Its Extensions
............... 73
2.1.
Stationary or steady-state solution
........ 75
2.2.
The bipolar GNN or BGNN
............ 76
3.
Approximation of Functions of One Variable by the GNN
with a Bounded Number of Layers
............ 77
3.1.
Technical premises
................. 78
3.2.
BGNN approximation of continuous functions of
one variable
..................... 81
3.3.
CGNN approximation of continuous functions of
one variable
..................... 84
4.
Approximation of Continuous Functions of
s
Variables
. 87
5.
Conclusions
......................... 91
5.
Assertions: A Personal Perspective
97
Tony Hoare
1.
Experience in Industry,
1960-1968............ . 97
2.
Research in Belfast,
1968-1977............... 102
Contents xi
3.
Move to Oxford,
1977-1999 ................ 106
4.
Back in Industry,
1999...................
Ill
6.
The Call To ARMs
117
Steve Furber
1.
Acorn Computer Ltd
.................... 117
2.
The BBC Micro
....................... 119
3.
Why Design a Microprocessor?
............... 120
4.
The ARM Design Process
................. 122
5.
The Formation of ARM Ltd
................ 125
6.
A 20-year Perspective
.................... 126
7.
Carl Adam
Petri
and
Petri
Nets
129
Wilfried Brauer
and Wolfgang
Reisig
1.
Introduction
......................... 129
2.
The Dissertation
....................... 130
3.
Carl Adam
Petri,
The Man
................. 133
4.
The Years Until
1980.................... 135
5.
The Years Since
1980.................... 136
6.
Honors
............................ 137
7.
What Will the Future Bring?
............... 138
8.
From Stochastic Modeling to Operational
Analysis: The Journey Begins
141
Jeffrey P.
Buzen
1.
Stochastic Processes and the Central Server Model
. . . 141
2.
Early Concerns About Stochastic Modeling
........ 143
3.
Impact of Empirical Success
................ 144
4.
Lectures at
Serre
Chevalier and Bologna
......... 145
5.
Emergence of Operational Analysis
............ 146
9.
From Rocket Control to Virtual Design
151
Olivier Pironneau
1.
Computational Fluid Dynamics
.............. 151
2.
Open Problems
....................... 154
3.
Computational Fluid Dynamics and Computer Science
, 156
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035644624 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.17 |
| callnumber-search | QA76.17 |
| callnumber-sort | QA 276.17 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 110 ST 120 |
| ctrlnum | (OCoLC)311230262 (DE-599)OBVAC07555061 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| era | Geschichte gnd |
| era_facet | Geschichte |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01810nam a2200481 cb4500</leader><controlfield tag="001">BV035644624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090903 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090724s2009 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1848162901</subfield><subfield code="c">hardcover</subfield><subfield code="9">1-84816-290-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848162907</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-1-84816-290-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)311230262</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC07555061</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.17</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamental concepts in computer science</subfield><subfield code="c">ed. Erol Gelenbe ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Imperial College Press</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 159 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Advances in computer science and engineering: texts</subfield><subfield code="v">3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">History</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gelenbe, Erol</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Advances in computer science and engineering: texts</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV022194444</subfield><subfield code="9">3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017699356&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017699356</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV035644624 |
| illustrated | Illustrated |
| indexdate | 2025-02-14T17:50:01Z |
| institution | BVB |
| isbn | 1848162901 9781848162907 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017699356 |
| oclc_num | 311230262 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-11 |
| owner_facet | DE-473 DE-BY-UBG DE-11 |
| physical | XI, 159 S. Ill. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Imperial College Press |
| record_format | marc |
| series | Advances in computer science and engineering: texts |
| series2 | Advances in computer science and engineering: texts |
| spellingShingle | Fundamental concepts in computer science Advances in computer science and engineering: texts Geschichte Informatik Computer science Computer science History Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4143413-4 |
| title | Fundamental concepts in computer science |
| title_auth | Fundamental concepts in computer science |
| title_exact_search | Fundamental concepts in computer science |
| title_full | Fundamental concepts in computer science ed. Erol Gelenbe ... |
| title_fullStr | Fundamental concepts in computer science ed. Erol Gelenbe ... |
| title_full_unstemmed | Fundamental concepts in computer science ed. Erol Gelenbe ... |
| title_short | Fundamental concepts in computer science |
| title_sort | fundamental concepts in computer science |
| topic | Geschichte Informatik Computer science Computer science History Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Geschichte Informatik Computer science Computer science History Theoretische Informatik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017699356&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV022194444 |
| work_keys_str_mv | AT gelenbeerol fundamentalconceptsincomputerscience |