Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "HaPoC"( http://dblp.L3S.de/Venues/HaPoC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/hapoc

Publication years (Num. hits)
2015 (21) 2016 (1)
Publication types (Num. hits)
inproceedings(21) proceedings(1)
Venues (Conferences, Journals, ...)
HaPoC(22)
Authors
Alessandro Aldini(1) Alessio Plebe(1) Andrea Bracciali(1) Claudio Felicioli(1) Elisabetta Senesi(1) Enrico Cataldo(1) Fabio Gadducci(1) Federico Nanni(1) Furio Honsell(1) Giorgio De Michelis(1) Giorgio M. Grasso(1) Ignasi Meda-Calvet(1) Jan von Plato(1) Juan Luis Gastaldi(1) Julian Newman(1) Luigi Catalani(1) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Fabio Gadducci, Mirko Tavosanis (eds.) History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers Search on Bibsonomy HaPoC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano From Cells as Computation to Cells as Apps. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vincenzo Ciancia From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer Science. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rudi Bonfiglioli, Federico Nanni From Close to Distant and Back: How to Read with the Help of Machines. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giorgio De Michelis The Contribution of Carl Adam Petri to Our Understanding of 'Computing'. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Verdicchio The Role of Computers in Visual Art. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan von Plato In Search of the Roots of Formal Computation. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessio Plebe, Giorgio M. Grasso The Brain in Silicon: History, and Skepticism. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elisabetta Senesi Interactive Spatial Sound Intervention: A Case Study. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simone Martini 0001 Several Types of Types in Programming Languages. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nadia Ambrosetti Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Dei. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juan Luis Gastaldi Frege's Habilitationsschrift: Magnitude, Number and the Problems of Computability. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre E. Mounier-Kuhn Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Furio Honsell Wherefore Art Thou... Semantics of Computation? Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Modeste Impact of Informatics on Mathematics and Its Teaching - On the Importance of Epistemological Analysis to Feed Didactical Research. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicola Liberati From Information to Perception - The New Design of the Emerging Computer Technologies and Its Effects. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luigi Catalani «Omnia Numerorum Videntur Ratione Formata». A 'Computable World' Theory in Early Medieval Philosophy. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Julian Newman Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephen Boyd Davis, Simone Gristwood Computing, Design, Art: Reflections on an Innovative Moment in History. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vladimir A. Kitov, Valery V. Shilov, Sergey A. Silantiev Trente ans ou la Vie d′un scientifique. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ignasi Meda-Calvet Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users. Search on Bibsonomy HaPoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license