Giants of Computing A Compendium of Select, Pivotal Pioneers /

Giants of Computing A Compendium of Select, Pivotal Pioneers /

It has been upon the shoulders of giants that the modern world has been forged. This accessible compendium presents an insight into the great minds responsible for the technology which has transformed our lives. Each pioneer is introduced with a brief biography, followed by a concise account of the...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	O’Regan, Gerard (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London : Imprint: Springer, 2013.
Θέματα:	Computer science. History. Programming languages (Electronic computers). Artificial intelligence. Computers. Computer Science. History of Computing. History of Science. Artificial Intelligence (incl. Robotics). Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers /
Έκδοση: (2006)

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
Έκδοση: (2009)

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /
Έκδοση: (2005)

Exploring Robotics with ROBOTIS Systems
ανά: Thai, Chi N.
Έκδοση: (2015)

Exploring Robotics with ROBOTIS Systems
ανά: Thai, Chi N.
Έκδοση: (2017)

New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
Έκδοση: (2012)

The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems /
ανά: Cervenka, Radovan, κ.ά.
Έκδοση: (2007)

Automatic Quantum Computer Programming A Genetic Programming Approach /
ανά: Spector, Lee
Έκδοση: (2004)

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
Έκδοση: (2015)

Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings /
Έκδοση: (2004)

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
Έκδοση: (2009)

Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /
Έκδοση: (2008)

Machine Learning with R
ανά: Ghatak, Abhijit
Έκδοση: (2017)

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
Έκδοση: (2008)

Methodologies and Software Engineering for Agent Systems The Agent-Oriented Software Engineering Handbook /
Έκδοση: (2004)

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Έκδοση: (2012)

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
Έκδοση: (2008)

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers /
Έκδοση: (2017)

MATLAB Deep Learning With Machine Learning, Neural Networks and Artificial Intelligence /
ανά: Kim, Phil
Έκδοση: (2017)

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings /
Έκδοση: (2006)

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
Έκδοση: (2015)

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers /
Έκδοση: (2017)

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers /
Έκδοση: (2013)

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
Έκδοση: (2009)

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
Έκδοση: (2015)

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
Έκδοση: (2008)

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings /
Έκδοση: (2006)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Έκδοση: (2008)

Computational Intelligence for Knowledge-Based Systems Design 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /
Έκδοση: (2010)

Multi-Agent Programming Languages, Platforms and Applications /
Έκδοση: (2005)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Έκδοση: (2010)

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Έκδοση: (2017)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Έκδοση: (2012)

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
ανά: Clavel, Manuel, κ.ά.
Έκδοση: (2007)

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings /
Έκδοση: (2017)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
Έκδοση: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Έκδοση: (2007)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings /
Έκδοση: (2008)

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