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.
Trustworthy Global Computing [[electronic resource] ] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti
| Trustworthy Global Computing [[electronic resource] ] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 163 p. 30 illus.) |
| Disciplina | 005.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Data protection
Machine theory Application software Computer engineering Computer networks Data and Information Security Formal Languages and Automata Theory Computer and Information Systems Applications Computer Engineering and Networks |
| ISBN | 3-319-28766-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466003103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trustworthy Global Computing [[electronic resource] ] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti
| Trustworthy Global Computing [[electronic resource] ] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 163 p. 30 illus.) |
| Disciplina | 005.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Data protection
Machine theory Application software Computer engineering Computer networks Data and Information Security Formal Languages and Automata Theory Computer and Information Systems Applications Computer Engineering and Networks |
| ISBN | 3-319-28766-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483857403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche
| Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 111 p. 121 illus., 12 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer engineering
Computer networks Software engineering Computers Professions Computer science Database management Algorithms Computer Engineering and Networks Software Engineering The Computing Profession Computer Science Logic and Foundations of Programming Database Management |
| ISBN | 3-030-35092-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Concurrent Behaviors as Words,- Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems -- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps -- Analyzing Security Protocols Using Scenario Based Simulation -- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis -- Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules -- Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems. . |
| Record Nr. | UNISA-996466287403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche
| Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 111 p. 121 illus., 12 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer engineering
Computer networks Software engineering Computers Professions Computer science Database management Algorithms Computer Engineering and Networks Software Engineering The Computing Profession Computer Science Logic and Foundations of Programming Database Management |
| ISBN | 3-030-35092-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Concurrent Behaviors as Words,- Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems -- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps -- Analyzing Security Protocols Using Scenario Based Simulation -- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis -- Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules -- Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems. . |
| Record Nr. | UNINA-9910357844203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||