Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings: Lecture Notes in Computer Science, cartea 9720
Editat de Simon Devitt, Ivan Laneseen Limba Engleză Paperback – 30 iun 2016
The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 323.37 lei - 20%
Preț: 461.65 lei - 20%
Preț: 461.32 lei - 20%
Preț: 390.69 lei - 20%
Preț: 527.36 lei - 15%
Preț: 388.50 lei - 20%
Preț: 461.52 lei - 20%
Preț: 390.35 lei - 20%
Preț: 496.64 lei - 20%
Preț: 461.52 lei - 20%
Preț: 389.72 lei - 15%
Preț: 461.85 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 252.15 lei - 20%
Preț: 391.14 lei - 20%
Preț: 532.54 lei - 20%
Preț: 461.83 lei - 20%
Preț: 255.91 lei - 20%
Preț: 498.46 lei - 20%
Preț: 497.55 lei - 20%
Preț: 499.36 lei - 20%
Preț: 390.12 lei - 20%
Preț: 391.20 lei - 20%
Preț: 532.41 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 390.94 lei - 20%
Preț: 391.86 lei - 20%
Preț: 389.85 lei - 20%
Preț: 498.32 lei - 20%
Preț: 462.67 lei - 20%
Preț: 460.98 lei - 20%
Preț: 424.26 lei - 20%
Preț: 639.72 lei - 15%
Preț: 535.92 lei - 20%
Preț: 532.28 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 461.57 lei - 20%
Preț: 498.50 lei - 20%
Preț: 461.83 lei - 20%
Preț: 249.95 lei
Preț: 322.61 lei
Preț vechi: 403.26 lei
-20% Nou
Puncte Express: 484
Preț estimativ în valută:
57.09€ • 66.94$ • 50.13£
57.09€ • 66.94$ • 50.13£
Carte tipărită la comandă
Livrare economică 05-19 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319405773
ISBN-10: 3319405772
Pagini: 322
Ilustrații: XIII, 339 p. 109 illus.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 3319405772
Pagini: 322
Ilustrații: XIII, 339 p. 109 illus.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
-20%Preț: 1726.21 lei2157.76 lei -
Guide to RISC ProcessorsSivarama P Dandamudi-20%Preț: 335.43 lei419.29 lei -
Spectral Interpretation of Decision DiagramsRadomir Stankovic-20%Preț: 625.27 lei781.60 lei -
-20%Preț: 968.13 lei1210.17 lei -
-20%Preț: 623.39 lei779.23 lei -
-20%Preț: 627.03 lei783.78 lei -
Loop ParallelizationUtpal Banerjee-20%Preț: 950.88 lei1188.60 lei -
Multiprocessor Execution of Logic ProgramsGopal Gupta-20%Preț: 953.08 lei1191.35 lei -
Fast Simulation of Computer ArchitecturesThomas M. Conte-20%Preț: 624.82 lei781.02 lei -
Document Processing and Retrieval: TexprosQianhong Liu-20%Preț: 956.44 lei1195.55 lei -
Principles of Distributed SystemsVijay K. Garg-20%Preț: 1008.39 lei1260.49 lei -
Design of Reservation Protocols for Multimedia CommunicationLuca Delgrossi-20%Preț: 955.45 lei1194.32 lei -
Automatic Performance Prediction of Parallel ProgramsThomas Fahringer-20%Preț: 626.57 lei783.22 lei -
-20%Preț: 251.03 lei313.79 lei -
-20%Preț: 319.75 lei399.68 lei -
-20%Preț: 329.12 lei411.39 lei -
Reversible ComputationShigeru Yamashita-20%Preț: 318.30 lei397.88 lei -
-20%Preț: 317.23 lei396.54 lei -
-20%Preț: 324.50 lei405.63 lei -
-20%Preț: 319.42 lei399.28 lei -
-20%Preț: 319.60 lei399.50 lei -
-20%Preț: 323.10 lei403.87 lei -
-20%Preț: 322.93 lei403.66 lei -
-20%Preț: 618.10 lei772.63 lei -
Hybrid SystemsRobert L. Grossman-20%Preț: 328.94 lei411.17 lei -
Hybrid Systems IIPanos Antsaklis-20%Preț: 333.54 lei416.93 lei -
Hybrid Systems III: Verification and ControlRajeev Alur-20%Preț: 636.52 lei795.65 lei -
-20%Preț: 323.41 lei404.26 lei -
-20%Preț: 323.41 lei404.26 lei
Cuprins
Process Calculi.- Rigid Families for the Reversible pi-calculus.- A calculus for local reversibility.- Static VS Dynamic Reversibility in CCS.- Reversing Single Sessions.- Reversible Models.- Reversible causal graph dynamics.- Boosting Reversible Pushdown Machines By Preprocessing.- Reversible Computation vs. Reversibility in Petri Nets.- Programming Languages.- Energy Efficient Language and Compiler for (Partially) Reversible Algorithms.- Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation.- Quaglia.- Elements of a Reversible Object-Oriented Language.- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs.- Quantum Computing.- Design and Fabrication of CSWAP Gate Based on Nanoelectromechanical Systems.- Design of p-valued Deutsch quantum gates with multiple control signals and mixed polarity.- Using pi-DDsforNearestNeighborOptimizationofQuantumCircuits.- Quantum Programming.- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits.- Towards Quantum Programs Verification: From Quipper Circuits to QPMC.- Circuit Theory.-Application of Permutation Group Theory in Reversible Logic Synthesis.- Strongly Universal Reversible Gate Sets.- Enumeration of reversible functions and its application to circuit complexity.- A finite alternation result for reversible Boolean circuits.- Syntheses.- Generating reversible circuits from higher-order functional programs.- A fast symbolic transformation based algorithm for reversible logic synthesis.-Checking Reversibility of Boolean Functions.
Caracteristici
Includes supplementary material: sn.pub/extras