Reversible Computation: 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ț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 325.03 lei
Preț vechi: 406.29 lei
-20%
Puncte Express: 488
Preț estimativ în valută:
57.48€ • 65.91$ • 49.67£
57.48€ • 65.91$ • 49.67£
Carte tipărită la comandă
Livrare economică 28 aprilie-12 mai
Specificații
ISBN-13: 9783319405773
ISBN-10: 3319405772
Pagini: 356
Ilustrații: XIII, 339 p. 109 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3319405772
Pagini: 356
Ilustrații: XIII, 339 p. 109 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
-20%Preț: 1726.21 lei2157.76 lei -
Guide to RISC ProcessorsSivarama P Dandamudi-20%Preț: 331.87 lei414.84 lei -
Spectral Interpretation of Decision DiagramsRadomir Stankovic-20%Preț: 625.27 lei781.60 lei -
Polymer Thick FilmKen Gilleo-20%Preț: 971.18 lei1213.97 lei -
MultiprocessingVijay K Naik-20%Preț: 625.77 lei782.22 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ț: 956.05 lei1195.07 lei -
Fast Simulation of Computer ArchitecturesThomas M. Conte-20%Preț: 624.82 lei781.02 lei -
Document Processing and RetrievalQianhong Liu-20%Preț: 948.92 lei1186.15 lei -
Principles of Distributed SystemsVijay K. Garg-20%Preț: 1008.27 lei1260.34 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ț: 625.09 lei781.35 lei -
Reversible Computation: Extending Horizons of ComputingIrek Ulidowski-20%Preț: 251.45 lei314.31 lei -
Reversible ComputationIvan Lanese-20%Preț: 321.94 lei402.43 lei -
-20%Preț: 329.12 lei411.39 lei -
Reversible ComputationShigeru Yamashita-20%Preț: 319.28 lei399.10 lei -
-20%Preț: 319.28 lei399.10 lei -
Formal Aspects of Component SoftwareIvan Lanese-20%Preț: 327.07 lei408.84 lei -
OpenMP: Heterogenous Execution and Data MovementsChristian Terboven-20%Preț: 321.56 lei401.94 lei -
-20%Preț: 321.74 lei402.18 lei -
OpenMP: Memory, Devices, and TasksNaoya Maruyama-20%Preț: 325.44 lei406.80 lei -
Scaling OpenMP for Exascale Performance and PortabilityBronis R. De Supinski-20%Preț: 325.44 lei406.80 lei -
-20%Preț: 618.10 lei772.63 lei -
Hybrid SystemsRobert L. Grossman-20%Preț: 331.80 lei414.75 lei -
Hybrid Systems IIPanos Antsaklis-20%Preț: 336.71 lei420.88 lei -
Hybrid Systems IIIRajeev Alur-20%Preț: 641.09 lei801.36 lei -
Theoretical Computer ScienceJosep Diaz-20%Preț: 325.83 lei407.29 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