History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /

History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /

This volume constitutes the refereed post-conference proceedings of the Third International Conference on the History and Philosophy of Computing, held in Pisa, Italy in October 2015. The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Gadducci, Fabio (Επιμελητής έκδοσης), Tavosanis, Mirko (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Σειρά:	IFIP Advances in Information and Communication Technology, 487
Θέματα:	Computer science. Computer hardware. Software engineering. Computers. Artificial intelligence. Computer Science. History of Computing. Theory of Computation. Artificial Intelligence (incl. Robotics). Software Engineering/Programming and Operating Systems. Computer Hardware.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
Έκδοση: (2005)

Beginning Samsung ARTIK A Guide for Developers /
ανά: Wootton, Cliff
Έκδοση: (2016)

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings /
Έκδοση: (2017)

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Έκδοση: (2012)

Robotics 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers /
Έκδοση: (2016)

Samsung ARTIK Reference The Definitive Developers Guide /
ανά: Wootton, Cliff
Έκδοση: (2016)

Beginning Artificial Intelligence with the Raspberry Pi
ανά: Norris, Donald J.
Έκδοση: (2017)

Explore IT: Jurnal Keilmuan dan Aplikasi Teknik Informatika
Έκδοση: (2024)

Bio-Inspired Technologies for the Hardware of Adaptive Systems Real-World Implementations and Applications /
ανά: Negoita, Mircea Gh, κ.ά.
Έκδοση: (2009)

Evolvable Hardware From Practice to Application /
ανά: Trefzer, Martin A., κ.ά.
Έκδοση: (2015)

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /
Έκδοση: (2015)

Applications and Usability of Interactive TV Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers /
Έκδοση: (2015)

Artificial Life Models in Hardware
Έκδοση: (2009)

Jurnal Riset Informatika
Έκδοση: (2022)

Journal of Computational Design and Engineering
Έκδοση: (2021)

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
Έκδοση: (2015)

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
ανά: Herdt, Vladimir
Έκδοση: (2016)

Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers /
Έκδοση: (2011)

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers /
Έκδοση: (2016)

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings /
Έκδοση: (2008)

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems /
ανά: Biedermann, Alexander
Έκδοση: (2014)

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Έκδοση: (2017)

Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
Έκδοση: (2015)

Computational Intelligence in Digital and Network Designs and Applications
Έκδοση: (2015)

Applications of Evolutionary Computing EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedings /
Έκδοση: (2007)

Journal of Internet and Software Engineering
Έκδοση: (2023)

Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings /
Έκδοση: (2016)

Applications of Evolutionary Computing EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004. Proceedings /
Έκδοση: (2004)

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
Έκδοση: (2015)

Advances in Electrical and Computer Engineering
Έκδοση: (2010)

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /
ανά: Raynal, Michel
Έκδοση: (2013)

System Architecture An Ordinary Engineering Discipline /
ανά: Paul, Wolfgang J., κ.ά.
Έκδοση: (2016)

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
Έκδοση: (2015)

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Έκδοση: (2013)

Journal of Computational and Cognitive Engineering
Έκδοση: (2022)

Proceedings of the 2020 International Conference on Computing, Networks and Internet of Things
Έκδοση: (2020)

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers /
Έκδοση: (2016)

Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers /
Έκδοση: (2008)

Cryptographic Hardware and Embedded Systems – CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings /
Έκδοση: (2016)

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
Έκδοση: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών