Refine your search
Availability
-
Authors
- Amerini, Irene
- Baier, Christel
- Baldini, Gianmarco
- Belussi, Alberto
- Beyer, Dirk
- Bours, Patrick
- Carra, Damiano
- Clementini, Eliseo
- Costanzo, Luigi
- Dal Lago, Ugo
- Fattahi, Jaouhar
- Giansanti, Daniele
- Goulette, François
- Huisman, Marieke
- Kim, DaeEun
- Kim, Taehong
- Kim, Youngsoo
- Konys, Agnieszka
- Lax, Gianluca
- Lehtola, Ville
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- COVID-19 pandemic
- Computer science
- IoT
- authentication
- big data
- classification
- computer software selection and evaluation
- convolutional neural networks
- cryptography
- cybersecurity
- deep learning
- formal logic
- formal methods
- formal specification
- machine learning
- n/a
- semantics
- software engineering
- verification
- Криптография, безопасность
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages