Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings /

QR Code

Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Phillips, Iain. (Editor), Rahaman, Hafizur. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Programming and Software Engineering ; 10301
Subjects:	Logic design. Input-output equipment (Computers). Computer memory systems. Artificial intelligence. Software engineering. Computer communication systems. Logic Design. Input/Output and Data Communications. Memory Structures. Artificial Intelligence. Software Engineering. Computer Communication Networks.

Similar Items

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P 3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers /
Published: (2017)

Offset Reduction Techniques in High-Speed Analog-to-Digital Converters Analysis, Design and Tradeoffs /
by: Figueiredo, Pedro M., et al.
Published: (2009)

Dynamic Offset Compensated CMOS Amplifiers /
by: Witte, Frerik., et al.
Published: (2009)

Using Scribe Insight : Developing Integrations and Migrations using the Scribe Insight Platform /
by: Beckner, Mark.
Published: (2015)

Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing /
Published: (2013)

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Published: (2017)

Engineering Secure Software and Systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /
Published: (2017)

Geolocation Techniques : Principles and Applications /
by: Gentile, Camillo., et al.
Published: (2013)

Industry 4.0 : The Industrial Internet of Things /
by: Gilchrist, Alasdair.
Published: (2016)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /
Published: (2017)

Energy Efficient Servers : Blueprints for Data Center Optimization /
by: Gough, Corey., et al.
Published: (2015)

Earth System Modelling - Volume 4 : IO and Postprocessing /
by: Balaji, V., et al.
Published: (2013)

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Published: (2017)

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Published: (2017)

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published: (2017)

Computer Vision Systems : 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers /
Published: (2017)

Mastering 3D Printing /
by: Horvath, Joan.
Published: (2014)

Exploring the Raspberry Pi 2 with C++ /
by: Gay, Warren.
Published: (2015)

Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Published: (2017)

International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI´08)
Published: (2009)

Scratch by Example : Programming for All Ages /
by: Vlieg, Eduardo A.
Published: (2016)

Computational Science and Its Applications - ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI /
Published: (2017)

Stabilization, Safety, and Security of Distributed Systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings /
Published: (2017)

Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /
Published: (2017)

Trust and Fairness in Open, Distributed Systems /
by: Wierzbicki, Adam.
Published: (2010)

OWL: Experiences and Directions - Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers /
Published: (2017)

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers /
Published: (2017)

Build Your Own CNC Machine /
by: Floyd Kelly, James., et al.
Published: (2009)

Environmental Software Systems. Computer Science for Environmental Protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings /
Published: (2017)

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

Electronics System Design Techniques for Safety Critical Applications /
by: Sterpone, Luca.
Published: (2009)

The Robosapien Companion Tips, Tricks, and Hacks /
by: Samans, James.
Published: (2005)

Squeak Learn Programming with Robots /
by: Ducasse, Stephane.
Published: (2005)

Practical MythTV Building a PVR and Media Center PC /
by: Still, Michael., et al.
Published: (2007)

Practical Raspberry Pi /
by: Horan, Brendan.
Published: (2013)

Learn Raspberry Pi 2 with Linux and Windows 10 /
by: Membrey, Peter., et al.
Published: (2015)

Creating Cool MINDSTORMS NXT Robots /
by: Benedettelli, Daniele.
Published: (2008)

Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
by: Ölveczky, Peter Csaba.
Published: (2017)

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Published: (2017)

Interference Cancellation Using Space-Time Processing and Precoding Design /
by: Li, Feng.
Published: (2013)