Logics and languages for reliability and security
Saved in:
| Corporate Author: | NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany |
|---|---|
| Other Authors: | Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Amsterdam
IOS Press
2010.
|
| Series: | NATO science for peace and security series. Information and communication security
v. 24. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Fuzzy logic
Published: (1996)
Published: (1996)
Information security--the next decade : proceedings of the IFIP TC11 Eleventh International Conference on Information Security, IFIP/Sec '95
Published: (1995)
Published: (1995)
Advanced in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology
Published: (2009)
Published: (2009)
Quantum cryptography and computing--theory and implementation
Published: (2010)
Published: (2010)
Enhancing cryptographic primitives with techniques from error correcting codes
Published: (2009)
Published: (2009)
Web intelligence and security advances in data and text mining techniques for detecting and preventing terrorist activities on the web
Published: (2010)
Published: (2010)
Meeting security challenges through data analytics and decision support
Published: (2016)
Published: (2016)
Critical infrastructure protection against hybrid warfare security related challenges
Published: (2016)
Published: (2016)
Networks, security and soft computing trends and future directions
Published: (2007)
Published: (2007)
Identity, security and democracy the wider social and ethical implications of automated systems for human identification
Published: (2009)
Published: (2009)
New directions in neural networks 18th Italian Workshop on Neural Networks: WIRN 2008
Published: (2009)
Published: (2009)
Data analysis for network cyber-security
Published: (2014)
Published: (2014)
Uncertainty and intelligent information systems
Published: (2008)
Published: (2008)
The essence of logic
by: Kelly
Published: (1997)
by: Kelly
Published: (1997)
Neural nets and surroundings 22nd Italian Workshop on Neural Nets, WIRN 2012, May 17 - 19, Vietri sul Mare, Salerno, Italy
Published: (2013)
Published: (2013)
Computer architecture and logic design
by: Bartee
Published: (1991)
by: Bartee
Published: (1991)
Logic and computer design fundamentals
by: Mano, M.Morris, et al.
Published: (2000)
by: Mano, M.Morris, et al.
Published: (2000)
Endpoint Security
by: Kadrich
Published: (2007)
by: Kadrich
Published: (2007)
Software security building security in
by: McGraw, Gary, 1966-
Published: (2006)
by: McGraw, Gary, 1966-
Published: (2006)
From logic to computing
by: McArthur
Published: (1991)
by: McArthur
Published: (1991)
Computer arithmetic systems algorithms, architecture, and implementation
by: Omondi, Amos R
Published: (1994)
by: Omondi, Amos R
Published: (1994)
Computer security
by: Gollman
Published: (2006)
by: Gollman
Published: (2006)
Computer security principles and practice
by: Stallings, William
Published: (2008)
by: Stallings, William
Published: (2008)
Security awareness applying practical security in your world
by: Ciampa
Published: (2007)
by: Ciampa
Published: (2007)
Information security a practical approach
by: Bhaskar
Published: (2008)
by: Bhaskar
Published: (2008)
Computer Security Fundamentals /
by: Easttom, Chuck
Published: (2023)
by: Easttom, Chuck
Published: (2023)
Logic and computer design fundamentals
by: Mano, M. Morris
Published: (2016)
by: Mano, M. Morris
Published: (2016)
Introduction to digital logic design
by: Hayes
Published: (1993)
by: Hayes
Published: (1993)
Information security principles and practice
by: Stamp
Published: (2006)
by: Stamp
Published: (2006)
Introduction to computer security
by: Bishop, Matt (Matthew A.)
Published: (2005)
by: Bishop, Matt (Matthew A.)
Published: (2005)
Deductive Logic
by: Stock, St. George William Joseph, 1850-
Published: (2004)
by: Stock, St. George William Joseph, 1850-
Published: (2004)
The power of logic
by: Layman lhCharles S.
by: Layman lhCharles S.
Introduction to logic
by: CopilhIrving M., et al.
Published: (1998)
by: CopilhIrving M., et al.
Published: (1998)
Language engineering for lesser-studied languages
Published: (2009)
Published: (2009)
Googling security : how much does Google know about you? /
by: Conti, Greg
Published: (2009)
by: Conti, Greg
Published: (2009)
Introduction to security and network forensics
by: Buchanan, William
Published: (2011)
by: Buchanan, William
Published: (2011)
Architecturing secure software systems
by: Talukderan, Asoke K.
Published: (2009)
by: Talukderan, Asoke K.
Published: (2009)
Java programs to accompany Programming logic and design
by: Smith, Jo Ann
Published: (2015)
by: Smith, Jo Ann
Published: (2015)
Principles of information systems security text and cases
by: Dhillon 1963-
Published: (2007)
by: Dhillon 1963-
Published: (2007)
Security in computing systems challenges, approaches and solutions
by: Biskup ,J. (Joachim)
Published: (2009)
by: Biskup ,J. (Joachim)
Published: (2009)
Similar Items
-
Fuzzy logic
Published: (1996) -
Information security--the next decade : proceedings of the IFIP TC11 Eleventh International Conference on Information Security, IFIP/Sec '95
Published: (1995) -
Advanced in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology
Published: (2009) -
Quantum cryptography and computing--theory and implementation
Published: (2010) -
Enhancing cryptographic primitives with techniques from error correcting codes
Published: (2009)


