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.
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B30 - Festschriften [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68M25 - Computer security [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68-XX - Computer science [MSC 2020] 68M25 - Computer security [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Perspectives on Digital Humanism [[electronic resource]]
| Perspectives on Digital Humanism [[electronic resource]] |
| Autore | Werthner Hannes |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (330 p.) |
| Altri autori (Persone) |
PremErich
LeeEdward A GhezziCarlo |
| Soggetto topico |
Ethical & social aspects of IT
Ethics & moral philosophy Business & management Legal aspects of IT Privacy & data protection Philosophy of science |
| Soggetto non controllato |
Open Access
Digital Humanism Research Ethics Legal Issues in Computer Scince Data Privacy Computers and Society |
| ISBN | 3-030-86144-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464546703316 |
Werthner Hannes
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives on Digital Humanism
| Perspectives on Digital Humanism |
| Autore | Werthner Hannes |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (330 p.) |
| Altri autori (Persone) |
PremErich
LeeEdward A GhezziCarlo |
| Soggetto topico |
Ethical & social aspects of IT
Ethics & moral philosophy Business & management Legal aspects of IT Privacy & data protection Philosophy of science Humanisme Intel·ligència artificial Aspectes morals Tecnologia i civilització Interacció persona-ordinador |
| Soggetto genere / forma | Llibres electrònics |
| Soggetto non controllato |
Open Acces
Digital Humanism Research Ethics Legal Issues in Computer Science Data Privacy Computers and Society |
| ISBN |
9783030861445
3030861449 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510537503321 |
|
Werthner Hannes
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||