Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday /

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday /

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Jones, Cliff B. (Επιμελητής έκδοσης), Lloyd, John L. (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Σειρά:	Lecture Notes in Computer Science, 6875
Θέματα:	Computer science. Microprogramming. Software engineering. Programming languages (Electronic computers). Operating systems (Computers). Computer security. Computers. Computer Science. History of Computing. Operating Systems. Systems and Data Security. Control Structures and Microprogramming. Software Engineering. Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Understanding Control Flow Concurrent Programming Using μC++ /
ανά: Buhr, Peter A.
Έκδοση: (2016)

Pro Mapping in BizTalk Server 2009
ανά: Dawson, Jim, κ.ά.
Έκδοση: (2009)

Programming in HTML and PHP Coding for Scientists and Engineers /
ανά: Brooks, David R.
Έκδοση: (2017)

Foundations of Programming Languages
ανά: Lee, Kent D.
Έκδοση: (2017)

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers /
Έκδοση: (2008)

Guide to RISC Processors for Programmers and Engineers /
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA /
Έκδοση: (2009)

Deploying Raspberry Pi in the Classroom
ανά: Hart-Davis, Guy
Έκδοση: (2017)

Beginning Robotics Programming in Java with LEGO Mindstorms
ανά: Lu, Wei
Έκδοση: (2016)

Distributed Embedded Control Systems Improving Dependability with Coherent Design /
ανά: Colnarič, Matjaž, κ.ά.
Έκδοση: (2008)

Reflections on the History of Computing Preserving Memories and Sharing Stories /
Έκδοση: (2012)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Έκδοση: (2017)

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers /
Έκδοση: (2010)

Learn Electronics with Raspberry Pi Physical Computing with Circuits, Sensors, Outputs, and Projects /
ανά: Watkiss, Stewart
Έκδοση: (2016)

VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers /
Έκδοση: (2011)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers /
Έκδοση: (2012)

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
Έκδοση: (2007)

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
Έκδοση: (2008)

Understanding Network Hacks Attack and Defense with Python /
ανά: Ballmann, Bastian
Έκδοση: (2015)

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
Έκδοση: (2014)

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /
Έκδοση: (2009)

Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers /
Έκδοση: (2017)

Open Source Systems Security Certification
ανά: Damiani, Ernesto, κ.ά.
Έκδοση: (2009)

Open Source Software for Digital Forensics
Έκδοση: (2010)

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings /
Έκδοση: (2017)

Dependability Metrics Advanced Lectures /
Έκδοση: (2008)

Digital Electronics for Musicians
ανά: Drymonitis, Alexandros
Έκδοση: (2015)

Embedded Software Development with C
ανά: Qian, Kai, κ.ά.
Έκδοση: (2009)

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
Έκδοση: (2009)

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Έκδοση: (2013)

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Έκδοση: (2014)

Architecting Dependable Systems VII
Έκδοση: (2010)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Έκδοση: (2008)

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
Έκδοση: (2005)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Έκδοση: (2007)

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Έκδοση: (2017)

Virtual Machines
ανά: Craig, Iain D.
Έκδοση: (2006)

Ada 2012 Rationale The Language, The Standard Libraries /
ανά: Barnes, John
Έκδοση: (2013)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
Έκδοση: (2013)

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
Έκδοση: (2006)

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