本文に飛ぶ

年 〜
年

検索結果 29 件

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)
紙図書
IOS Press[2013]<M17-15-1429>
国立国会図書館

Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)

Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)
紙図書
IOS Press[2014]<M17-15-1430>
国立国会図書館

Examining robustness and vulnerability of networked systems : NATO advanced research workshop (ARW), examining robustness and vulnerability of critical infrastructure networks : Jun 2013, Kiev, Ukraine. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 37)

Examining robustness and vulnerability of networked systems : NATO advanced research workshop (ARW), examining robustness and vulnerability of critical infrastructure networks : Jun 2013, Kiev, Ukraine. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 37)
紙図書
IOS Press[2014]<M17-15-1431>
国立国会図書館

Comprehensive approach as "sine qua non" for critical infrastructure protection : NATO advanced research workshop on managing terrorism threats to critical infrastructure--challenges for South Eastern Europe : May 2014, Belgrade, Serbia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 39)

Comprehensive approach as "sine qua non" for critical infrastructure protection : NATO advanced research workshop on managing terrorism threats to critical infrastructure--challenges for South Eastern Europe : May 2014, Belgrade, Serbia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 39)
紙図書
IOS Press[2015]<M17-15-1428>
国立国会図書館

Best practices in computer network defense: incident detection and response : NATO advanced research workshop (ARW) 'best practices in computer network defense (CND): incident detection and response : Sep 2013, Geneva, Switzerland. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 35)

Best practices in computer network defense: incident detection and response : NATO advanced research workshop (ARW) 'best practices in computer network defense (CND): incident detection and response : Sep 2013, Geneva, Switzerland. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 35)
紙図書
IOS Press[2014]<M17-15-1432>
国立国会図書館

Cyber security and resiliency policy framework : NATO advanced research workshop on best practices and innovative approaches to develop cyber security and resiliency policy framework : ARW : Jun 2013, Ohrid, Republic of Macedonia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 38)

Cyber security and resiliency policy framework : NATO advanced research workshop on best practices and innovative approaches to develop cyber security and resiliency policy framework : ARW : Jun 2013, Ohrid, Republic of Macedonia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 38)
紙図書
IOS Press[2014]<M17-15-1433>
国立国会図書館

Software agents, agent systems and their applications : NATO Advanced Study Institute on software agents, agent systems and their applications : ASI NATO 2010 school : Sep 2010, Tangiers, Morocco. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 32)

Software agents, agent systems and their applications : NATO Advanced Study Institute on software agents, agent systems and their applications : ASI NATO 2010 school : Sep 2010, Tangiers, Morocco. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 32)
紙図書
IOS Pressc2012.<M17-13-421>
国立国会図書館

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
紙図書
IOS Pressc2012.<M17-13-420>
国立国会図書館

Combinatorial optimization : methods and applications : 45th séminaire de mathématiques supérieures : NATO summer school : meeting of the NATO Advanced Study Institute (ASI) "combinatorial optimization: methods and applications" : Jun 2006, Montreal, Canada. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 31)

Combinatorial optimization : methods and applications : 45th séminaire de mathématiques supérieures : NATO summer school : meeting of the NATO Advanced Study Institute (ASI) "combinatorial optimization: methods and applications" : Jun 2006, Montreal, Canada. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 31)
紙図書
IOS Pressc2011.<M17-13-422>
国立国会図書館

Algebraic aspects of digital communications. : NATO Advanced Study Institute on new challenges in digital communications : conference "new challenges in digital communications" : Apr 2008, Vlora, Albania. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 24)

Algebraic aspects of digital communications. : NATO Advanced Study Institute on new challenges in digital communications : conference "new challenges in digital communications" : Apr 2008, Vlora, Albania. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 24)
紙図書
IOS Pressc2009.<M17-11-3491>
国立国会図書館

Quantum communication and security. : NATO sponsored advanced research workshop on "quantum communication and security" : Sep 2006, Gdansk, Poland. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 11)

Quantum communication and security. : NATO sponsored advanced research workshop on "quantum communication and security" : Sep 2006, Gdansk, Poland. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 11)
紙図書
IOS Pressc2007.<M17-09-570>
国立国会図書館

Secure telematic applications for national scale projects. : NATO advanced research workshop (ARW) "secure telematic applications for national scale projects" : Nov 2006, Minsk, Belarus. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 20)

Secure telematic applications for national scale projects. : NATO advanced research workshop (ARW) "secure telematic applications for national scale projects" : Nov 2006, Minsk, Belarus. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 20)
紙図書
IOS Pressc2008.<M17-09-590>
国立国会図書館

Information security, coding theory and related combinatorics : information coding and combinatorics. : NATO Advanced Study Institute on information security and related combinatories [i.e. combinatorics] : NATO-Advanced Study Institute, information security and related combinatorics : May 2010, Opatija, Croatia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 29)

Information security, coding theory and related combinatorics : information coding and combinatorics. : NATO Advanced Study Institute on information security and related combinatories [i.e. combinatorics] : NATO-Advanced Study Institute, information security and related combinatorics : May 2010, Opatija, Croatia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 29)
紙図書
IOS Pressc2011.<M17-11-3489>
国立国会図書館

Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 30)

Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 30)
紙図書
IOS Pressc2011.<M17-13-423>
国立国会図書館

Enhancing cryptographic primitives with techniques from error correcting codes. : NATO ARW : conference "enhancing crypto-primitives with techniques from coding theory", NATO advanced research workshop : Oct 2008, Veliko Tarnovo, Bulgaria. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 23)

Enhancing cryptographic primitives with techniques from error correcting codes. : NATO ARW : conference "enhancing crypto-primitives with techniques from coding theory", NATO advanced research workshop : Oct 2008, Veliko Tarnovo, Bulgaria. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 23)
紙図書
IOS Pressc2009.<M17-11-3493>
国立国会図書館

Web intelligence and security : advances in data and text mining techniques for detecting and preventing terrorist activities on the web. : NATO advanced research workshop on: web intelligence and security : Nov 2009, Ein Bokek, Israel. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 27)

Web intelligence and security : advances in data and text mining techniques for detecting and preventing terrorist activities on the web. : NATO advanced research workshop on: web intelligence and security : Nov 2009, Ein Bokek, Israel. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 27)
紙図書
IOS Pressc2010.<M17-11-3490>
国立国会図書館

Quantum cryptography and computing : theory and implementation. : NATO advanced research workshop on quantum cryptography and computing: theory and implementations : NATO sponsored advanced research workshop on "quantum cryptography and computing: theory and implementation" : NATO ARW : Sep 2009, Gdansk, Poland. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 26)

Quantum cryptography and computing : theory and implementation. : NATO advanced research workshop on quantum cryptography and computing: theory and implementations : NATO sponsored advanced research workshop on "quantum cryptography and computing: theory and implementation" : NATO ARW : Sep 2009, Gdansk, Poland. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 26)
紙図書
IOS Pressc2010.<M17-11-3492>
国立国会図書館

Aspects of network and information security. : NATO Advanced Study Institute on network security and intrusion detection : Advanced Study Institute (ASI) "network security and intrusion detection" : Oct 2005, Yerevan, Armenia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 17)

Aspects of network and information security. : NATO Advanced Study Institute on network security and intrusion detection : Advanced Study Institute (ASI) "network security and intrusion detection" : Oct 2005, Yerevan, Armenia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 17)
紙図書
IOS Pressc2008.<M17-09-581>
国立国会図書館

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)
紙図書
IOS Pressc2010.<M17-11-3494>
国立国会図書館

Computational models of risks to infrastructure. : NATO advanced research workshop on computational models of risks to infrastructure : advanced research workshop (ARW) about modeling of infrastructure risk : May 2006, Primosten, Croatia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 13)

Computational models of risks to infrastructure. : NATO advanced research workshop on computational models of risks to infrastructure : advanced research workshop (ARW) about modeling of infrastructure risk : May 2006, Primosten, Croatia. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 13)
紙図書
IOS Pressc2007.<M17-09-574>
国立国会図書館
RSS