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.
CONCUR 2012- Concurrency Theory [[electronic resource] ] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / / edited by Maciej Koutny, Irek Ulidowski
| CONCUR 2012- Concurrency Theory [[electronic resource] ] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / / edited by Maciej Koutny, Irek Ulidowski |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 582 p. 84 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Computer networks Compilers (Computer programs) Application software Machine theory Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks Compilers and Interpreters Computer and Information Systems Applications Formal Languages and Automata Theory |
| ISBN | 3-642-32940-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types -- abstraction -- mobility and space in process algebra.-stochastic systems.-probabilistic systems -- Petri nets and non-sequential semantics.-verification; decidability. |
| Record Nr. | UNISA-996465477903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible Computation [[electronic resource] ] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski
| Reversible Computation [[electronic resource] ] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 353 p. 132 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Artificial intelligence Programming languages (Electronic computers) Computer communication systems Software engineering Logic Design Artificial Intelligence Programming Languages, Compilers, Interpreters Computer Communication Networks Software Engineering |
| ISBN | 3-319-99498-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. |
| Record Nr. | UNISA-996466367703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski
| Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 353 p. 132 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Artificial intelligence Compilers (Computer programs) Computer networks Software engineering Logic Design Artificial Intelligence Compilers and Interpreters Computer Communication Networks Software Engineering |
| ISBN |
9783319994987
3319994980 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. |
| Record Nr. | UNINA-9910349410403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| 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 | Springer Nature, 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 |
9783030473617
3030473619 |
| 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
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||