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

Código QR

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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Phillips, Iain. (Editor ), Rahaman, Hafizur. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10301
Materias:	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.

Ejemplares similares

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 /
Publicado: (2017)

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

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

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

Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing /
Publicado: (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 /
Publicado: (2017)

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

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

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

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

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

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

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

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

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

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

Mastering 3D Printing /
por: Horvath, Joan.
Publicado: (2014)

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

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

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

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

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

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

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

Trust and Fairness in Open, Distributed Systems /
por: Wierzbicki, Adam.
Publicado: (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 /
Publicado: (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 /
Publicado: (2017)

Build Your Own CNC Machine /
por: Floyd Kelly, James., et al.
Publicado: (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 /
Publicado: (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 /
Publicado: (2017)

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

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

Squeak Learn Programming with Robots /
por: Ducasse, Stephane.
Publicado: (2005)

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

Practical Raspberry Pi /
por: Horan, Brendan.
Publicado: (2013)

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

Creating Cool MINDSTORMS NXT Robots /
por: Benedettelli, Daniele.
Publicado: (2008)

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

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

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