Výsledky vyhledávání

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Lenzini, G."
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 203 pro vyhledávání: '"Lenzini, G."'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 2 2

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 3 3

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 4 4

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 5 5

Akademický článek

Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking

Autor: Gnesi, S., Lenzini, G., Martinelli, F.

Publikováno v: In Electronic Notes in Theoretical Computer Science 1 February 2005 118:57-70

Zobrazit plný text záznamu

Vybrat výsledek číslo 6 6

Akademický článek

Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability

Autor: Gnesi, S., Lenzini, G., Martinelli, F.

Publikováno v: In Electronic Notes in Theoretical Computer Science 6 August 2004 99:111-126

Zobrazit plný text záznamu

Vybrat výsledek číslo 7 7

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 8 8

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 9 9

Foreword from the General Chairs (5th Workshop : 2015)

Autor: Bella, Giampaolo, Lenzini, G.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4731::95390706eab6ce7f7857affa67a859cc
http://hdl.handle.net/20.500.11769/107126

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[21]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

113 Konferenční materiály
55 Knihy
54 Akademické články
3 Recenze

11 formal verification
11 privacy
11 ransomware
10 transparency
9 authentication
9 security
8 model checking
7 access control
6 audit
6 general data protection regulation
6 proverif
6 security protocols
5 compliance
5 gdpr
5 policy
5 socio-technical security
5 user experience
4 computer science
4 fault tolerance
4 legal compliance
4 malware
4 recommender systems
4 security analysis
3 argumentation
3 auditing procedures
3 computer
3 computer science::cryptography and security
3 computer science::logic in computer science
3 computer security research
3 computer.software_genre
3 data protection
3 evasion
3 formal analysis
3 formal methods
3 password-based authentication
3 process algebras
3 reification
3 root cause analysis
3 scs-cybersecurity
3 secure email
3 security systems
3 software/program verification
3 subjective logic
3 trust model
2 accountability
2 agent-based approach
2 algorithm
2 antivirus
2 attack patterns
2 attack surfaces

29 springer verlag
14 association for computing machinery
12 institute of electrical and electronics engineers inc.
11 scitepress
9 springer science and business media deutschland gmbh
7 elsevier b.v.
7 elsevier ltd
7 springer
6 springer nature
5 science and technology publications, lda
4 ieee computer society
4 springer new york llc
3 association for computing machinery, inc
3 ieee
2 amer thoracic soc
2 centre for telematics and information technology (ctit)
2 european respiratory society
2 ios press
2 nature publishing group
2 wiley-blackwell
1 ceur-ws
1 ercim., le chesnay
1 european language resources association (elra)
1 frontiers media
1 frontiers media sa
1 innovative information science and technology research group
1 iop publishing ltd
1 ios press bv
1 john wiley and sons inc.
1 kluwer academic/plenum publishers
1 letteraventidue
1 mdpi
1 springer berlin heidelberg
1 springer international publishing
1 springer new york
1 springer science and business media b.v.
1 springernature
1 universiteit twente
1 usenix association
1 wiley-vch
1 wiley-vch verlag

37 lecture notes in computer science
9 acm international conference proceeding series
9 electronic notes in theoretical computer science
8 communications in computer and information science
5 ceur workshop proceedings
5 international journal of information security
4 computers and security
4 ifip advances in information and communication technology
4 international conference on information systems security and privacy
3 journal of computer security
2 advances in intelligent systems and computing
2 allergy
2 american journal of respiratory and critical care medicine
2 architecting dependable systems vi
2 behavior research methods
2 digital threats: research and practice
2 entcs: electronic notes in theoretical computer science
2 erj open research
2 frontiers in big data
2 human aspects of information security, privacy and trust - 3rd international conference, has 2015 held as part of hci international 2015, proceedings
2 human aspects of information security, privacy, and trust - second international conference, has 2014, held as part of hci international 2014, proceedings
2 icissp 2020 - proceedings of the 6th international conference on information systems security and privacy
2 journal of medical systems
2 proceedings - 5th workshop on socio-technical aspects in security and trust, stast 2015
2 scientific reports
1 2013 11th annual conference on privacy, security and trust, pst 2013
1 2014 12th annual conference on privacy, security and trust, pst 2014
1 2017 ieee workshop on information forensics and security, wifs 2017
1 6th esa workshop on satellite navigation technologies: multi-gnss navigation technologies galileo's here, navitec 2012 and european workshop on gnss signals and signal processing
1 acm transactions on computer-human interaction
1 advanced materials
1 advanced materials deerfield beach fla
1 advances in databases & information systems: associated workshops & doctoral consortium of the 13th east european conference, adbis 2009, riga, latvia, september 7-10, 2009. revised selected papers
1 advances in databases and information systems - associated workshops and doctoral consortium of the 13th east european conference, adbis 2009, revised selected papers
1 bnaic 2016: artificial intelligence - 28th benelux conference on artificial intelligence, revised selected papers
1 calcolo
1 clean technologies and environmental policy
1 computer law and security review
1 computers and education
1 computers and electrical engineering
1 computers in human behavior reports
1 conference on human factors in computing systems - proceedings
1 data privacy management and security assurance - 11th international workshop, dpm 2016 and 5th international workshop, qasa 2016, proceedings
1 data privacy management, cryptocurrencies and blockchain technology - esorics 2022 international workshops, dpm 2022 and cbt 2022, revised selected papers
1 detection of intrusions and malware, and vulnerability assessment - 15th international conference, dimva 2018, proceedings
1 detection of intrusions and malware, and vulnerability assessment - 16th international conference, dimva 2019, proceedings
1 european journal of human genetics
1 formal aspects in security & trust ifip tc1 wg1.7 workshop on formal aspects in security & trust (fast), world computer congress, august 22-27, 2004, toulouse, france
1 proceeding international conference on dependable systems & networks, dsn 2000
1 trust in agent societies

152 Scopus®
28 OpenAIRE
6 MEDLINE
6 Science Citation Index Expanded
5 Complementary Index
2 ScienceDirect
2 Supplemental Index
1 Business Source Ultimate
1 Academic Search Ultimate

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......