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.
Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches / / by Bernhard Steffen, Oliver Rüthing, Michael Huth
| Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches / / by Bernhard Steffen, Oliver Rüthing, Michael Huth |
| Autore | Steffen Bernhard |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXVII, 228 p. 29 illus., 7 illus. in color.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science—Mathematics
Computers Computer science - Mathematics Software engineering Mathematics of Computing Theory of Computation Mathematical Applications in Computer Science Software Engineering/Programming and Operating Systems |
| ISBN | 3-319-68397-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics. |
| Record Nr. | UNINA-9910299270603321 |
Steffen Bernhard
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Risikomanagement in der Logistik : Konzepte – Instrumente – Anwendungsbeispiele / / herausgegeben von Michael Huth, Frank Romeike
| Risikomanagement in der Logistik : Konzepte – Instrumente – Anwendungsbeispiele / / herausgegeben von Michael Huth, Frank Romeike |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Gabler, , 2016 |
| Descrizione fisica | 1 online resource (398 p.) |
| Disciplina | 650 |
| Soggetto topico |
Production management
Operations Management |
| ISBN | 3-658-05896-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Grundlagen und Struktur des Risikomanagements in der Logistik -- Aufbau- und ablauforganisatorische Einbindung -- Risiko-Bewertung strategischer Handlungsoptionen in der Supply Chain am Beispiel Outsourcing -- Simulationsmethoden im Logistik-Risikomanagement -- Internationale Standards.- Rechtlicher Rahmen für das Logistik-Risikomanagement -- Versicherungen als risikopolitische Maßnahme -- Logistik-Risikomanagement in der verarbeitenden Industrie, im Handel und bei Logistikdienstleistern -- Bewertung von Supply Chain-Risiken -- ECR Shrinkage Roadmap -- Risikomanagement in der Kontraktlogistik -- Katastrophen- und Risikomanagement in der humanitären Logistik. |
| Record Nr. | UNINA-9910484183503321 |
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Gabler, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trust and Trustworthy Computing [[electronic resource] ] : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings / / edited by Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp
| Trust and Trustworthy Computing [[electronic resource] ] : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings / / edited by Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 278 p. 85 illus.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer communication systems Management information systems Computer science Algorithms Computers and civilization Application software Cryptology Computer Communication Networks Management of Computing and Information Systems Algorithm Analysis and Problem Complexity Computers and Society Information Systems Applications (incl. Internet) |
| ISBN | 3-642-38908-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical tracks: key management -- Hypervisor usage -- Information flow analysis -- Trust in network measurement -- Random number generators -- Case studies that evaluate trust-based methods in practice: simulation environments for trusted platform modules -- Trust in applications running on mobile devices -- Trust across platform. Socio-economic track: investigated, how trust is managed and perceived in online environments.- How the disclosure of personal data is perceived -- Some papers probed trust issues across generations of users and for groups with special needs. |
| Record Nr. | UNISA-996465403603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trust and Trustworthy Computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings / / edited by Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp
| Trust and Trustworthy Computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings / / edited by Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 278 p. 85 illus.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer networks Management information systems Computer science Algorithms Computers and civilization Application software Cryptology Computer Communication Networks Management of Computing and Information Systems Algorithm Analysis and Problem Complexity Computers and Society Information Systems Applications (incl. Internet) |
| ISBN | 3-642-38908-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical tracks: key management -- Hypervisor usage -- Information flow analysis -- Trust in network measurement -- Random number generators -- Case studies that evaluate trust-based methods in practice: simulation environments for trusted platform modules -- Trust in applications running on mobile devices -- Trust across platform. Socio-economic track: investigated, how trust is managed and perceived in online environments.- How the disclosure of personal data is perceived -- Some papers probed trust issues across generations of users and for groups with special needs. |
| Record Nr. | UNINA-9910484203503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||