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.
Automatisierter ÖPNV [[electronic resource] ] : Hintergründe und praktische Anleitung zur Umsetzung in kleineren Städten und ländlichen Regionen / / herausgegeben von Robert Yen, Nadja Braun Binder, Constantin Pitzen, Dipl.-Geogr. Jens Schippl
| Automatisierter ÖPNV [[electronic resource] ] : Hintergründe und praktische Anleitung zur Umsetzung in kleineren Städten und ländlichen Regionen / / herausgegeben von Robert Yen, Nadja Braun Binder, Constantin Pitzen, Dipl.-Geogr. Jens Schippl |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2024 |
| Descrizione fisica | 1 online resource (XVII, 322 S. 67 Abb., 66 Abb. in Farbe.) |
| Disciplina | 629.2 |
| Soggetto topico |
Automotive engineering
Transportation engineering Traffic engineering Automotive Engineering Transportation Technology and Traffic Engineering |
| ISBN | 3-662-66998-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Einleitung -- Die Stadt in ländlichen Regionen - sich entwickelnde Räume -- Auswirkungen des automatisierten Fahrens -- Akzeptanz und Nutzbarkeit automatisiertes Fahren -- Planungsverfahren für die Integration automatisierten Fahrens -- Rechtliche Aspekte des automatisierten Fahrens und der Personenbeförderung -- Handlungsleitfaden zur Integration automatisierten Fahrens. |
| Record Nr. | UNINA-9910767592103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Electronic Voting [[electronic resource] ] : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann
| Electronic Voting [[electronic resource] ] : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 319 p. 35 illus.) |
| Disciplina | 324.63 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Software engineering Coding theory Information theory Computer communication systems Application software Cryptology Systems and Data Security Software Engineering Coding and Information Theory Computer Communication Networks Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-68687-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Election Security and Economics: It's all about Eve -- Cryptographic Security Analysis of E-Voting Systems: Achievements, Misconceptions, and Limitations -- Voting in E-participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees -- The Weakness of Cumulative Voting -- No More Excuses: Automated Synthesis of Practical and Verifiable Vote-counting Programs for Complex Voting Schemes -- Public Evidence from Secret Ballots -- A Mechanized Proof of Selene Receipt Freeness and Privacy -- Trust Implications of DDoS Protection in Online Elections -- Updated European Standards for e-voting -- A Formally Verified Single Transferable Vote Scheme with Fractional Values -- Reverse Bayesian poisoning: How to use spam filters to manipulate online elections -- Return Code Schemes for Electronic Voting Systems -- Eos A Universal Verifiable and Coercion Resistant Voting Protocol -- Clash attacks and the STAR-Vote system -- Verifiability experiences in government online voting systems -- Cast-as-Intended Mechanism with Return Codes Based on PETs -- How Could Snowden Attack an Election -- Bits or Paper: which should get to carry your vote -- Estonian Voting Verification Mechanism Revisited Again. . |
| Record Nr. | UNISA-996465300603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Electronic Voting : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann
| Electronic Voting : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 319 p. 35 illus.) |
| Disciplina | 324.63 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Software engineering Coding theory Information theory Computer communication systems Application software Cryptology Systems and Data Security Software Engineering Coding and Information Theory Computer Communication Networks Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-68687-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Election Security and Economics: It's all about Eve -- Cryptographic Security Analysis of E-Voting Systems: Achievements, Misconceptions, and Limitations -- Voting in E-participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees -- The Weakness of Cumulative Voting -- No More Excuses: Automated Synthesis of Practical and Verifiable Vote-counting Programs for Complex Voting Schemes -- Public Evidence from Secret Ballots -- A Mechanized Proof of Selene Receipt Freeness and Privacy -- Trust Implications of DDoS Protection in Online Elections -- Updated European Standards for e-voting -- A Formally Verified Single Transferable Vote Scheme with Fractional Values -- Reverse Bayesian poisoning: How to use spam filters to manipulate online elections -- Return Code Schemes for Electronic Voting Systems -- Eos A Universal Verifiable and Coercion Resistant Voting Protocol -- Clash attacks and the STAR-Vote system -- Verifiability experiences in government online voting systems -- Cast-as-Intended Mechanism with Return Codes Based on PETs -- How Could Snowden Attack an Election -- Bits or Paper: which should get to carry your vote -- Estonian Voting Verification Mechanism Revisited Again. . |
| Record Nr. | UNINA-9910484146403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||