History and philosophy of computing: third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | IFIP advances in information and communication technology
487 |
| Schlagworte: | |
| Online-Zugang: | Cover Inhaltsverzeichnis Inhaltsverzeichnis |
| Beschreibung: | XVIII, 320 Seiten Illustrationen 25 cm |
| ISBN: | 9783319472850 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV044452058 | ||
| 003 | DE-604 | ||
| 005 | 20171117 | ||
| 007 | t | ||
| 008 | 170817s2016 a||| |||| 10||| eng d | ||
| 020 | |a 9783319472850 |9 978-3-319-47285-0 | ||
| 035 | |a (OCoLC)964660175 | ||
| 035 | |a (DE-599)BSZ478511477 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-210 | ||
| 084 | |a HIST |q DE-210 |2 fid | ||
| 084 | |a SR 800 |0 (DE-625)143365: |2 rvk | ||
| 111 | 2 | |a HaPoC |n 3. |d 2015 |c Pisa |0 (DE-588)1117942325 |4 aut | |
| 245 | 1 | 0 | |a History and philosophy of computing |b third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers |c Fabio Gadducci, Mirko Tavosanis (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a XVIII, 320 Seiten |b Illustrationen |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a IFIP advances in information and communication technology |v 487 | |
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardware |0 (DE-588)4023422-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 08.10.2015-11.10.2015 |z Pisa |2 gnd-content | |
| 689 | 0 | 0 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 2 | |a Hardware |0 (DE-588)4023422-8 |D s |
| 689 | 0 | 3 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 4 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 5 | |a Geschichte |A z |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gadducci, Fabio |4 edt | |
| 700 | 1 | |a Tavosanis, Mirko |d 1968- |0 (DE-588)104272508X |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t History and Philosophy of Computing |d Cham : Springer, 2016 |h Online-Ressource (XVIII, 321 p. 39 illus, online resource) |z 978-3-319-47286-7 |
| 776 | 0 | |z 9783319472867 | |
| 830 | 0 | |a IFIP advances in information and communication technology |v 487 |w (DE-604)BV036592990 |9 487 | |
| 856 | 4 | 2 | |m DE-576;springer |q image/jpeg |u http://swbplus.bsz-bw.de/bsz478511477cov.htm |v 20161027155231 |3 Cover |
| 856 | 4 | 2 | |m Digitalisierung Deutsches Museum |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029852961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029852961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029852961 | ||
Datensatz im Suchindex
| _version_ | 1804177768913567744 |
|---|---|
| adam_text | CONTENTS
INVITED
TALKS
WHEREFORE
ART THOU
...
SEMANTICS
OF
COMPUTATION?
..................
3
FURIO
HONSELL
LOGIC,
FORMAL
LINGUISTICS
AND
COMPUTING
IN
FRANCE:
FROM NON-RECEPTION
TO
PROGRESSIVE
CONVERGENCE
...................................
24
PIERRE
MOUNIER-KUHN
INTERACTIVE
SPATIAL
SOUND INTERVENTION:
A
CASE
STUDY
.................
42
ELISABETTA
SENESI
REGULAR
SUBMISSIONS
THEORY
OF
KNOWING
MACHINES:
REVISITING
GOEDEL
AND
THE
MECHANISTIC
THESIS
..................................................
57
ALESSANDRO
ALDINI, VINCENZO FANO,
AND
PIERLUIGI
GRAZIANI
ALGORITHMIC
IN
THE
12TH
CENTURY: THE
CARMEN
DE
ALGORISMO
BY
ALEXANDER
DE
VILLA
DEI
..............................................
71
NADIA
AMBROSETTI
FROM
CLOSE
TO
DISTANT
AND
BACK: HOW
TO
READ
WITH
THE
HELP
OF
MACHINES
...
87
RUDI
BONFIGLIOLI
AND
FEDERICO NANNI
COMPUTING,
DESIGN,
ART:
REFLECTIONS
ON AN
INNOVATIVE
MOMENT
IN
HISTORY
...
101
STEPHEN
BOYD DAVIS
AND
SIMONE
GRISTWOOD
FROM
CELLS
AS
COMPUTATION
TO
CELLS
AS
APPS
.......................
116
ANDREA
BRACCIALI, ENRICO
CATALDO, LUISA
DAMIANO,
CLAUDIO
FELICIOLI,
ROBERTO
MARANGONI,
AND
PASQUALE
STANO
OMNIA
NUMERORUM
VIDENTUR RATIONE
FORMATA.
A `COMPUTABLE
WORLD
THEORY
IN
EARLY MEDIEVAL PHILOSOPHY
............................
131
LUIGI
CATALANI
FROM
URELEMENTS
TO
COMPUTATION: A JOURNEY
THROUGH
APPLICATIONS
OF
FRAENKEL S
PERMUTATION MODEL
IN
COMPUTER
SCIENCE
................
141
VINCENZO
CIANCIA
THE
CONTRIBUTION
OF
CARL ADAM PETRI
TO
OUR
UNDERSTANDING
OF
`COMPUTING
...
156
GIORGIO
DE MICHELIS
$
B1IOTHEK
DEUTSCHES
MUSEUM
T
XVIII
CONTENTS
FREGE S HABILITATIONSSCHRIFT: MAGNITUDE,
NUMBER
AND
THE
PROBLEMS
OF
COMPUTABILITY
........................
...................
168
JUAN LUIS
GASTALDI
TRENTE
ANS
OU
LA VIE
D UN
SCIENTIFIQUE
............................
186
VLADIMIR
A. KITOV,
VALERY V. SHILOV,
AND
SERGEY
A. SILANTIEV
FROM INFORMATION
TO
PERCEPTION: THE NEW
DESIGN
OF
THE
EMERGING
COMPUTER TECHNOLOGIES
AND
ITS EFFECTS
...........................
203
NICOLA LIBERATI
SEVERAL TYPES
OF
TYPES
IN
PROGRAMMING
LANGUAGES
..................
216
SIMONE
MARTINI
PLAYFULNESS
AND
THE
ADVENT
OF
COMPUTERIZATION
IN
SPAIN:
THE NATIONAL CLUB
OF
ZX81 USERS
...............................
228
IGNASI
MEDA-CALVET
IMPACT
OF
INFORMATICS
ON
MATHEMATICS
AND
ITS TEACHING:
ON
THE
IMPORTANCE
OF
EPISTEMOLOGICAL ANALYSIS
TO
FEED
DIDACTICAL RESEARCH
...............
243
SIMON MODESTE
EPISTEMIC OPACITY, CONFIRMATION
HOLISM
AND
TECHNICAL DEBT:
COMPUTER SIMULATION
IN
THE
LIGHT
OF
EMPIRICAL
SOFTWARE
ENGINEERING
......
256
JULIAN NEWMAN
THE BRAIN IN SILICON: HISTORY,
AND
SKEPTICISM
.......................
273
ALESSIO PLEBE
AND
GIORGIO GRASSO
THE
ROLE
OF
COMPUTERS
IN
VISUAL
ART
............................
287
MARIO VERDICCHIO
IN
SEARCH
OF
THE
ROOTS
OF
FORMAL
COMPUTATION
......................
300
JAN
VON
PLATO
AUTHOR
INDEX
............................................
321
Contents
Invited Talks
Wherefore Art Thou .., Semantics of Computation?......................... 3
Furio Honsell
Logic, Formal Linguistics and Computing in France: From Non-reception
to Progressive Convergence............................................... 24
Pierre Mounier-Kuhn
Interactive Spatial Sound Intervention: A Case Study..................... 42
Elisabetta Senesi
Regular Submissions
Theory of Knowing Machines: Revisiting Godel and the Mechanistic
Thesis.................................................................... 57
Alessandro Aldini, Vincenzo Fanoy and Pierluigi Graziani
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander
de Villa Dei............................................................... 71
Nadia Ambrosetti
From Close to Distant and Back: How to Read with the Help of Machines . . . 87
Rudi Bonfiglioli and Federico Nanni
Computing, Design, Art: Reflections on an Innovative Moment in History. . . 101
Stephen Boyd Davis and Simone Gristwood
From Cells as Computation to Cells as Apps............................... 116
Andrea Bracciali, Enrico Cataldo, Luisa Damiano Claudio Felicioli,
Roberto Marangoni, and Pasquale Stano
«Omnia Numerorum Videntur Ratione Formata». A ‘Computable World’
Theory in Early Medieval Philosophy........................................ 131
Luigi Catalani
From urelements to Computation: A Journey Through Applications
of Fraenkel’s Permutation Model in Computer Science...................... 141
Vincenzo Ciancia
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’ . . . 156
Giorgio De Michelis
XVIII
Contents
Frege’s Habilitationsschrift: Magnitude, Number and the Problems
of Computability.......................................................... 168
Juan Luis Gastaldi
Trente ans ou la Vie d un scientifique.................................... - 186
Vladimir A. Kitov, Valery V. Shilovy and Sergey A. Silantiev
From Information to Perception: The New Design of the Emerging
Computer Technologies and Its Effects..................................... 203
Nicola Liberaţi
Several Types of Types in Programming Languages........................... 216
Simone Martini
Playfulness and the Advent of Computerization in Spain:
The National Club of ZX81 Users........................................... 228
/gnasi Meda-Calvet
Impact of Informatics on Mathematics and Its Teaching: On the Importance
of Epistemological Analysis to Feed Didactical Research................... 243
Simon Modeste
Epistemic Opacity, Confirmation Holism and Technical Debt:
Computer Simulation in the Light of Empirical Software Engineering........ 256
Julian Newman
The Brain in Silicon: History, and Skepticism. .......................... 273
Alessio Plebe and Giorgio Grasso
The Role of Computers in Visual Art....................................... 287
Mario Verdicchio
In Search of the Roots of Formal Computation.............................. 300
Jan von Plato
Author Index
321
|
| any_adam_object | 1 |
| author2 | Gadducci, Fabio Tavosanis, Mirko 1968- |
| author2_role | edt edt |
| author2_variant | f g fg m t mt |
| author_GND | (DE-588)104272508X |
| author_corporate | HaPoC Pisa |
| author_corporate_role | aut |
| author_facet | Gadducci, Fabio Tavosanis, Mirko 1968- HaPoC Pisa |
| author_sort | HaPoC Pisa |
| building | Verbundindex |
| bvnumber | BV044452058 |
| classification_rvk | SR 800 |
| ctrlnum | (OCoLC)964660175 (DE-599)BSZ478511477 |
| discipline | Informatik |
| era | Geschichte gnd |
| era_facet | Geschichte |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02908nam a2200565 cb4500</leader><controlfield tag="001">BV044452058</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171117 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170817s2016 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319472850</subfield><subfield code="9">978-3-319-47285-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)964660175</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ478511477</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">HIST</subfield><subfield code="q">DE-210</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SR 800</subfield><subfield code="0">(DE-625)143365:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">HaPoC</subfield><subfield code="n">3.</subfield><subfield code="d">2015</subfield><subfield code="c">Pisa</subfield><subfield code="0">(DE-588)1117942325</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">History and philosophy of computing</subfield><subfield code="b">third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers</subfield><subfield code="c">Fabio Gadducci, Mirko Tavosanis (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 320 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">25 cm</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">IFIP advances in information and communication technology</subfield><subfield code="v">487</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="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardware</subfield><subfield code="0">(DE-588)4023422-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">08.10.2015-11.10.2015</subfield><subfield code="z">Pisa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Hardware</subfield><subfield code="0">(DE-588)4023422-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><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">Gadducci, Fabio</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tavosanis, Mirko</subfield><subfield code="d">1968-</subfield><subfield code="0">(DE-588)104272508X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">History and Philosophy of Computing</subfield><subfield code="d">Cham : Springer, 2016</subfield><subfield code="h">Online-Ressource (XVIII, 321 p. 39 illus, online resource)</subfield><subfield code="z">978-3-319-47286-7</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="z">9783319472867</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">IFIP advances in information and communication technology</subfield><subfield code="v">487</subfield><subfield code="w">(DE-604)BV036592990</subfield><subfield code="9">487</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DE-576;springer</subfield><subfield code="q">image/jpeg</subfield><subfield code="u">http://swbplus.bsz-bw.de/bsz478511477cov.htm</subfield><subfield code="v">20161027155231</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung Deutsches Museum</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=029852961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=029852961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029852961</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 08.10.2015-11.10.2015 Pisa gnd-content |
| genre_facet | Konferenzschrift 08.10.2015-11.10.2015 Pisa |
| id | DE-604.BV044452058 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:53:20Z |
| institution | BVB |
| institution_GND | (DE-588)1117942325 |
| isbn | 9783319472850 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029852961 |
| oclc_num | 964660175 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-210 |
| owner_facet | DE-355 DE-BY-UBR DE-210 |
| physical | XVIII, 320 Seiten Illustrationen 25 cm |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | IFIP advances in information and communication technology |
| series2 | IFIP advances in information and communication technology |
| spelling | HaPoC 3. 2015 Pisa (DE-588)1117942325 aut History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers Fabio Gadducci, Mirko Tavosanis (eds.) Cham Springer [2016] © 2016 XVIII, 320 Seiten Illustrationen 25 cm txt rdacontent n rdamedia nc rdacarrier IFIP advances in information and communication technology 487 Geschichte gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Computer (DE-588)4070083-5 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Hardware (DE-588)4023422-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 08.10.2015-11.10.2015 Pisa gnd-content Computer (DE-588)4070083-5 s Informatik (DE-588)4026894-9 s Hardware (DE-588)4023422-8 s Software Engineering (DE-588)4116521-4 s Künstliche Intelligenz (DE-588)4033447-8 s Geschichte z DE-604 Gadducci, Fabio edt Tavosanis, Mirko 1968- (DE-588)104272508X edt Erscheint auch als Online-Ausgabe History and Philosophy of Computing Cham : Springer, 2016 Online-Ressource (XVIII, 321 p. 39 illus, online resource) 978-3-319-47286-7 9783319472867 IFIP advances in information and communication technology 487 (DE-604)BV036592990 487 DE-576;springer image/jpeg http://swbplus.bsz-bw.de/bsz478511477cov.htm 20161027155231 Cover Digitalisierung Deutsches Museum application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029852961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029852961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers IFIP advances in information and communication technology Informatik (DE-588)4026894-9 gnd Computer (DE-588)4070083-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd Hardware (DE-588)4023422-8 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4070083-5 (DE-588)4033447-8 (DE-588)4116521-4 (DE-588)4023422-8 (DE-588)1071861417 |
| title | History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers |
| title_auth | History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers |
| title_exact_search | History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers |
| title_full | History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers Fabio Gadducci, Mirko Tavosanis (eds.) |
| title_fullStr | History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers Fabio Gadducci, Mirko Tavosanis (eds.) |
| title_full_unstemmed | History and philosophy of computing third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers Fabio Gadducci, Mirko Tavosanis (eds.) |
| title_short | History and philosophy of computing |
| title_sort | history and philosophy of computing third international conference hapoc 2015 pisa italy october 8 11 2015 revised selected papers |
| title_sub | third international conference, HaPoC 2015 Pisa, Italy, October 8-11,2015 : revised selected papers |
| topic | Informatik (DE-588)4026894-9 gnd Computer (DE-588)4070083-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd Hardware (DE-588)4023422-8 gnd |
| topic_facet | Informatik Computer Künstliche Intelligenz Software Engineering Hardware Konferenzschrift 08.10.2015-11.10.2015 Pisa |
| url | http://swbplus.bsz-bw.de/bsz478511477cov.htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029852961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029852961&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV036592990 |
| work_keys_str_mv | AT hapocpisa historyandphilosophyofcomputingthirdinternationalconferencehapoc2015pisaitalyoctober8112015revisedselectedpapers AT gadduccifabio historyandphilosophyofcomputingthirdinternationalconferencehapoc2015pisaitalyoctober8112015revisedselectedpapers AT tavosanismirko historyandphilosophyofcomputingthirdinternationalconferencehapoc2015pisaitalyoctober8112015revisedselectedpapers |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis