Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
GPCE : 13th International Conference on Generative Programming: Concepts and Experiences : proceedings September 15-16, 2014, Västerås, Sweden
| GPCE : 13th International Conference on Generative Programming: Concepts and Experiences : proceedings September 15-16, 2014, Västerås, Sweden |
| Autore | Schultz Ulrik Pagh |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (141 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Generative Programming: Concepts and Experiences
Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences GPCE '14 Generative Programming: Concepts and Experiences, Vasteras, Sweden - September 15 - 16, 2014 |
| Record Nr. | UNINA-9910375736503321 |
Schultz Ulrik Pagh
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reversible Computation: Extending Horizons of Computing [[electronic resource] ] : Selected Results of the COST Action IC1405 / / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
| Reversible Computation: Extending Horizons of Computing [[electronic resource] ] : Selected Results of the COST Action IC1405 / / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira |
| Autore | Ulidowski Irek |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIV, 237 p. 155 illus., 34 illus. in color.) |
| Disciplina | 621.395 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Logic design
Computer systems Computer networks Computers, Special purpose Software engineering Operating systems (Computers) Logic Design Computer System Implementation Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Operating Systems |
| ISBN | 3-030-47361-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols. |
| Record Nr. | UNISA-996418320103316 |
|
Ulidowski Irek
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
| Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira |
| Autore | Ulidowski Irek |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIV, 237 p. 155 illus., 34 illus. in color.) |
| Disciplina |
621.395
004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Logic design
Computer systems Computer networks Computers, Special purpose Software engineering Operating systems (Computers) Logic Design Computer System Implementation Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Operating Systems |
| ISBN | 3-030-47361-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols. |
| Record Nr. | UNINA-9910404113003321 |
|
Ulidowski Irek
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||